Login / Signup
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.
Thierry N. Dana-Picard
Published in:
ACM Commun. Comput. Algebra (2015)
Keyphrases
</>
artificial intelligence
computer systems
three dimensional
databases
scientific data
topic models
exam preparation
database
scientific papers
current issues
scientific discovery
personal computer
information retrieval
machine learning
data mining
data sets
real time