Sciweavers

MKM
2009
Springer
14 years 23 days ago
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...
Josef B. Baker, Alan P. Sexton, Volker Sorge
MKM
2009
Springer
14 years 23 days ago
Unifying Math Ontologies: A Tale of Two Standards
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
James H. Davenport, Michael Kohlhase
MKM
2009
Springer
14 years 23 days ago
Combined Decision Techniques for the Existential Theory of the Reals
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
Grant Olney Passmore, Paul B. Jackson
MKM
2009
Springer
14 years 23 days ago
A Logically Saturated Extension of
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
Lionel Elie Mamane, Herman Geuvers, James McKinna
MKM
2009
Springer
14 years 23 days ago
Natural Deduction Environment for Matita
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
Claudio Sacerdoti Coen, Enrico Tassi
MKM
2009
Springer
14 years 23 days ago
Algorithms for the Functional Decomposition of Laurent Polynomials
Abstract. Recent work has detailed the conditions under which univariate Laurent polynomials have functional decompositions. This paper presents algorithms to compute such univaria...
Stephen M. Watt
MKM
2009
Springer
14 years 23 days ago
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
Alan P. Sexton, Volker Sorge, Stephen M. Watt
MKM
2009
Springer
14 years 23 days ago
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Russell J. Bradford, James H. Davenport, Christoph...
MKM
2009
Springer
14 years 23 days ago
MathLang Translation to Isabelle Syntax
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
Robert Lamar, Fairouz Kamareddine, J. B. Wells