| Publication | Date of Publication | Type |
|---|
MathJax: The Present and the Future
Notices of the American Mathematical Society | 2021-02-11 | Paper |
| A term rewriting system for Kuratowski's closure-complement problem | 2020-05-27 | Paper |
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Abstract matrices in symbolic computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Nuclei and commutants of C-loops.
Quasigroups and Related Systems | 2014-01-21 | Paper |
| Connecting logical representations and efficient computations | 2013-10-07 | Paper |
Abstracting symbolic matrices
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Enumerating AG-groups with a study of Smaradache AG-groups.
International Mathematical Forum | 2012-09-04 | Paper |
Computing with abstract matrix structures
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Symbolic domain decomposition
Lecture Notes in Computer Science | 2010-08-24 | Paper |
| Classification results in quasigroup and loop theory via a combination of automated reasoning tools. | 2010-06-15 | Paper |
| Classification results in quasigroup and loop theory via a combination of automated reasoning tools. | 2010-06-15 | Paper |
Certifying solutions to permutation group problems.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
| An online repository of mathematical samples | 2009-10-26 | Paper |
| Extracting precise data on the mathematical content of PDF documents | 2009-09-25 | Paper |
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
Lecture Notes in Computer Science | 2009-07-09 | Paper |
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Lecture Notes in Computer Science | 2009-07-09 | Paper |
Automatic Construction and Verification of Isotopy Invariants
Automated Reasoning | 2009-03-12 | Paper |
Combined reasoning by automated cooperation
Journal of Applied Logic | 2008-09-23 | Paper |
Automatic construction and verification of isotopy invariants
Journal of Automated Reasoning | 2008-06-11 | Paper |
A Rational Reconstruction of a System for Experimental Mathematics
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Towards a Parser for Mathematical Formula Recognition
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Capturing Abstract Matrices from Paper
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Managing Automatically Formed Mathematical Theories
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Applying SAT solving in classification of finite algebras
Journal of Automated Reasoning | 2007-01-24 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2090295 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090054 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2000435 (Why is no real title available?) | 2003-11-03 | Paper |
Comparing approaches to the exploration of the domain of residue classes.
Journal of Symbolic Computation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1882065 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 1497744 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1497751 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1543304 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1538012 (Why is no real title available?) | 2000-12-03 | Paper |
Integrating computer algebra into proof planning
Journal of Automated Reasoning | 1999-01-03 | Paper |
