| Publication | Date of Publication | Type |
|---|
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Two kinds of non-monotonic analogical inference
Practical Reasoning | 2019-04-29 | Paper |
Internal analogy in theorem proving
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Failure reasoning in multiple-strategy proof planning
| 2013-09-25 | Paper |
e-learning logic and mathematics: what we have and what we still need
| 2011-07-06 | Paper |
Methods to access and retrieve mathematical content in ActiveMath
Lecture Notes in Computer Science | 2010-09-14 | Paper |
Proof planning with multiple strategies
Artificial Intelligence | 2009-07-17 | 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 |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Constraint solving for proof planning
Journal of Automated Reasoning | 2005-05-17 | Paper |
Artificial Intelligence and Soft Computing - ICAISC 2004
Lecture Notes in Computer Science | 2005-04-12 | Paper |
scientific article; zbMATH DE number 2090295 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2089053 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1951631 (Why is no real title available?)
| 2003-07-21 | Paper |
Knowledge representation and management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence | 2003-06-09 | Paper |
scientific article; zbMATH DE number 1748584 (Why is no real title available?)
| 2003-04-10 | Paper |
scientific article; zbMATH DE number 1696826 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1538007 (Why is no real title available?)
| 2001-06-13 | Paper |
scientific article; zbMATH DE number 1497744 (Why is no real title available?)
| 2001-03-06 | Paper |
Knowledge-based proof planning
Artificial Intelligence | 2000-06-04 | Paper |
Analogy in inductive theorem proving
Journal of Automated Reasoning | 2000-01-12 | Paper |
The Heine-Borel challenge problem. In honor of Woody Bledsoe
Journal of Automated Reasoning | 1998-08-24 | Paper |
scientific article; zbMATH DE number 4033138 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3341128 (Why is no real title available?)
| 1972-01-01 | Paper |
