[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Alexey_Solovyev>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/An_Hoai_Thi_Ta>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Cezary_Kaliszyk>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Dat_Tat_Dang>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Diep_Thi_Trieu>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Gertrud_Bauer>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jason_M._Rute>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/John_Harrison_0001>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Josef_Urban>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Joseph_Pleso>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Ky_Khac_Vu>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Mark_Adams>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Roland_Zumkeller>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Sean_McLaughlin>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Steven_Obua>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Thang_Tat_Nguyen>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Thomas_C._Hales>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Tobias_Nipkow>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Trung_Nam_Tran>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Truong_Le_Hoang>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Truong_Quang_Nguyen>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Victor_Magron>
foaf:homepage <http://arxiv.org/abs/1501.02155>
dc:identifier DBLP journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15 (xsd:string)
dcterms:issued 2015 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/corr>
rdfs:label A formal proof of the Kepler conjecture. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Alexey_Solovyev>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/An_Hoai_Thi_Ta>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Cezary_Kaliszyk>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Dat_Tat_Dang>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Diep_Thi_Trieu>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Gertrud_Bauer>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Jason_M._Rute>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/John_Harrison_0001>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Josef_Urban>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Joseph_Pleso>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Ky_Khac_Vu>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Mark_Adams>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Roland_Zumkeller>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Sean_McLaughlin>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Steven_Obua>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Thang_Tat_Nguyen>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Thomas_C._Hales>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Tobias_Nipkow>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Trung_Nam_Tran>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Truong_Le_Hoang>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Truong_Quang_Nguyen>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Victor_Magron>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/corr/HalesABDHHKMMNNNOPRSTTTUVZ15>
rdfs:seeAlso <http://arxiv.org/abs/1501.02155>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/corr/corr1501.html#HalesABDHHKMMNNNOPRSTTTUVZ15>
dc:title A formal proof of the Kepler conjecture. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume abs/1501.02155 (xsd:string)