Record: found
Abstract: not found
Book Chapter: not found

Flyspeck I: Tame Graphs

other

Author(s): Tobias Nipkow , Gertrud Bauer , Paula Schultz

Publication date (Print): 2006

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 7

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A proof of the Kepler conjecture

Thomas Hales (2005)

0 comments Cited 165 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Linear time algorithm for isomorphism of planar graphs (Preliminary Report)

J. Hopcroft, J Wong (1974)

0 comments Cited 44 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 21-35

DOI: 10.1007/11814771_4

SO-VID: b7ad639e-90d7-41f4-a3b7-94a110b36903

History

Data availability:

Flyspeck I: Tame Graphs

Read this book at

Related collections

ScienceOpen Research

Most cited references 7

Isabelle/HOL

A proof of the Kepler conjecture

Linear time algorithm for isomorphism of planar graphs (Preliminary Report)

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,997

Cited by 10