Most Popular Books
- Elimination Methods (Texts and Monographs in Symbolic Computation)
- Computer Mathematics: Proceedings of the Fourth Asian Symposium (Ascm 2000), Chiang Mai, Thailand 17-21 December 2000 (Lecture Notes Series on Computing)
- Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture Notes in Computer Science)
- Distributed MIMO and Cell-Free Mobile Communication
- Elimination Practice: Software Tools and Applications (With CD-Rom)