Interactive Theorem Proving

#	Item
31	Author manuscript, published in "ITP - 3rd International Conference on Interactive Theorem Proving[removed])" Construction of real algebraic numbers in Coq Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-06-13 17:24:51 Elementary mathematics Functions and mappings Field theory Cauchy sequence Topology Real closed field Intermediate value theorem Function Real number Mathematics Mathematical analysis Real algebraic geometry