| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5088991 | 2022-07-18 | Paper |
| Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5132749 | 2020-11-12 | Paper |
| Formula Simplification for Real Quantifier Elimination Using Geometric Invariance | 2020-09-09 | Paper |
| DTM-Based Filtrations | 2020-09-08 | Paper |
| An indirect search algorithm for disaster restoration with precedence and synchronization constraints | 2018-03-08 | Paper |
| An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination | 2017-02-03 | Paper |
| An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems | 2016-09-29 | Paper |
| Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems | 2016-09-05 | Paper |
| Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas | 2016-05-25 | Paper |
| Applied Algebraic Geometry in Model Based Design for Manufacturing | 2015-12-03 | Paper |
| Deciding linear-trigonometric problems | 2015-11-26 | Paper |
| Mathematics by machine | 2015-11-11 | Paper |
| Sum of roots with positive real parts | 2015-07-16 | Paper |
| SyNRAC: A Toolbox for Solving Real Algebraic Constraints | 2014-09-08 | Paper |
| An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification | 2014-07-07 | Paper |
| An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination | 2013-11-29 | Paper |
| An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems | 2013-08-23 | Paper |
| A symbolic-numeric approach to multi-objective optimization in manufacturing design | 2013-08-23 | Paper |
| Plant/controller design integration for \(\mathcal H_2\) control based on symbolic-numeric hybrid optimization | 2013-08-22 | Paper |
| Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition | 2012-12-03 | Paper |
| Solution of algebraic Riccati equations using the sum of roots | 2012-05-13 | Paper |
| Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition | 2011-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747912 | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188232 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188279 | 2010-03-10 | Paper |
| Computer algebra for guaranteed accuracy. How does it help? | 2010-02-25 | Paper |
| Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem | 2009-06-18 | Paper |
| Symbolic optimization of algebraic functions | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301672 | 2009-01-20 | Paper |
| Development of SyNRAC | 2008-12-09 | Paper |
| Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination | 2008-09-10 | Paper |
| An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks | 2008-07-01 | Paper |
| Inference of probabilities over a stochastic IL-system by quantifier elimination | 2008-05-27 | Paper |
| Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach | 2007-11-29 | Paper |
| A parameter space approach to fixed-order robust controller synthesis by quantifier elimination | 2007-10-31 | Paper |
| On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization | 2007-09-03 | Paper |
| Computational Science - ICCS 2004 | 2005-12-23 | Paper |
| Computational Science – ICCS 2005 | 2005-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434828 | 2003-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552457 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329974 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329975 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499559 | 2001-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948172 | 2000-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705543 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705546 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705600 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703420 | 1999-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4714013 | 1997-08-04 | Paper |
