✦ LIBER ✦

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Construction of Real Algebraic Numbers in Coq

✍ Scribed by Beringer, Lennart; Felty, Amy

Book ID: 118189067
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 276 KB
Category: Article
ISBN: 3642323472
DOI: 10.1007/978-3-642-32347-8_6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Mechanised Computability Theory

✍ Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Point-Free, Set-Free Concrete Linear Algebra

✍ van Eekelen, Marko; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 248 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 2152 || Representing Hierarchical Automata in Interactive Theorem Provers

✍ Boulton, Richard J.; Jackson, Paul B. 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Extensionality in the Calculus of Constructions

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 445 KB

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems

✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit

[Lecture Notes in Computer Science] Appl

[Lecture Notes in Computer Science] Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Volume 539 || Some constructions in rings of differential polynomials

✍ Mattson, Harold F.; Mora, Teo; Rao, T. R. N. 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 819 KB