Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 10:10:13 UTC
MATH.21:12 - Relations
MATH.2 identifies equivalent representations and carries well-defined operations to their quotient.
MATH.19 constructs an existence, convergence or preservation argument when an intermediate implication is missing.
MATH.18 compares different mathematical accounts of a limiting construction.
MATH.22 changes assumptions when a needed limit or operation is absent; MATH.23 develops the resulting conjecture.
C.29 interprets the mathematical consequence in its subject. Modeling methods choose the subject-relevant approximation and computational methods obtain its finite realization.
B.5.QD and C.40.CD develop the next useful question after a construction, obstruction or changed use.