| Publication | Date of Publication | Type |
|---|
| MathJax: The Present and the Future | 2021-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111895 | 2020-05-27 | Paper |
| Ωmega: Towards a mathematical assistant | 2019-10-01 | Paper |
| Abstract matrices in symbolic computation | 2017-02-03 | Paper |
| Nuclei and commutants of C-loops. | 2014-01-21 | Paper |
| Connecting logical representations and efficient computations | 2013-10-07 | Paper |
| Abstracting symbolic matrices | 2012-12-28 | Paper |
| MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text | 2012-09-07 | Paper |
| Enumerating AG-groups with a study of Smaradache AG-groups. | 2012-09-04 | Paper |
| Computing with abstract matrix structures | 2012-05-13 | Paper |
| Symbolic Domain Decomposition | 2010-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568690 | 2010-06-15 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3185215 | 2009-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3398152 | 2009-09-25 | Paper |
| Reasoning with Generic Cases in the Arithmetic of Abstract Matrices | 2009-07-09 | Paper |
| A Linear Grammar Approach to Mathematical Formula Recognition from PDF | 2009-07-09 | Paper |
| Automatic Construction and Verification of Isotopy Invariants | 2009-03-12 | Paper |
| Combined reasoning by automated cooperation | 2008-09-23 | Paper |
| Automatic construction and verification of isotopy invariants | 2008-06-11 | Paper |
| A Rational Reconstruction of a System for Experimental Mathematics | 2007-11-28 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Towards a Parser for Mathematical Formula Recognition | 2007-09-05 | Paper |
| Capturing Abstract Matrices from Paper | 2007-09-05 | Paper |
| Managing Automatically Formed Mathematical Theories | 2007-09-05 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Applying SAT solving in classification of finite algebras | 2007-01-24 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809051 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808725 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433981 | 2003-11-03 | Paper |
| Comparing approaches to the exploration of the domain of residue classes. | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797443 | 2003-03-13 | Paper |
| Distributed assertion retrieval | 2002-02-14 | Paper |
| \(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving | 2001-10-21 | Paper |
| Exploring properties of residue classes | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499154 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499162 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520772 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518867 | 2000-12-03 | Paper |
| Integrating computer algebra into proof planning | 1999-01-03 | Paper |
