Maschinengestütztes Beweisen (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Maschinengestütztes Beweisen" in German language version.

refsWebsite

Global rank German rank

451^st place

2,351^st place

207^th place

961^st place

69^th place

189^th place

2^nd place

3^rd place

1web.archive.org

1^st place

1^st place

1leanprover.github.io

low place

low place

1leanprover-community.github.io

low place

low place

1theoremprover-museum.github.io

low place

low place

ams.org

Vgl. Übersichtsartikel von T. Hales (2008), Formal Proof (PDF; 524 kB).

arxiv.org

A formal proof of the Kepler conjecture.

doi.org

Dirk Leinenbach, Thomas Santen: Verifying the Microsoft Hyper-V Hypervisor with VCC, in: FM 2009: Formal Methods, Lecture Notes in Computer Science Volume 5850 (2009), 806–809, 2009. doi:10.1007/978-3-642-05089-3_51.

leanprover-community.github.io

Lean (fork) web editor

leanprover.github.io

Theorem Proving in Lean

psu.edu

citeseerx.ist.psu.edu

Vgl. Formal Proof—The Four-Color Theorem

theoremprover-museum.github.io

Theorem Prover Museum

web.archive.org

Improved Device Driver Reliability Through Hardware Verification Reuse (Memento vom 20. Februar 2011 im Internet Archive) (PDF; 225 kB)