Xiao-Shan Gao

J. Autom. Reason., 2010

Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method.

[BibT_eX]

[DOI]

Zheng Ye

J. Autom. Reason., 2010

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

[BibT_eX]

[DOI]

CoRR, 2010

Intersection Theory for Generic Differential Polynomials and Differential Chow Form

[BibT_eX]

[DOI]

Wei Li

CoRR, 2010

Articulation-constrained Skeleton Extraction.

[BibT_eX]

Li Han

Proceedings of the 2010 International Conference on Image Processing, 2010

2009

Minimal achievable approximation ratio for MAX-MQ in finite fields.

[BibT_eX]

[DOI]

Shang-Wei Zhao

Theor. Comput. Sci., 2009

Decomposition of ordinary difference polynomials.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

A characteristic set method for ordinary difference polynomial systems.

[BibT_eX]

[DOI]

Yong Luo

J. Symb. Comput., 2009

Characteristic set method for differential-difference polynomial systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

Complete numerical isolation of real roots in zero-dimensional triangular systems.

[BibT_eX]

[DOI]

Chee-Keng Yap

J. Symb. Comput., 2009

A criterion for testing whether a difference ideal is prime.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2009

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Application in Analysis of Stream Ciphers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2009

Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities

[BibT_eX]

[DOI]

CoRR, 2009

Topology determination and isolation for implicit plane curves.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Root isolation for bivariate polynomial systems with local generic position method.

[BibT_eX]

[DOI]

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

Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

Arbitrary shape reconstruction from NC sectional data and applications in space cutter compensation and interference detection.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008

Rational solutions of ordinary difference equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 2008

A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers.

[BibT_eX]

[DOI]

Fengjuan Chai

J. Syst. Sci. Complex., 2008

Proper Reparametrization of Rational Ruled Surface.

[BibT_eX]

[DOI]

Liyong Shen

J. Comput. Sci. Technol., 2008

AI in China: A Survey.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2008

A characteristic set method for equation solving over finite fields.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

Decomposition of ordinary differential polynomials.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2008

Special track on Geometric Constraints and Reasoning: editorial message.

[BibT_eX]

[DOI]

Dominique Michelucci

Pascal Schreck

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An Introduction to Java Geometry Expert - (Extended Abstract).

[BibT_eX]

[DOI]

Zheng Ye

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

2007

Affinity genetic algorithm.

[BibT_eX]

[DOI]

Xinchao Zhao

J. Heuristics, 2007

Mathematics mechanization and applications after thirty years.

[BibT_eX]

[DOI]

Wenjun Wu

Frontiers Comput. Sci. China, 2007

Evolutionary programming based on non-uniform mutation.

[BibT_eX]

[DOI]

Xinchao Zhao

Ze-Chun Hu

Appl. Math. Comput., 2007

Complete numerical isolation of real zeros in zero-dimensional triangular systems.

[BibT_eX]

[DOI]

Chee-Keng Yap

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

Properties of Ascending Chains for Partial Difference Polynomial Systems.

[BibT_eX]

[DOI]

Gui-Lin Zhang

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.

[BibT_eX]

[DOI]

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007

2006

Quadratic approximation to plane parametric curves and its application in approximate implicitization.

[BibT_eX]

[DOI]

Vis. Comput., 2006

A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs.

[BibT_eX]

[DOI]

J. Symb. Comput., 2006

The Proper Parametrization of a Special Class of Rational Parametric Equations.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2006

On the Probability of the Number of Solutions for the P4P Problem.

[BibT_eX]

[DOI]

Jianliang Tang

J. Math. Imaging Vis., 2006

Automated Reasoning and Equation Solving with the Characteristic Set Method.

[BibT_eX]

[DOI]

Wen-tsun Wu

J. Comput. Sci. Technol., 2006

Well-constrained Completion and Decomposition for under-constrained Geometric Constraint Problems.

[BibT_eX]

[DOI]

Int. J. Comput. Geom. Appl., 2006

Guest Editors' Foreword.

[BibT_eX]

[DOI]

Dominique Michelucci

Int. J. Comput. Geom. Appl., 2006

Wen-Tsun Wu's academic career.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2006

Inherently improper surface parametric supports.

[BibT_eX]

[DOI]

Eng-Wee Chionh

Liyong Shen

Comput. Aided Geom. Des., 2006

A C-tree decomposition algorithm for 2D and 3D geometric constraint solving.

[BibT_eX]

[DOI]

Qiang Lin

Comput. Aided Des., 2006

Spatial geometric constraint solving based on k-connected graph decomposition.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Editorial message: technical track on geometric computing and reasoning.

[BibT_eX]

[DOI]

Dominique Michelucci

Pascal Schreck

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Resolvent systems of difference polynomial ideals.

[BibT_eX]

[DOI]

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

Decomposition of Differential Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, 2006

2005

Generalized Stewart-Gough platforms and their direct kinematics.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2005

Generating Symbolic Interpolants for Scattered Data with Normal Vectors.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2005

2D and 3D generalized Stewart Platforms.

[BibT_eX]

[DOI]

SIGSAM Bull., 2005

Intrinsic topological representation of real algebraic surfaces.

[BibT_eX]

[DOI]

SIGSAM Bull., 2005

Algebraic general solutions of algebraic ordinary differential equations.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2005

Determining the Topology of Real Algebraic Surfaces.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Surfaces XI, 2005

2004

Editorial.

[BibT_eX]

[DOI]

Arjeh M. Cohen

Nobuki Takayama

J. Symb. Comput., 2004

An algorithm for solving partial differential parametric systems.

[BibT_eX]

[DOI]

Jimin Wang

Discret. Appl. Math., 2004

Rational quadratic approximation to real algebraic curves.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2004

Solving spatial basic geometric constraint configurations with locus intersection.

[BibT_eX]

[DOI]

Christoph M. Hoffmann

Wei-Qiang Yang

Comput. Aided Des., 2004

A Hybrid Genetic Algorithm Based on Simulated Annealing and Applications to Optimization and SAT Problems.

[BibT_eX]

Xinchao Zhao

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Decomposition of differential polynomials with constant coefficients.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2004

Rational general solutions of algebraic ordinary differential equations.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2004

Rational Quadratic Approximation to Real Plane Algebraic Curves.

[BibT_eX]

[DOI]

Proceedings of the 2004 Geometric Modeling and Processing (GMP 2004), 2004

Polynomial General Solutions for First Order Autonomous ODEs.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

Planar Generalized Stewart Platforms and Their Direct Kinematics.

[BibT_eX]

[DOI]

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

2003

Complete Solution Classification for the Perspective-Three-Point Problem.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 2003

Implicitization of differential rational parametric equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 2003

Polynomial solutions for first order ODEs with constant coefficients.

[BibT_eX]

[DOI]

SIGSAM Bull., 2003

Classification and Solving of Merge Patterns in Geometric Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Shape Modeling and Applications (SMI 2003), 2003

Geometric constraint solving via C-tree decomposition.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM Symposium on Solid Modeling and Applications 2003, 2003

2002

Geometric constraint solving with conics and linkages.

[BibT_eX]

[DOI]

Kun Jiang

Chang-Cai Zhu

Comput. Aided Des., 2002

Construct Piecewise Hermite Interpolation Surface with Blending Methods.

[BibT_eX]

[DOI]

Proceedings of the 2002 Geometric Modeling and Processing (GMP 2002), 2002

MMP/Geometer - A Software Package for Automated Geometric Reasoning.

[BibT_eX]

[DOI]

Qiang Lin

Proceedings of the Automated Deduction in Geometry, 2002

2001

New Algorithms for the Perspective-Three-Point Problem.

[BibT_eX]

[DOI]

Hangfei Chen

J. Comput. Sci. Technol., 2001

Geometric constraint solving with geometric transformation.

[BibT_eX]

[DOI]

Lei-Dong Huang

Kun Jiang

Sci. China Ser. F Inf. Sci., 2001

Automated Reasoning in Geometry.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering.

[BibT_eX]

[DOI]

J. Autom. Reason., 2000

A Hybrid Method for Solving Geometric Constraint Problems.

[BibT_eX]

[DOI]

Lei-Dong Huang

Kun Jiang

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

1999

Automated generation of Kempe linkage and its complexity.

[BibT_eX]

[DOI]

Changcai Zhu

J. Comput. Sci. Technol., 1999

Geometric constraint satisfaction using optimization methods.

[BibT_eX]

[DOI]

Jian-Xin Ge

Comput. Aided Des., 1999

1998

Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility.

[BibT_eX]

[DOI]

Comput. Aided Des., 1998

Solving geometric constraint systems. I. A global propagation approach.

[BibT_eX]

[DOI]

Comput. Aided Des., 1998

Automated Geometry Diagram Construction and Engineering Geometry.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1998

1996

Automated Generation of Readable Proofs with Geometric Invariants.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

An Introduction to Geometry Expert.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1996

1995

Automated Production of Traditional Proofs in Solid Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1995

Automated Production of Traditional Proofs for Theorems in Euclidean Geometry.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1994

Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.

[BibT_eX]

[DOI]

Nicholas Freitag McPhee

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Machine proofs in geometry - automated production of readable proofs for geometry theorems.

[BibT_eX]

Series on applied mathematics 6, World Scientific, ISBN: 978-981-02-1584-2, 1994

1993

A Zero Structure Theorem for Differential Parametric Systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part I. An Improved Version of Ritt-Wu's Decomposition Algorithm.

[BibT_eX]

[DOI]

J. Autom. Reason., 1993

Automated Production of Traditional Proofs for Constructive Geometry Theorems

[BibT_eX]

[DOI]