2025
Collision Detection Between Convex Objects Using Pseudodistance and Unconstrained Optimization.
IEEE Trans. Robotics, 2025
2024
Squarefree normal representation of zeros of zero-dimensional polynomial systems.
J. Symb. Comput., May, 2024
Decomposition of Polynomial Ideals into Triangular Regular Sequences.
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation.
Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024
2023
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
2022
SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt.
Math. Comput. Sci., 2022
2021
Computing strong regular characteristic pairs with Gröbner bases.
J. Symb. Comput., 2021
A symbolic-numerical algorithm for isolating real roots of certain radical expressions.
J. Comput. Appl. Math., 2021
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021
2020
Decomposition of polynomial sets into characteristic pairs.
Math. Comput., 2020
On n-sectors of the Angles of an Arbitrary Triangle.
Math. Comput. Sci., 2020
2019
Characteristic Decomposition: From Regular Sets to Normal Sets.
J. Syst. Sci. Complex., 2019
Foreword to the Special Issue.
J. Syst. Sci. Complex., 2019
Computing strong regular characteristic pairs with Groebner bases.
CoRR, 2019
2018
On W-characteristic sets of lexicographic Gröbner bases.
ACM Commun. Comput. Algebra, 2018
LaTEX: A Linear Algebra Textbook System.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Special Issue on Program Verification, Automated Debugging and Symbolic Computation.
J. Symb. Comput., 2017
Retrieving geometric information from images: the case of hand-drawn diagrams.
Data Min. Knowl. Discov., 2017
2016
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases.
Math. Comput. Sci., 2016
2015
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).
Dagstuhl Reports, 2015
Automated generation of geometric theorems from images of diagrams.
Ann. Math. Artif. Intell., 2015
Searching for Geometric Theorems Using Features Retrieved from Diagrams.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
2014
The Spaces of Data, Information, and Knowledge.
CoRR, 2014
OpenGeo: An Open Geometric Knowledge Base.
Proceedings of the Mathematical Software - ICMS 2014, 2014
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014
2013
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case.
Theor. Comput. Sci., 2013
Foreword to the Special Focus on Mathematics, Data and Knowledge.
Math. Comput. Sci., 2013
Formalization and Specification of Geometric Knowledge Objects.
Math. Comput. Sci., 2013
A new algorithmic scheme for computing characteristic sets.
J. Symb. Comput., 2013
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification.
CoRR, 2013
A framework for improving uniformity of parameterizations of curves.
Sci. China Inf. Sci., 2013
Improving angular speed uniformity by reparameterization.
Comput. Aided Geom. Des., 2013
2012
Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems.
Int. J. Control, 2012
Management of geometric knowledge in textbooks.
Data Knowl. Eng., 2012
GeoText: an intelligent dynamic geometry textbook.
ACM Commun. Comput. Algebra, 2012
Algebraic analysis of stability and bifurcation of a self-assembling micelle system.
Appl. Math. Comput., 2012
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints.
Proceedings of the ACM Symposium on Applied Computing, 2012
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization.
Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.
Proceedings of the Computer Mathematics, 2012
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.
Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.
Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012
2011
Stability Analysis for Discrete Biological Models Using Algebraic Methods.
Math. Comput. Sci., 2011
Solution formulas for cubic equations without or with constraints.
J. Symb. Comput., 2011
Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases.
Comput. Aided Geom. Des., 2011
2010
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case.
Comput. Math. Appl., 2010
2009
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases.
Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009
2008
Algebraic Approaches to Stability Analysis of Biological Systems.
Math. Comput. Sci., 2008
Triangular Decomposition for Algebraic and Geometric Computing.
Proceedings of the SYNASC 2008, 2008
On the Design and Implementation of a Geometric Knowledge Base.
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.
Proceedings of the Algebraic Biology, Third International Conference, 2008
2007
On the design and implementation of a geometric-object-oriented language.
Frontiers Comput. Sci. China, 2007
2006
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006
Solving Dynamic Geometric Constraints Involving Inequalities.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006
Towards an Electronic Geometry Textbook.
Proceedings of the Automated Deduction in Geometry, 2006
2005
Stability analysis of biological systems with real solution classification.
Proceedings of the Symbolic and Algebraic Computation, 2005
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005
2004
A simple method for implicitizing rational curves and surfaces.
J. Symb. Comput., 2004
Towards a Geometric-Object-Oriented Language.
Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004
Elimination Practice - Software Tools and Applications.
Imperial College Press, ISBN: 978-1-86094-438-3, 2004
2003
Automated Generation of Diagrams with Maple and Java.
Proceedings of the Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], 2003
2002
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.
Proceedings of the Automated Deduction in Geometry, 2002
2001
Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-6202-6, 2001
2000
Computing Triangular Systems and Regular Systems.
J. Symb. Comput., 2000
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000
1999
Polynomial Systems from Certain Differential Equations.
J. Symb. Comput., 1999
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.
Fundam. Informaticae, 1999
Méthodes d'élimination et applications. (Elimination methods).
, 1999
1998
Decomposing Polynomial Systems into Simple Systems.
J. Symb. Comput., 1998
Unmixed and prime decomposition of radicals of polynomial ideals.
SIGSAM Bull., 1998
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.
Proceedings of the Automated Deduction, 1998
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
Decomposing Algebraic Varieties.
Proceedings of the Automated Deduction in Geometry, 1998
Clifford Term Rewriting for Geometric Reasoning in 3D.
Proceedings of the Automated Deduction in Geometry, 1998
1996
GEOTHER: A Geometry Theorem Prover.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
Geometry Machines: From AI to SMC.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.
Proceedings of the Automated Deduction in Geometry, 1996
1995
A Method for Proving Theorems in Differebtial Geometry and Mechanics
J. Univers. Comput. Sci., 1995
Elimination Procedures for Mechanical Theorem Proving in geometry.
Ann. Math. Artif. Intell., 1995
1994
Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications.
J. Symb. Comput., 1994
Algebraic Factoring and Geometry Proving.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
An Elimination Method for Polynomial Systems.
J. Symb. Comput., 1993
Automatic Generation of C<sup>++</sup> Code for Neural Network Simulation.
Proceedings of the New Trends in Neural Computation, 1993
1992
Computer Aided Analysis and Derivation for Artificial Neural Systems.
IEEE Trans. Software Eng., 1992
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases.
Comput. Aided Geom. Des., 1992
A Strategy for Speeding-up the Computation of Characteristic Sets.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992
1991
Mechanical Manipulation for a Class of Differential Systems.
J. Symb. Comput., 1991
A toolkit for manipulating indefinite summations with application to neural networks.
SIGSAM Bull., 1991
Computer Algebra and Neurodynamics.
Proceedings of the Physik und Informatik, 1991
On the Parallelization of Characteristic-Set-Based Algorithms.
Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991
1989
A program for computing the Liapunov functions and Liapunov constants in scratchpad II.
SIGSAM Bull., 1989
On Wu's Method for Proving Constructive Geometric Theorems.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type.
Proceedings of the Computers and Mathematics, 1989