34 search results - page 2 / 7 » A proof-centric approach to mathematical assistants |
LWA
2008
13 years 6 months ago
2008
In informal collections of collaboratively created knowledge like wikis, there is no well-defined way of reporting issues with knowledge items. When something is wrong or needs im...
ENTCS
2008
13 years 4 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
ENTCS
2006
13 years 4 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
AIED
2005
Springer
13 years 10 months ago
2005
Springer
Middle school mathematics teachers are often forced to choose between assisting students' development and assessing students' abilities because of limited classroom time ...
SAC
2006
ACM
13 years 4 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...