| Symbolic Computation in Software Science: My Personal View. | 0 | 0.34 | 2021 |
| Gröbner Bases Computation and Macaulay Matrices | 0 | 0.34 | 2017 |
| Theorema 2.0: Computer-Assisted Natural-Style Mathematics. | 5 | 0.65 | 2016 |
| The GDML and EuKIM Projects: Short Report on the Initiative. | 0 | 0.34 | 2016 |
| Satisfiability Checking meets Symbolic Computation (Project Paper). | 4 | 0.47 | 2016 |
| Satisfiability Checking and Symbolic Computation. | 0 | 0.34 | 2016 |
| Stam's Identities Collection: A Case Study for Math Knowledge Bases. | 0 | 0.34 | 2016 |
| Sc2: Satisfiability Checking Meets Symbolic Computation (Project Paper) | 0 | 0.34 | 2016 |
| Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates | 1 | 0.36 | 2015 |
| Special issue on symbolic computation in software science. | 0 | 0.34 | 2015 |
| Groebner Bases in Theorema. | 0 | 0.34 | 2014 |
| Soft Math Math Soft. | 0 | 0.34 | 2014 |
| Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema. | 2 | 0.39 | 2014 |
| Mathematics of 21st Century: A Personal View. | 0 | 0.34 | 2013 |
| Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases | 0 | 0.34 | 2012 |
| Transforming problems from analysis to algebra: A case study in linear boundary problems | 1 | 0.36 | 2012 |
| Buchberger's algorithm. | 0 | 0.34 | 2011 |
| Groebner basis | 2 | 0.49 | 2010 |
| An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra | 0 | 0.34 | 2010 |
| Combining logical and algebraic techniques for natural style proving in elementary analysis | 2 | 0.65 | 2009 |
| A Symbolic Framework for Operations on Linear Boundary Problems | 9 | 0.87 | 2009 |
| General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials | 3 | 0.52 | 2008 |
| Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher | 0 | 0.34 | 2007 |
| Comments on the translation of my PhD thesis | 0 | 0.34 | 2006 |
| Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal | 103 | 7.46 | 2006 |
| Theorema: Towards computer-aided mathematical theory exploration | 62 | 3.90 | 2006 |
| Mathematical Theory Exploration | 3 | 0.54 | 2006 |
| Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005 | 9 | 2.04 | 2006 |
| 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs | 0 | 0.34 | 2005 |
| 05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs | 0 | 0.34 | 2005 |
| A view on the future of symbolic computation | 0 | 0.34 | 2005 |
| Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings | 0 | 0.34 | 2004 |
| Predicate Logic with Sequence Variables and Sequence Function Symbols | 7 | 0.69 | 2004 |
| Computational origami construction of a regular heptagon with automated proof of its correctness | 5 | 0.80 | 2004 |
| Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema | 11 | 1.08 | 2004 |
| Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture) | 0 | 0.34 | 2003 |
| Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings | 14 | 3.15 | 2003 |
| Computer algebra: the end of mathematics? | 3 | 0.57 | 2002 |
| Focus Windows: A New Technique for Proof Presentation | 2 | 0.45 | 2002 |
| Gröbner Bases: A Short Introduction for Systems Theorists | 11 | 1.11 | 2001 |
| The PCS Prover in THEOREMA | 5 | 0.59 | 2001 |
| Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers | 45 | 5.44 | 2001 |
| Theory exploration versus theorem proving | 7 | 1.11 | 1999 |
| Computing, Solving, Proving: A Survey on the Theorema Project (Abstract) | 0 | 0.34 | 1997 |
| Symbolic Computation Software Systems: The Current State Of Technology | 0 | 0.34 | 1995 |
| What Is Symbolic Computation? | 0 | 0.34 | 1995 |
| Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings | 75 | 9.29 | 1994 |
| Mathematica: A System for Doing Mathematics by Computer? (Abstract) | 1 | 0.38 | 1993 |
| Gröbner Bases: An Introduction | 2 | 0.71 | 1992 |
| Gröbner Bases in Mathematica: Enthusiasm and Frustration | 4 | 0.52 | 1991 |
