![book Effective Methods in Algebraic Geometry](/covers/files_170/3000/48f5df90cb956abec800909995a3698b-d.jpg)
- Author: Riccardo Benedetti (auth.) Teo Mora Carlo Traverso (eds.)
- Language: English
- Year: 1991
![book Hypergeometric summation. An algorithmic approach to summation and special function identities](/covers/files_170/3000/7660f3c305bfe144bb7e1531827aedad-d.jpg)
- Author: Wolfram Koepf
- Language: English
- Year: 1998
![book Hypergeometric summation. An algorithmic approach to summation and special function identities](/covers/files_170/3000/2148084d058c36abab062c947ab05a77-d.jpg)
- Author: Wolfram Koepf
- Language: English
- Year: 1998
![book Using Algebraic Geometry](/covers/files_170/3000/83d62614d03c0af4d230fe9e10e6638f-d.jpg)
- Author: David A. Cox John Little Donal O’shea (auth.)
- Language: English
- Year: 2005
![book Using Algebraic Geometry](/covers/files_170/3000/81e981ce8004a32360f4dc2e9fb441b7-d.jpg)
- Author: David A. Cox John Little Donal O’shea (auth.)
- Language: English
- Year: 2005
![book Mechanical geometry theorem proving](/covers/files_170/3000/c12d2ce1a36aa6e554dcb32e68cd7c11-d.jpg)
- Author: Shang-Ching Chou
- Language: English
- Year: 1988
![book Mechanical geometry theorem proving](/covers/files_170/3000/d1608fa7e68781211983656f3b552b33-d.jpg)
- Author: Shang-Ching Chou
- Language: English
- Year: 1988
![book Algorithms in Real Algebraic Geometry](/covers/files_170/3000/af2aab4fd0c7fbb24acbe878ffb4ccd0-d.jpg)
- Author: Saugata Basu Richard Pollack Marie-Franco̧ise Roy (auth.)
- Language: English
- Year: 2003