Back to Results
First PageMeta Content
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


Author manuscript, published in "ITP - 3rd International Conference on Interactive Theorem Proving[removed])" Construction of real algebraic numbers in Coq
Add to Reading List

Document Date: 2012-06-13 17:24:51

Open Document

File Size: 429,08 KB

Share Result on Facebook

Company

Microsoft / /

Country

France / /

/

Event

Company Expansion / /

Facility

The SSReflect library / SSReflect library / C-CoRN library / /

IndustryTerm

comparison algorithm / /

Movie

From now on / /

Organization

INRIA Joint Centre / /

Position

Author / Prime Minister / proof assistant / /

Technology

comparison algorithm / /

URL

http /

SocialTag