logo

Theory of proveit

This is the top-level theory for general "textbook" mathematics.

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

core_expr_typestheories pertaining to some of the core exression types
logicbasic logic concepts: boolean arithmetic, equality, and set theory.
numbersbasic number concepts and operations for whole numbers, real numbers, and complex numbers.
trigonometrytheory of lengths and angles of triangles as well as their connection to complex numbers
linear_algebrabasic concepts in linear algebra: matrix product, etc
statisticsbasic statistical concepts
physicsbasic physics-related concepts, including quantum topics

All axioms contained within this theory

This theory contains no axioms directly.

proveit.core_expr_types

proveit.logic

proveit.numbers

proveit.trigonometry

This sub-theory contains no axioms.

proveit.linear_algebra

proveit.statistics

proveit.physics