Automated Deduction in Geometry 비슷한 책 더 보기

Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2016년
Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008년
Computer Mathematics Computer Mathematics
Computer Mathematics
2008년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2011년
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2017년
Computer Algebra and Polynomials Computer Algebra and Polynomials
Computer Algebra and Polynomials
2015년
Mathematical Software – ICMS 2018 Mathematical Software – ICMS 2018
Mathematical Software – ICMS 2018
2018년
Mathematical Software – ICMS 2020 Mathematical Software – ICMS 2020
Mathematical Software – ICMS 2020
2020년
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
2008년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2021년
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2022년
Artificial Intelligence and Symbolic Computation Artificial Intelligence and Symbolic Computation
Artificial Intelligence and Symbolic Computation
2018년
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2017년
Arithmetic of Finite Fields Arithmetic of Finite Fields
Arithmetic of Finite Fields
2017년