Dedicated to the Centenary Birthday of the Late Professor Wu Wen-Tsün (1919-2017) - Special issue
of Journal
of Systems Science and Complexity (edited with Xiao-Shan Gao and Hongbo Li).
AMSS-CAS and Springer, China and Germany, 2019.
Polynomial Elimination: Algorithms and Applications -
Special issue of
Journal of Symbolic Computation (edited with
Michael Kalkbrener). Academic Press, London, 1999.
Automated Deduction in Geometry
(edited in cooperation with Ricardo Caferra, Luis Fariñas del Cerro,
and He Shi). LNAI 1360.
Springer-Verlag, Berlin Heidelberg, 1997.
"Russian Killer" No. 2: A Challenging Geometric Theorem with
Human and Machine Proofs (with Xiaorong Hou, Hongbo Li, and Lu Yang).
The
Mathematical Intelligencer23(1) (2001) 9-15.
Comprehensive Characteristic
Decomposition of Parametric Polynomial Systems (with Rina Dong, Dong Lu, and Chenqi Mou).
In: Proceedings of the 2021 International Symposium on Symbolic
and Algebraic Computation (ISSAC 2021) (Saint Petersburg, Russia,
July 18-23, 2021), ACM Press, New York, 2021, pp. 123-130.
LaText:
A Linear Algebra Textbook System (with Xiaoyu Chen, Haotian Shuai, and Jing Yang).
In: Artificial Intelligence and Symbolic Computation (AISC 2018)
(J. Fleuriot, D. Wang, and J. Calmet, eds.), LNCS 11110, Springer Nature,
Switzerland, 2018, pp. 209-214.
Searching
for Geometric Theorems Using Features Retrieved from Diagrams (with
Wenya An and Xiaoyu Chen). In: Mathematical Aspects of Computer and
Information Sciences (MACIS 2015) (I. S. Kotsireas, S. M. Rump, and C. K. Yap, eds.),
LNCS 9582, Springer, Cham Heidelberg, 2016, pp. 383-397.
OpenGeo:
An Open Geometric Knowledge Base (with Wenya An, Xiaoyu Chen,
Lei Jiang, and Dan Song). In: Proceedings of the Fourth International
Congress on Mathematical Software (ICMS 2014) (Seoul, Korea, August 5-9,
2014), LNCS 8592, Springer-Verlag, Berlin Heidelberg, 2014, pp. 240-245.
Improving Angular Speed
Uniformity by Optimal C⁰ Piecewise Reparameterization (with
Hoon Hong and Jing Yang). In: Proceedings of the 14th International Workshop
on Computer Algebra in Scientific Computing (CASC 2012) (Maribor, Slovenia,
September 3-6, 2012), LNCS 7442, Springer-Verlag, Berlin Heidelberg,
2012, pp. 349-360.
Open Geometry Textbook:
A Case Study of Knowledge Acquisition via Collective Intelligence
(project description, with Xiaoyu Chen, Wei Li, and Jie Luo). In:
Intelligent Computer Mathematics - CICM 2012 Proceedings
(J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka,
M. Wenzel, and V. Sorge, eds.), LNAI 7362, Springer-Verlag,
Berlin Heidelberg, 2012, pp. 432-437.
Basic Elements of Computer Geometry (invited paper).
In: Proceedings of the Tunisia-Japan Workshop on Symbolic
Computation in Software Science (SCSS 2009) (Gammarth, Tunisia,
September 22-24, 2009) (A. Bouhoula and T. Ida, eds.), EasyChair,
2009, pp. 2-12.
Towards
an Electronic Geometry Textbook (with Xiaoyu Chen).
In: Automated Deduction in Geometry
(F. Botana and T. Recio, eds.), LNAI 4869, Springer-Verlag, Berlin
Heidelberg, 2007, pp. 1-23.
Solving Dynamic
Geometric Constraints Involving Inequalities
(with Hoon Hong, Liyun Li, and Tielin Liang).
In: Artificial Intelligence and Symbolic Computation - AISC 2006
Proceedings (J. Calmet, T. Ida, and D. Wang, eds.),
LNAI 4120, Springer-Verlag, Berlin Heidelberg, 2006, pp. 181-195.
Towards
a Geometric-Object-Oriented Language (with Tielin Liang).
In: Automated Deduction in Geometry
(H. Hong and D. Wang, eds.), LNAI 3763, Springer-Verlag, Berlin
Heidelberg, 2006, pp. 130-155.
Computational
Polynomial Algebra and Its Biological Applications
(invited tutorial). In: Algebraic Biology 2005 - Computer Algebra
in Biology (Proceedings of the First International Conference,
Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.),
Universal Academy Press, Inc., Tokyo, 2005, pp. 127-137.
Algebraic Analysis
of Stability for Some Biological Systems
(with Bican Xia). In: Algebraic Biology 2005 - Computer Algebra
in Biology (Proceedings of the First International Conference,
Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.),
Universal Academy Press, Inc., Tokyo, 2005, pp. 75-83.
The Projection Property of Regular Systems and
Its Application to Solving Parametric Polynomial Systems. In:
Algorithmic Algebra and Logic - Proceedings of the A3L 2005
(A. Dolzmann, A. Seidl, and T. Sturm, eds.),
Herstellung und Verlag, Norderstedt, 2005, pp. 269-274.
Implicitization and Offsetting via Regular Systems. In:
Geometric Computation (F. Chen and D. Wang, eds.), World
Scientific, Singapore New Jersey, 2004, pp. 156-176.
Computer Algebra (in Chinese, with Bican Xia). Chapter 1 in:
Selected Lectures in Symbolic Computation
(D. Wang, ed.), Tsinghua University Press, Beijing, 2003, pp. 1-55.
Automated Generation of Diagrams with Maple and Java. In:
Algebra, Geometry, and Software Systems (M. Joswig and N.
Takayama, eds.), Springer-Verlag, Berlin Heidelberg, 2003, pp. 277-287.
Epsilon: A Library of Software Tools for Polynomial
Elimination. In: Mathematical Software - Proceedings of the
First International Congress of Mathematical Software
(ICMS 2002) (A. M. Cohen, X.-S. Gao, and N. Takayama, eds.),
World Scientific, Singapore New Jersey, 2002, pp. 379-389.
A Generalized Algorithm for Computing Characteristic Sets. In:
Computer Mathematics - Proceedings of the Fifth Asian
Symposium (ASCM 2001) (K. Shirayanagi and K. Yokoyama, eds.),
World Scientific, Singapore New Jersey, 2001, pp. 165-174.
Elimination Theory, Methods, and Practice
(invited paper). In: Mathematics and Mathematics-Mechanization
(D. Lin, W. Li, and Y. Yu, eds.), Shandong Education Publishing House,
Jinan, 2001, pp. 91-137.
A Method for Multivariate Polynomial Factorization over Successive
Algebraic Extension Fields (with Dongdai Lin). In: Mathematics and
Mathematics-Mechanization (D. Lin, W. Li, and Y. Yu, eds.),
Shandong Education Publishing House, Jinan, 2001, pp. 138-172.
Geometric Reasoning with Geometric Algebra (invited paper).
In: Geometric Algebra with Applications in Science and
Engineering (E. Bayro-Corrochano and G. Sobczyk, eds.),
Birkhäuser, Boston, 2001, pp. 89-109.
Subresultants with the Bézout Matrix (with Xiaorong Hou). In:
Computer Mathematics - Proceedings of the Fourth Asian Symposium
(ASCM 2000) (X.-S. Gao and D. Wang, eds.), World Scientific,
Singapore New Jersey, 2000, pp. 19-28.
Some Algorithms for Zero Decomposition of Polynomial
Systems. In: Mathematics Mechanization and Applications
(X.-S. Gao and D. Wang, eds.), Academic Press, London, 2000, pp. 43-73
[A French version entitled "Algorithmes d'élimination
pour systèmes de polynômes" is available as
http://www-salsa.lip6.fr/~wang/resume_etendu.ps.gz].
Geometric Theorem Provers and Algebraic Equation Solvers
(with Shang-Ching Chou, Xiao-Shan Gao, Zhuojun Liu, and Ding-Kang Wang).
In: Mathematics Mechanization and Applications
(X.-S. Gao and D. Wang, eds.), Academic Press, London, 2000, pp. 491-505.
Decomposing Algebraic Varieties. In: Automated Deduction
in Geometry (X.-S. Gao, D. Wang, and L. Yang, eds.), LNAI
1669, Springer-Verlag, Berlin Heidelberg, 1999, pp. 180-206.
Clifford Term Rewriting for Geometric Reasoning in 3D
(with Thierry Boy de la Tour and Stéphane Fèvre).
In: Automated Deduction in Geometry (X.-S. Gao,
D. Wang, and L. Yang, eds.), LNAI 1669,
Springer-Verlag, Berlin Heidelberg, 1999, pp. 130-155.
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem
Proving (with Stéphane Fèvre). In: Proceedings
of the Fourth International Conference on Artificial Intelligence and
Symbolic Computation (AISC '98) (Plattsburgh, USA, September 16-18,
1998), LNAI 1476, Springer-Verlag, Berlin Heidelberg, pp. 145-156.
Algebraic Factorization Applied to Geometric Problems
(with Lihong Zhi). In: Proceedings of the Third Asian Symposium
on Computer Mathematics (ASCM '98) (Lanzhou, China, August 6-8,
1998), Lanzhou University Press, Lanzhou, pp. 23-36.
Gröbner Bases Applied to Geometric Theorem Proving and
Discovering (invited tutorial). In: Gröbner Bases and
Applications (Proceedings of the International Conference
"33 Years of Gröbner Bases", B. Buchberger and F. Winkler, eds.),
Cambridge University Press, Cambridge, 1998, pp. 281-301.
Geometry Machines:
From AI to SMC (invited paper).
In: Proceedings of the Third International Conference on
Artificial Intelligence and Symbolic Mathematical Computation
(AISMC-3) (Steyr, Austria, September 23-25, 1996),
LNCS1138, Springer-Verlag, Berlin Heidelberg, pp. 213-239.
GEOTHER: A
Geometry Theorem Prover. In: Proceedings of
the 13th International Conference on Automated Deduction (CADE-13)
(New Brunswick, USA, July 30 - August 3, 1996), LNAI 1104,
Springer-Verlag, Berlin Heidelberg, pp. 166-170.
Geometry Theorem Proving with Existing Technology. In: Proceedings
of the First Asian Technology Conference in Mathematics
(ATCM '95)
(Singapore, December 18-21, 1995), pp. 561-570.
A Method for Solving Algebraic Systems Based on Subresultant
PRS. In: Proceedings of the Asian Symposium on Computer
Mathematics (ASCM '95) (Beijing, China, August 18-20, 1995),
Scientists Inc., Tokyo, pp. 55-69.
Zero Decomposition for Theorem Proving in Geometry
(extended abstract). In: Electronic Proceedings of the First
International IMACS Conference on Applications of Computer Algebra
(Albuquerque, USA, May 16-20, 1995), available via WWW
(http://math.unm.edu/ACA/1995.html).
Reasoning about Geometric Problems Using an Elimination Method.
In: Automated Practical Reasoning:
Algebraic Approaches (J. Pfalzgraf and D. Wang, eds.), Springer-Verlag,
Wien New York, 1995, pp. 147-185.
An
Implementation of the Characteristic Set Method in Maple.
In: Automated Practical Reasoning: Algebraic Approaches
(J. Pfalzgraf and D. Wang, eds.), Springer-Verlag, Wien New York,
1995, pp. 187-201.
Algebraic
Factoring and Geometry Theorem Proving. In: Proceedings
of the 12th International Conference on Automated Deduction (CADE-12)
(Nancy, June 28 - July 1, 1994), LNAI 814, Springer-Verlag, Berlin
Heidelberg, pp. 386-400.
An Elimination Method Based on Seidenberg's Theory and Its Applications.
In: Computational
Algebraic Geometry (F. Eyssette and A. Galligo, eds.),
Progress in Mathematics109, Birkhäuser, Boston,
1993, pp. 301-328.
Automatic
Generation of C++ Code for Neural Network Simulation (with
Stephan Dreiseitl). In: Proceedings of the International Workshop on
Artificial Neural Networks (IWANN '93) (Sitges, Spain, June 9-11,
1993), LNCS 686, Springer-Verlag, Berlin Heidelberg, pp. 358-363.
A
Strategy for Speeding-up the Computation of Characteristic Sets.
In: Proceedings of the 17th International Symposium on
Mathematical Foundations of Computer Science (MFCS '92) (Prague,
Czechoslovakia, August 24-28, 1992), LNCS 629, Springer-Verlag,
Berlin Heidelberg, pp. 504-510.
Some Improvements on Wu's Method for Solving Systems of Algebraic
Equations. In: Proceedings of the 1992 International Workshop on
Mathematics Mechanization (Beijing, China, July 16-18, 1992),
International Academic Publishers, Beijing, pp. 89-100.
Computer
Algebra and Neurodynamics (with Bernd Schürmann).
In: Proceedings of the "Arbeitsgespräch Physik und Informatik
- Informatik und Physik" (Munich, Germany, November 21-22, 1991),
Springer-Verlag, Berlin Heidelberg, pp. 304-317.
Computer
Aided Investigations of Artificial Neural Systems
(with Bernd Schürmann). In: Proceedings of the
International Joint Conference on Neural Networks (IJCNN '91)
(Singapore, November 18-21, 1991), IEEE, Inc., New York, pp. 2325-2330.
On Wu's
Method for Proving Constructive Geometric Theorems. In:
Proceedings of the 11th International Joint Conference on Artificial
Intelligence (IJCAI-89) (Detroit, USA, August 20-25, 1989),
Morgan Kaufmann Publishers, Los Altos, pp. 419-424.
