Cargando…
The Seventeen Provers of the World Foreword by Dana S. Scott /
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. Th...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
| Edición: | 1st ed. 2006. |
| Colección: | Lecture Notes in Artificial Intelligence,
3600 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Informal
- HOL
- Mizar
- PVS
- Coq
- Otter/Ivy
- Isabelle/Isar
- Alfa/Agda
- ACL2
- PhoX
- IMPS
- Metamath
- Theorema
- Lego
- Nuprl
- ?mega
- B Method
- Minlog.