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 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.
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.
my home page (http://arnold-neumaier.at/)
Arnold Neumaier (Arnold.Neumaier@univie.ac.at)