Last updated on: 2021-08-06.

Under Development

A collection of classical geometry in computable formats along with code and diagrams.

Computable Euclid

icon

Euclid Book 1

Relationships between and constructions of angles, lines, triangles, parallelograms and area

icon

Euclid Book 2

Facts about the equality of rectangles and squares, sometimes referred to as geometric algebra

icon

Euclid Book 3

Facts about circles and their center points, segments, inscribed angles, tangents and chords

icon

Euclid Book 4

Constructing the incircle and circumcircle of triangles and regular polygons with 4, 5 and 6 sides

icon

Euclid Book 5

Facts about proportions, magnitudes and ratios and how they can be combined and constructed

icon

Euclid Book 6

Applications of proportions to plane geometry, including similarity and the construction of similar figures

icon

Euclid Book 13

Constructions of the Platonic solids inscribed in a sphere and the ratios between their edges and radii

icon

Euclid's Elements

A complete listing of constructions and theorems from Euclid’s Books 1 - 6 and 13

icon

MathWorld

Geometric theorems and concepts that have corresponding entries on the Wolfram MathWorld site

icon

Constructions

Step-by-step instructions for drawing a specified geometric figure using a straight edge and compass

icon

Theorems

Propositions that are referred to as theorems as opposed to constructions

icon

Geometric Algebra

Theorems which relate to equality, proportions and ratios between geometric figures

icon

Lines

Construction and segmentation of lines and properties related to their intersections and parallels

icon

Angles

Relationships between angles and constructed angles such as their equality, sums and type: obtuse, acute or right

icon

Triangles

Properties of equilateral, isosceles, right and general triangles and definitions of similarity and congruence

icon

Quadrilaterals

Similarity, congruence and ratios between quadrilaterals, parallelograms, squares and their areas

icon

Polygons

Definition of similar polygons, ratios between their sides and area and properties of regular polygons

icon

Circles

Theorems about inscribed angles, chords and tangents of circles and constructions of incircles and circumcircles

References