228 search results - page 24 / 46 » Towards computer aided mathematics |
PPAM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
SCP
1998
13 years 8 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
IJSM
2007
13 years 8 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
AI
2000
Springer
13 years 8 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
ISBI
2004
IEEE
14 years 9 months ago
2004
IEEE
Cardio-vascular diseases is a major cause of deaths worldwide. Early diagnosis is quite often associated with more efficient treatment leading to a significant decrease of the mor...