228 search results - page 1 / 46 » Towards computer aided mathematics |
JAPLL
2006
13 years 4 months ago
2006
AAAI
2007
13 years 7 months ago
2007
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
GRAPHICSINTERFACE
2001
13 years 6 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
ANLP
1994
13 years 6 months ago
1994
This paper reports on the techniques used to successfully translate with the help of a computer a Mathematics textbook from Portuguese to English. Even if these techniques are sim...
MPC
1995
Springer
13 years 8 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...