450 search results - page 11 / 90 » Mathematical Formulas Extraction |
74
Voted
COGSCI
2004
15 years 14 days ago
2004
People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying s...
89
Voted
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
91
Voted
MICS
2008
15 years 3 days ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
90
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: Clone-based microarrays, on which each spot represents a random genomic fragment, are a good alternative to open reading frame-based microarrays, especially for microo...
134
click to vote
MKM
2004
Springer
15 years 6 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...