Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Formal verification of floating point trigonometric functions
Document related concepts
Infinitesimal wikipedia , lookup
Approximations of π wikipedia , lookup
Mathematics of radio engineering wikipedia , lookup
Large numbers wikipedia , lookup
Vincent's theorem wikipedia , lookup
Wiles's proof of Fermat's Last Theorem wikipedia , lookup
Four color theorem wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Factorization of polynomials over finite fields wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Foundations of mathematics wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Mathematical proof wikipedia , lookup
Fundamental theorem of calculus wikipedia , lookup
System of polynomial equations wikipedia , lookup
History of trigonometry wikipedia , lookup
Karhunen–Loève theorem wikipedia , lookup
Elementary mathematics wikipedia , lookup
Transcript
