×

Found 29 Documents (Results 1–29)

The strong dodecahedral conjecture and Fejes Tóth’s conjecture on sphere packings with kissing number twelve. (English) Zbl 1281.52013

Bezdek, Károly (ed.) et al., Discrete geometry and optimization. Selected papers based on the presentations at the conference and workshop, Toronto, Canada, September 19–23, 2011. New York, NY: Springer (ISBN 978-3-319-00199-9/hbk; 978-3-319-00200-2/ebook). Fields Institute Communications 69, 121-132 (2013).
MSC:  52C17
PDFBibTeX XMLCite
Full Text: DOI arXiv

On minimal tilings with convex cells each containing a unit ball. (English) Zbl 1290.52016

Bezdek, Károly (ed.) et al., Discrete geometry and optimization. Selected papers based on the presentations at the conference and workshop, Toronto, Canada, September 19–23, 2011. New York, NY: Springer (ISBN 978-3-319-00199-9/hbk; 978-3-319-00200-2/ebook). Fields Institute Communications 69, 45-54 (2013).
PDFBibTeX XMLCite
Full Text: DOI

An approach to the dodecahedral conjecture based on bounds for spherical codes. (English) Zbl 1275.52017

Bezdek, Károly (ed.) et al., Discrete geometry and optimization. Selected papers based on the presentations at the conference and workshop, Toronto, Canada, September 19–23, 2011. New York, NY: Springer (ISBN 978-3-319-00199-9/hbk; 978-3-319-00200-2/ebook). Fields Institute Communications 69, 33-44 (2013).
MSC:  52C17 90C22 90C26
PDFBibTeX XMLCite
Full Text: DOI

An investigation of Hilbert’s implicit reasoning through proof discovery in idle-time. (English) Zbl 1350.68244

Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 182-200 (2011).
MSC:  68T15 51F99
PDFBibTeX XMLCite
Full Text: DOI

Verified efficient enumeration of plane graphs modulo isomorphism. (English) Zbl 1342.68298

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 281-296 (2011).
MSC:  68T15 05B40 05C30 05C60 52C17
PDFBibTeX XMLCite
Full Text: DOI

Linear programs for the Kepler conjecture (extended abstract). (English) Zbl 1294.68122

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 149-151 (2010).
MSC:  68T15 52C17 90C05
PDFBibTeX XMLCite
Full Text: DOI

Equidecomposable quadratic regions. (English) Zbl 1195.68104

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 24-38 (2007).
MSC:  68U05 51M20 51M25 68T15
PDFBibTeX XMLCite
Full Text: DOI

Flyspeck I: Tame graphs. (English) Zbl 1222.52018

Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 21-35 (2006).
MSC:  52C17 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software