| Publication | Date of Publication | Type |
|---|
Revisiting stress propagation in a two-dimensional elastic circular disk under diametric loading
Journal of Elasticity | 2024-09-19 | Paper |
On Parametric Border Bases
Mathematical Aspects of Computer and Information Sciences | 2021-12-08 | Paper |
On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
On multivariate Hermitian quadratic forms
Mathematics in Computer Science | 2019-08-19 | Paper |
On real roots counting for non-radical parametric ideals
Mathematical Aspects of Computer and Information Sciences | 2019-03-14 | Paper |
CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Discrete comprehensive Gröbner bases
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Real quantifier elimination by computation of comprehensive Gröbner systems
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
On the implementation of CGS real QE
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Improving a CGS-QE Algorithm
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
Mathematics in Computer Science | 2015-10-30 | Paper |
Implementation of Boolean Gröbner bases in Risa/Asir
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Computation of inverses in residue class rings of parametric polynomial ideals
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Boolean Gröbner bases
Journal of Symbolic Computation | 2011-03-31 | Paper |
On the Computation of Elimination Ideals of Boolean Polynomial Rings
Computer Mathematics | 2009-01-29 | Paper |
Effect of stress ratio on long life fatigue behavior of high carbon chromium bearing steel under axial loading
International Journal of Fatigue | 2006-10-27 | Paper |
| scientific article; zbMATH DE number 2151243 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2133397 (Why is no real title available?) | 2005-02-11 | Paper |
An alternative approach to comprehensive Gröbner bases
Journal of Symbolic Computation | 2004-08-20 | Paper |
| scientific article; zbMATH DE number 2034394 (Why is no real title available?) | 2004-01-28 | Paper |
| Gröbner bases in polynomial rings over von Neumann regular rings -- their applications. (Extended abstract) | 2001-11-04 | Paper |
| scientific article; zbMATH DE number 1428959 (Why is no real title available?) | 2000-04-10 | Paper |
| scientific article; zbMATH DE number 1428960 (Why is no real title available?) | 2000-04-10 | Paper |
| scientific article; zbMATH DE number 1380879 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1380892 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1379099 (Why is no real title available?) | 1999-12-15 | Paper |
| scientific article; zbMATH DE number 1262465 (Why is no real title available?) | 1999-04-22 | Paper |
