Automated Deduction in GeometryFranz Winkler
Automated Deduction in Geometry
Franz Winkler · 2005
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2005
- Language
- English
- Series
- Lecture Notes in Artificial Intelligence -- 2930
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783540246169
Data source: Wikidata
More by Franz Winkler
Polynomial Algorithms in Computer AlgebraFranz Winkler
Polynomial Algorithms in Computer Algebra
Franz Winkler · 1996
Algebraic InformaticsFranz Winkler
Algebraic Informatics
Franz Winkler · 2011
Symbolic and Numerical Scientific ComputationFranz Winkler
Symbolic and Numerical Scientific Computation
Franz Winkler · 2003