Sciweavers

5510 search results - page 28 / 1102
» Mathematics
Sort
View
AMCS
2011
304views Mathematics» more  AMCS 2011»
15 years 1 months ago
Engineering intelligent systems on the knowledge formalization continuum
Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...
ICDAR
2005
IEEE
15 years 11 months ago
A Ground-Truthed Mathematical Character and Symbol Image Database
This paper describes the specifications for our ground-truthed mathematical character and symbol
Masakazu Suzuki, Seiichi Uchida, Akihiro Nomura
SYNTHESE
2008
92views more  SYNTHESE 2008»
15 years 5 months ago
Inference to the best explanation and mathematical realism
Arguing for mathematical realism on the basis of Field's explanationist version of the Quine
Sorin Ioan Bangu