Mathematics/Geometry

Subject Classification

AMS: Geometry

2026

The Banach–Tarski Paradox in Isabelle/HOL

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

May 07

2025

The Hidden Number Problem

by Sage Binder, Eric Ren and Katherine Kosaian

Jun 24

2024

Impossibility of the Dissection of a Cube

by Thomas Holme Surlykke

Nov 22

Lie Groups and Algebras

by Richard Schmoetten and Jacques D. Fleuriot

Jul 31

Pick's Theorem

by Sage Binder and Katherine Kosaian

Apr 26

2023

Ceva's Theorem

by Mathias Schack Rabing

Aug 16

2021

Foundation of geometry in planes, and some complements: Excluding the parallel axioms

by Fumiya Iwama

Nov 22

Schutz' Independent Axioms for Minkowski Spacetime

by Richard Schmoetten, Jake Palmer and Jacques D. Fleuriot

Jul 27

Grothendieck's Schemes in Algebraic Geometry

by Anthony Bordg, Lawrence C. Paulson and Wenda Li

Mar 29

Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid

by Roland Coghetto

Jan 31

2019

Poincaré Disc Model

by Danijela Simić, Filip Marić and Pierre Boutry

Dec 16

Complex Geometry

by Filip Marić and Danijela Simić

Dec 16

Hilbert's Nullstellensatz

by Alexander Maletzky

Jun 16

2018

Octonions

by Angeliki Koutsoukou-Argyraki

Sep 14

Quaternions

by Lawrence C. Paulson

Sep 05

Projective Geometry

by Anthony Bordg

Jun 14

Gromov Hyperbolicity

by Sebastien Gouezel

Jan 16

2017

Stewart's Theorem and Apollonius' Theorem

by Lukas Bulwahn

Jul 31

Minkowski's Theorem

by Manuel Eberl

Jul 13

Buffon's Needle Problem

by Manuel Eberl

Jun 06

2016

Intersecting Chords Theorem

by Lukas Bulwahn

Oct 11

Ptolemy's Theorem

by Lukas Bulwahn

Aug 07

Chamber Complexes, Coxeter Systems, and Buildings

by Jeremy Sylvestre

Jul 01

2015

Basic Geometric Properties of Triangles

by Manuel Eberl

Dec 28

2012

The independence of Tarski's Euclidean axiom

by T. J. M. Makarios

Oct 30

Proving the Impossibility of Trisecting an Angle and Doubling the Cube

by Ralph Romanos and Lawrence C. Paulson

Aug 05

2011

The General Triangle Is Unique

by Joachim Breitner

Apr 01