Please respect any copyrights when downloading

- [6] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [5] (2012) Extending MKM formats at the statement level. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 65–80. External Links: Link Cited by: p1.
- [1] (2011) Project abstract: logic atlas and integrator (LATIN). In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 289–291. External Links: Link Cited by: p1.
- [3] (2011) Combining source, content, presentation, narration, and relational representation. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 212–227. External Links: Link Cited by: p1.
- [4] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [2] (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.

- [2] (2014-11) A framework for defining declarative languages. Ph.D. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.
- [1] (2007) Towards a Natural Representation of Mathematics in Proof Assistants. Master’s Thesis, Saarland University, Saarbrücken, Germany. Cited by: p1.

- [6] (2014) Flexary operators for formalized mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 312–327. External Links: Link Cited by: p1.
- [1] (2012) Representing CASL in a Proof-Theoretical Logical Framework. In Workshop on Algebraic Development Techniques, Cited by: p1.
- [2] (2012) Compiling Logics. In Workshop on Algebraic Development Techniques, Cited by: p1.
- [7] (2012) Representing Categories of Theories in a Proof-Theoretical Logical Framework. In Workshop on Algebraic Development Techniques, Cited by: p1.
- [5] (2011) Extending OpenMath with Sequences. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 58–72. External Links: Link Cited by: p1.
- [3] (2009) A Case Study on Formalizing Algebra in a Module System. In Workshop on Modules and Libraries for Proof Assistants, F. Rabe and C. Schürmann (Eds.), ACM International Conference Proceeding Series, Vol. 429, pp. 11–18. Cited by: p1.
- [4] (2007) Formal representation of mathematics in a dependently typed set theory. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 265–279. Cited by: p1.