Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Complex quantifier elimination in HOL
Document related concepts
Pythagorean theorem wikipedia , lookup
Algebraic variety wikipedia , lookup
Euclidean geometry wikipedia , lookup
Algebraic geometry wikipedia , lookup
History of geometry wikipedia , lookup
Line (geometry) wikipedia , lookup
Noether's theorem wikipedia , lookup
Gröbner basis wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Riemann–Roch theorem wikipedia , lookup
Four color theorem wikipedia , lookup
Transcript
