| Publication | Date of Publication | Type |
|---|
| Evasiveness through binary decision diagrams | 2024-02-28 | Paper |
| Constructing new spectral systems from simplicial fibrations | 2022-09-06 | Paper |
| A new Kenzo module for computing the Eilenberg-Moore spectral sequence | 2022-09-06 | Paper |
| Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences | 2022-07-18 | Paper |
| An implementation of effective homotopy of fibrations | 2019-06-20 | Paper |
| Using abstract stobjs in ACL2 to compute matrix normal forms | 2018-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2988093 | 2017-05-18 | Paper |
| Certified symbolic manipulation | 2017-02-10 | Paper |
| Modeling inheritance as coercion in a symbolic computation system | 2017-02-03 | Paper |
| A Certified Reduction Strategy for Homological Image Processing | 2015-09-17 | Paper |
| Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm | 2015-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5403899 | 2014-03-19 | Paper |
| On the role of formalization in computational mathematics | 2013-10-21 | Paper |
| Homotopy groups of suspended classifying spaces: An experimental approach | 2013-08-06 | Paper |
| Formalization of a normalization theorem in simplicial topology | 2012-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3145742 | 2012-12-23 | Paper |
| Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging | 2012-09-07 | Paper |
| Constructive Homological Algebra and Applications | 2012-08-19 | Paper |
| Computing the homology of groups: the geometric way. | 2012-05-23 | Paper |
| Interoperating between computer algebra systems | 2012-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101174 | 2011-11-22 | Paper |
| Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials | 2011-08-17 | Paper |
| A System for Computing and Reasoning in Algebraic Topology | 2011-07-29 | Paper |
| Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System | 2011-05-27 | Paper |
| fKenzo: a user interface for computations in algebraic topology | 2011-04-05 | Paper |
| Effective homology of bicomplexes, formalized in Coq | 2011-03-14 | Paper |
| Computing in Coq with Infinite Algebraic Data Structures | 2010-08-24 | Paper |
| Integrating Multiple Sources to Answer Questions in Algebraic Topology | 2010-08-24 | Paper |
| A case study of 𝐴∞-structure | 2010-05-31 | Paper |
| Generating certified code from formal proofs: a case study in homological algebra | 2010-05-05 | Paper |
| ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System | 2009-07-09 | Paper |
| Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems | 2009-07-09 | Paper |
| Mediated Access to Symbolic Computation Systems | 2009-01-27 | Paper |
| A mechanized proof of the basic perturbation lemma | 2008-06-11 | Paper |
| Object oriented institutions to specify symbolic computation systems | 2008-02-15 | Paper |
| Executing in Common Lisp, Proving in ACL2 | 2007-11-28 | Paper |
| Computing spectral sequences | 2007-10-23 | Paper |
| Computer Aided Systems Theory – EUROCAST 2005 | 2006-11-01 | Paper |
| Computational Science – ICCS 2005 | 2005-11-30 | Paper |
| Algebraic models for homotopy types | 2005-10-27 | Paper |
| Computing with locally effective matrices | 2005-10-27 | Paper |
| Artificial Intelligence and Symbolic Computation | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4676271 | 2005-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471956 | 2004-07-30 | Paper |
| An object-oriented interpretation of the EAT system | 2003-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433988 | 2003-11-03 | Paper |
| Integrating functional programming and symbolic computation. | 2003-05-27 | Paper |
| Constructive algebraic topology | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764961 | 2002-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3135181 | 1994-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4293684 | 1994-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975344 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787156 | 1988-01-01 | Paper |
