Computer-assisted proofs

Ein computergestützter Beweis ist ein mathematischer Beweis , der zumindest teilweise von einem Computer generiert wurde .

Die Keplersche Vermutung , benannt nach dem Mathematiker und Astronomen Johannes Kepler aus dem 17. Jahrhundert , ist ein mathematischer Satz über die Kugelpackung im dreidimensionalen euklidischen Raum .

In der Mathematik ist eine projektive Ebene eine geometrische Struktur, die den Begriff der Ebene erweitert.

Sudoku (/suːˈdoʊkuː,-ˈdɒk-,sə-/; Japanese: 数独, romanized: sūdoku, lit.'digit-single'; originally called Number Place) is a logic-based,combinatorial number-placement puzzle.

In der algorithmischen Geometrie und Informatik bezeichnet das Problem der gewichtsminimalen Triangulierung die Suche nach einer Triangulierung mit minimaler Gesamtkantenlänge .

In der Mathematik besagt der Vierfarbensatz , auch Vierfarbensatz genannt , dass man höchstens vier Farben benötigt, um die Bereiche einer beliebigen Karte so einzufärben, dass keine zwei benachbarten Bereiche die