| Publication | Date of Publication | Type |
|---|
| Computing clipped products | 2025-01-10 | Paper |
| Using general large language models to classify mathematical documents | 2024-12-04 | Paper |
| Efficient Quotients of Non-commutative Polynomials | 2024-05-03 | Paper |
| Telescopers for differential forms with one parameter | 2024-03-26 | Paper |
| Extracting theory graphs from Aldor libraries | 2024-02-28 | Paper |
| The Inverse of the Complex Gamma Function | 2023-11-28 | Paper |
| Efficient Generic Quotients Using Exact Arithmetic | 2023-11-03 | Paper |
| Working with families of inverse functions | 2023-06-02 | Paper |
| INTERNATIONAL MATHEMATICAL KNOWLEDGE TRUST IMKT: AN UPDATE ON THE GLOBAL DIGITAL MATHEMATICS LIBRARY | 2020-09-22 | Paper |
| <tex>$QR$</tex>Factoring to Compute the GCD of Univariate Approximate Polynomials | 2017-09-20 | Paper |
| The global digital mathematics library and the international mathematical knowledge trust | 2017-07-21 | Paper |
| Towards factoring bivariate approximate polynomials | 2017-02-03 | Paper |
| Algebraic generalization | 2016-07-18 | Paper |
| Domains and expressions | 2015-07-16 | Paper |
| Determining Points on Handwritten Mathematical Symbols | 2013-08-09 | Paper |
| Lightweight Abstraction for Mathematical Computation in Java | 2012-09-21 | Paper |
| A Streaming Digital Ink Framework for Multi-party Collaboration | 2012-09-07 | Paper |
| Writing on Clouds | 2012-09-07 | Paper |
| Computing with abstract matrix structures | 2012-05-13 | Paper |
| In honour of Keith Geddes on his 60th birthday | 2011-06-01 | Paper |
| Infinite structures in scratchpad II | 2011-04-16 | Paper |
| Type Specialization in Aldor | 2010-09-10 | Paper |
| Symbolic Domain Decomposition | 2010-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568127 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568152 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188253 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3398145 | 2009-09-25 | Paper |
| Reasoning with Generic Cases in the Arithmetic of Abstract Matrices | 2009-07-09 | Paper |
| Algorithms for the Functional Decomposition of Laurent Polynomials | 2009-07-09 | Paper |
| Confidence Measures in Recognizing Handwritten Mathematical Symbols | 2009-07-09 | Paper |
| Algorithms for Symbolic Polynomials | 2008-07-04 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416642 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416661 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416666 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416667 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416685 | 2007-01-22 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660684 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471946 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471950 | 2004-07-30 | Paper |
| Meta-stylesheets for the conversion of mathematical documents into multiple forms | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790473 | 2003-06-01 | Paper |
| Reasoning about the elementary functions of complex analysis | 2002-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767929 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234279 | 2000-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227277 | 1999-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226966 | 1999-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227296 | 1999-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226969 | 1999-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002478 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002421 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4004141 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790646 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790647 | 1988-01-01 | Paper |
