Automated Deduction in Geometry Plus de livres similaires

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