Sciweavers

5510 search results - page 28 / 1102
» Mathematics
Sort
View
AMCS
2011
304views Mathematics» more  AMCS 2011»
14 years 9 months ago
Engineering intelligent systems on the knowledge formalization continuum
Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...
95
Voted
ICDAR
2005
IEEE
15 years 8 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 2 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