FMathL papers and technical reports

F. Domes, A. Neumaier, K. Kofler, P. Schodl, and H. Schichl, Concise Manual, Manuscript 2012.

K. Kofler and A. Neumaier, A Dynamic Generalized Parser for Common Mathematical Language. CICM 2011, Bertinoro, Italy.

K. Kofler and A. Neumaier, DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language. CICM 2012, Bremen, Germany. (submitted)

A. Neumaier and F.A. Marginean, Logic in context, Manuscript 2011.

A. Neumaier and P. Schodl, A framework for representing and processing arbitrary mathematics, pp. 476-479 in: Proc. Int. Conf. Knowledge Engineering and Ontology Development (J. Filipe and J.L.G. Dietz, eds.), SciTe Press 2010.

A. Neumaier and P. Schodl, A semantic virtual machine, Higher-Order and Symbolic Computation. (submitted)

P. Schodl, Foundations for a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications, Dissertation, Univ. Wien, 2011.

P. Schodl and A. Neumaier, A graph-based type system for mathematical content CICM 2012, Bremen, Germany. (submitted)

P. Schodl and A. Neumaier, The FMathL type system, Manuscript 2011. (preprint)

P. Schodl, A. Neumaier, K.Kofler, F. Domes, and H. Schichl, Towards a Self-reflective, Context-aware Semantic Representation of Mathematical Specifications, Chapter 3 in: Modeling Languages in Mathematical Optimization (J. Kallrath, ed.), Springer 2012.


F. Domes, K. Kofler, A. Neumaier and P. Schodl, Specification of ther serialization of semantic graphs, Technical report, 2012.

K. Kofler, DynGenPar, Technical report, 2012.

K. Kofler, P. Schodl, and A. Neumaier, Limitations in Content MathML, Technical report, 2009.

K. Kofler, P. Schodl, and A. Neumaier, Limitations in OpenMath, Technical report, 2010.

A. Neumaier, Systems related to the FMathL vision, Technical report, 2010.

A. Neumaier, H. Schichl and P. Schodl, The FMathL Project. Technical report, 2011.

A. Neumaier and P. Schodl, An experimental grammar for German mathematical text, Technical report, 2010.

P. Schodl, Formalizing optimization problems in the semantic memory, Technical report, 2011.

P. Schodl and A. Neumaier, Representing expressions in the semantic memory, Technical report, 2011.


P. Schodl and A. Neumaier, Typing a semantic memory for mathematical content, Slides, 2009.

FMathL - Formal Mathematicasl Languange, and how it relates to the Grammatical Framework (GF), Slides, 2009.



FMathL - Formal Mathematical Language

my home page (http://www.mat.univie.ac.at/~neum/)

Arnold Neumaier (Arnold.Neumaier@univie.ac.at)