Most Popular Books
- Elimination Methods (Texts and Monographs in Symbolic Computation)
- Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture Notes in Computer Science)
- Differential Equations with Symbolic Computation (Trends in Mathematics)
- Distributed MIMO and Cell-Free Mobile Communication
- Elimination Practice: Software Tools and Applications (With CD-Rom)





