533 search results - page 8 / 107 » A Very Mathematical Dilemma |
MKM
2004
Springer
14 years 21 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
PRL
2008
13 years 7 months ago
2008
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
FECS
2006
13 years 8 months ago
2006
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
MKM
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...