Review of "Pavel pech: selected topics in geometry with classical vs. computer proving by Pavel Pech", World Scientific 2007 ISBN-10: 981-270-942-8, ISBN-13: 978-981-270-942-4
DOI10.1145/2815111.2815163zbMath1365.00008OpenAlexW2244067539MaRDI QIDQ5270502
Publication date: 23 June 2017
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2815111.2815163
Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Elementary problems in Euclidean geometries (51M04) Euclidean geometries (general) and generalizations (51M05) External book reviews (00A17) Research exposition (monographs, survey articles) pertaining to geometry (51-02)
This page was built for publication: Review of "Pavel pech: selected topics in geometry with classical vs. computer proving by Pavel Pech", World Scientific 2007 ISBN-10: 981-270-942-8, ISBN-13: 978-981-270-942-4
