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

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

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

Automated Practical Reasoning: Algebraic Approaches

Differential Equations with Symbolic Computation

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

Symbolic-Numeric Computation

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

Distributed MIMO and Cell-Free Mobile Communication

Symbolic Computation And Education