Elimination Practice: Software Tools and Applications (With CD-ROM)

Differential Equations with Symbolic Computation

Automated Practical Reasoning: Algebraic Approaches

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Symbolic Computation and Education

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Distributed MIMO and Cell-Free Mobile Communication