Certified Exact Transcendental Real Number Computation in Coq (Q3543662): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Coq / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: C-CoRN / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3099251155 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0805.2438 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematical Knowledge Management / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Program Extraction from Large Proof Developments / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2852042 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4736391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4549245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4231030 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theorem Proving in Higher Order Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A monadic, functional implementation of real numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Disproof of the Mertens conjecture. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Real numbers and other completions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 22:03, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Certified Exact Transcendental Real Number Computation in Coq |
scientific article |
Statements
Certified Exact Transcendental Real Number Computation in Coq (English)
0 references
4 December 2008
0 references