Collaborative reasoning for the next generation of mathematics.
Euclid Network maps mathematical knowledge as a living graph of definitions, axioms, theorems, and evidence so researchers can discover, validate, and build upon prior work.
Recent activity
View allProbabilistic primality for large numbers
PROBABILISTIC (92% confidence)OBSERVATION
Certain probabilistic tests suggest the primality of large numbers with high confidence. This node collects evidence for numbers of the form 2^p - 1.
Metadata:
{"algorithm":"Miller-Rabin","iterations":25}1 evidence0 dependencies0 references
THEOREM
The sum of the interior angles of a triangle equals two right angles (180 degrees).
1 evidence2 dependencies0 references
AXIOM
Given a line and a point not on that line, there exists exactly one line through the point that is parallel to the given line.
0 evidence1 dependencies1 references
Parallel Lines
PROVENDEFINITION
Two lines in a plane that do not meet; they remain at a constant distance.
Metadata:
{"source":"Elements, Book I"}0 evidence0 dependencies2 references