--- title: "Tobias Nipkow — author profile and papers · Reasoning" description: "Tobias Nipkow, Technical University of Munich: 2 papers on Elamur Research (2008–2015), h-index 46 — affiliations, topics, co-authors and…" canonical: "https://research.elamur.ai/free/en/authors/tobias-nipkow/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/tobias-nipkow/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Tobias Nipkow # Tobias Nipkow Tobias Nipkow has 2 papers in our library, in 2008–2015, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Cezary Kaliszyk](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/), [John Harrison](https://md.research.elamur.ai/free/en/authors/john-harrison/), [Lawrence C. Paulson](https://md.research.elamur.ai/free/en/authors/lawrence-c-paulson/). 2 papers in our library · 2008–2015 [OpenAlex](https://openalex.org/A5062636889) · [ORCID](https://orcid.org/0000-0003-0730-515X) · [Wikidata](https://www.wikidata.org/wiki/Q18217799) · [**h-index 46**](https://openalex.org/authors/A5062636889) · [426 works](https://openalex.org/works?filter=author.id:A5062636889) · [12,164 citations](https://openalex.org/works?filter=author.id:A5062636889&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/#papers) · [🔗 Cited 51 times in our library](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/cited-by/) · [⭐ Paper Stars ranking: #6083](https://md.research.elamur.ai/free/en/paper-stars/page/61/#star-6083) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Tobias+Nipkow) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Tobias+Nipkow) · [dblp](https://dblp.org/search?q=Tobias+Nipkow) · [ACL Anthology](https://aclanthology.org/search/?q=Tobias+Nipkow) ## Affiliations [🎓**Technical University of Munich** Munich · Germany 1992–2026 · 182 papersEmployment*current*](https://md.research.elamur.ai/free/en/universities/technical-university-of-munich/) · [🎓**University of Cambridge** Cambridge · United Kingdom 1989–2002 · 11 papers](https://md.research.elamur.ai/free/en/universities/university-of-cambridge/) · [🎓**University of Manchester** Manchester · United Kingdom 1986–2006 · 5 papersEducation](https://md.research.elamur.ai/free/en/universities/university-of-manchester/) · [🎓**Massachusetts Institute of Technology** Cambridge · United States 1988–1989 · 5 papers](https://md.research.elamur.ai/free/en/universities/massachusetts-institute-of-technology/) · [🎓**Technische Universität Darmstadt** Darmstadt · Germany 2005–2006 · 2 papersEducation](https://md.research.elamur.ai/free/en/universities/technische-universitat-darmstadt/) · [🎓**Ludwig-Maximilians-Universität München** Munich · Germany 1993–1994 · 2 papers](https://md.research.elamur.ai/free/en/universities/ludwig-maximilians-universitat-munchen/) · [🎓**University of London** London · United Kingdom 1989–1990 · 2 papers](https://md.research.elamur.ai/free/en/universities/university-of-london/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) · [Algebra and Number Theory · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/algebra-and-number-theory/) · [Numerical Analysis · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/numerical-analysis/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2010s [**2015** 1 paper](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/year/2015/) ### 2000s [**2008** 1 paper](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/year/2008/) ## Papers The most cited first (OpenAlex and our library). 1. **[The Isabelle Framework](https://md.research.elamur.ai/free/en/papers/wenzel-2008-isabelle-framework/)** *(2008 · 183 citations)* Note: the supplied text is not "The Isabelle Framework" (Wenzel, Paulson, Nipkow). It is "A Compiled Implementation of Normalization by Evaluation" by Klaus Aehlig, Florian Haftmann and Tobias Nipkow, and this summary covers that text. 2. **[A formal proof of the Kepler conjecture](https://md.research.elamur.ai/free/en/papers/hales-2015-formal-proof-kepler-conjecture/)** *(2015 · 79 citations)* The Kepler conjecture claims that no arrangement of equal balls in three-dimensional space is denser than the face-centered cubic packing, whose density is π/√18 (about 0.74). ## Co-authors here 3 co-authors with a page, the most papers together first. - [Cezary Kaliszyk](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) - [John Harrison](https://md.research.elamur.ai/free/en/authors/john-harrison/) - [Lawrence C. Paulson](https://md.research.elamur.ai/free/en/authors/lawrence-c-paulson/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/): [Lecture notes in computer science 2008](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/2008/) ## Cited by Papers of our library cite their works 51 times (of the 149,439 papers whose bibliographies we read); [31 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/tobias-nipkow/cited-by/). Updated 3 November 2026