Dongming Wang

Dong Lu

J. Symb. Comput., May, 2024

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization.

[BibT_eX]

[DOI]

CoRR, 2024

2022

SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2022

2021

Computing strong regular characteristic pairs with Gröbner bases.

[BibT_eX]

[DOI]

Rina Dong

J. Symb. Comput., 2021

A symbolic-numerical algorithm for isolating real roots of certain radical expressions.

[BibT_eX]

[DOI]

Juan Xu

J. Comput. Appl. Math., 2021

Comprehensive Characteristic Decomposition of Parametric Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Decomposition of polynomial sets into characteristic pairs.

[BibT_eX]

[DOI]

Rina Dong

Math. Comput., 2020

On n-sectors of the Angles of an Arbitrary Triangle.

[BibT_eX]

[DOI]

Bo Huang

Math. Comput. Sci., 2020

2019

Characteristic Decomposition: From Regular Sets to Normal Sets.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

Foreword to the Special Issue.

[BibT_eX]

[DOI]

Xiao-Shan Gao

Hongbo Li

J. Syst. Sci. Complex., 2019

Computing strong regular characteristic pairs with Groebner bases.

[BibT_eX]

[DOI]

Rina Dong

CoRR, 2019

2018

On W-characteristic sets of lexicographic Gröbner bases.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2018

LaTEX: A Linear Algebra Textbook System.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Special Issue on Program Verification, Automated Debugging and Symbolic Computation.

[BibT_eX]

[DOI]

Tudor Jebelean

Wei Li

J. Symb. Comput., 2017

Retrieving geometric information from images: the case of hand-drawn diagrams.

[BibT_eX]

[DOI]

Dan Song

Data Min. Knowl. Discov., 2017

2016

On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2016

Foreword.

[BibT_eX]

[DOI]

J. Rafael Sendra

Math. Comput. Sci., 2016

2015

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Automated generation of geometric theorems from images of diagrams.

[BibT_eX]

[DOI]

Dan Song

Ann. Math. Artif. Intell., 2015

Searching for Geometric Theorems Using Features Retrieved from Diagrams.

[BibT_eX]

[DOI]

Wenya An

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

2014

The Spaces of Data, Information, and Knowledge.

[BibT_eX]

[DOI]

CoRR, 2014

OpenGeo: An Open Geometric Knowledge Base.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.

[BibT_eX]

[DOI]

Dan Song

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Foreword to the Special Focus on Mathematics, Data and Knowledge.

[BibT_eX]

[DOI]

Xiangliang Zhang

Math. Comput. Sci., 2013

Formalization and Specification of Geometric Knowledge Objects.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2013

A new algorithmic scheme for computing characteristic sets.

[BibT_eX]

[DOI]

Meng Jin

J. Symb. Comput., 2013

Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification.

[BibT_eX]

[DOI]

CoRR, 2013

A framework for improving uniformity of parameterizations of curves.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2013

Improving angular speed uniformity by reparameterization.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2013

2012

Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems.

[BibT_eX]

[DOI]

Int. J. Control, 2012

Management of geometric knowledge in textbooks.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2012

GeoText: an intelligent dynamic geometry textbook.

[BibT_eX]

[DOI]

Ting Zhao

ACM Commun. Comput. Algebra, 2012

Algebraic analysis of stability and bifurcation of a self-assembling micelle system.

[BibT_eX]

[DOI]

Wei Niu

Appl. Math. Comput., 2012

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 14th International Workshop, 2012

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 2012

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

Stability Analysis for Discrete Biological Models Using Algebraic Methods.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2011

Solution formulas for cubic equations without or with constraints.

[BibT_eX]

[DOI]

Ting Zhao

J. Symb. Comput., 2011

Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases.

[BibT_eX]

[DOI]

Yanli Huang

Comput. Aided Geom. Des., 2011

2010

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2010

2009

Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases.

[BibT_eX]

[DOI]

Yanli Huang

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

2008

Algebraic Approaches to Stability Analysis of Biological Systems.

[BibT_eX]

[DOI]

Wei Niu

Math. Comput. Sci., 2008

Triangular Decomposition for Algebraic and Geometric Computing.

[BibT_eX]

[DOI]

Proceedings of the SYNASC 2008, 2008

On the Design and Implementation of a Geometric Knowledge Base.

[BibT_eX]

[DOI]

Ying Huang

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems.

[BibT_eX]

[DOI]

Wei Niu

Proceedings of the Algebraic Biology, Third International Conference, 2008

2007

Foreword.

[BibT_eX]

[DOI]

Lihong Zhi

Math. Comput. Sci., 2007

On the design and implementation of a geometric-object-oriented language.

[BibT_eX]

[DOI]

Tielin Liang

Frontiers Comput. Sci. China, 2007

2006

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents.

[BibT_eX]

[DOI]

Wei Pan

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

Solving Dynamic Geometric Constraints Involving Inequalities.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

Towards an Electronic Geometry Textbook.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 2006

2005

Stability analysis of biological systems with real solution classification.

[BibT_eX]

[DOI]

Bican Xia

Proceedings of the Symbolic and Algebraic Computation, 2005

The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.

[BibT_eX]

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004

A simple method for implicitizing rational curves and surfaces.

[BibT_eX]

[DOI]

J. Symb. Comput., 2004

Towards a Geometric-Object-Oriented Language.

[BibT_eX]

[DOI]

Tielin Liang

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

Elimination Practice - Software Tools and Applications.

[BibT_eX]

[DOI]

Imperial College Press, ISBN: 978-1-86094-438-3, 2004

2003

Automated Generation of Diagrams with Maple and Java.

[BibT_eX]

Proceedings of the Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar], 2003

2002

GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 2002

2001

Elimination Methods.

[BibT_eX]

[DOI]

Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-6202-6, 2001

2000

Computing Triangular Systems and Regular Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2000

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.

[BibT_eX]

[DOI]

Philippe Aubry

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1999

Polynomial Systems from Certain Differential Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1999

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Méthodes d'élimination et applications. (Elimination methods).

[BibT_eX]

[DOI]

, 1999

1998

Decomposing Polynomial Systems into Simple Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 1998

Unmixed and prime decomposition of radicals of polynomial ideals.

[BibT_eX]

[DOI]

SIGSAM Bull., 1998

Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1998

Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

Decomposing Algebraic Varieties.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1998

Clifford Term Rewriting for Geometric Reasoning in 3D.

[BibT_eX]

[DOI]

Thierry Boy de la Tour

Proceedings of the Automated Deduction in Geometry, 1998

1996

GEOTHER: A Geometry Theorem Prover.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1996

1995

A Method for Proving Theorems in Differebtial Geometry and Mechanics

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

Elimination Procedures for Mechanical Theorem Proving in geometry.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1994

Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications.

[BibT_eX]

[DOI]

J. Symb. Comput., 1994

Algebraic Factoring and Geometry Proving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

Automatic Generation of C<sup>++</sup> Code for Neural Network Simulation.

[BibT_eX]

[DOI]

Stephan Dreiseitl

Proceedings of the New Trends in Neural Computation, 1993

1992

Computer Aided Analysis and Derivation for Artificial Neural Systems.

[BibT_eX]

[DOI]

Bernd Schürmann

IEEE Trans. Software Eng., 1992

Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 1992

A Strategy for Speeding-up the Computation of Characteristic Sets.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1991

Mechanical Manipulation for a Class of Differential Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 1991

A toolkit for manipulating indefinite summations with application to neural networks.

[BibT_eX]

[DOI]

SIGSAM Bull., 1991

Computer Algebra and Neurodynamics.

[BibT_eX]

[DOI]

Bernd Schürmann

Proceedings of the Physik und Informatik, 1991

On the Parallelization of Characteristic-Set-Based Algorithms.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

SIGSAM Bull., 1989

On Wu's Method for Proving Constructive Geometric Theorems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]