Elimination Practice: Software Tools And Applications (With Cd-rom)

Automated Practical Reasoning: Algebraic Approaches

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

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

Differential Equations with Symbolic Computation

Symbolic-Numeric Computation

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

Symbolic Computation And Education

Distributed MIMO and Cell-Free Mobile Communication