Linked from

The 22 pages that link to Invariant (mathematics), each with the reason it gives.

• Formal verificationRelated: Program invariants can provide the inductive steps needed to prove correctness.

• Dijkstra's algorithmRelated: The proof maintains that finalized vertices already have their true shortest distances.

• IsomorphismRelated: Isomorphism invariants can distinguish structures that are not equivalent.

• Amortized analysisRelated: Invariants help prove that a sequence-wide cost bound holds in every reachable state.

• Symmetry groupRelated: The defining condition for each symmetry is preservation of the structure's relevant features.

• Recreational mathematicsRelated: Invariants can prove that a puzzle position is unreachable, regardless of attempted moves.

• Program verificationRelated: Loop and system proofs often rely on properties preserved across repeated steps.

• Mathematical structureRelated: Invariants distinguish structural features from changes of labeling or coordinates.

• Abstract data typeRelated: Invariants capture conditions an implementation must preserve across abstract operations.

• Formal methodsRelated: Invariant proofs establish that critical conditions hold throughout execution.

• Rotation groupRelated: The defining condition selects rotations that leave the chosen object unchanged.

• Conserved quantityRelated: A conserved quantity is an invariant specifically along the system's time evolution.

• Mathematical puzzleRelated: Tracking an invariant can rule out impossible puzzle outcomes.

• Tower of HanoiRelated: The size order on each peg must remain valid after every legal move.

• Extended Euclidean algorithmRelated: Maintaining each remainder as a combination of the inputs preserves the desired coefficient information.

• Brain teaserRelated: Invariants can prove that a sequence of puzzle moves cannot reach a proposed goal.

• Curie's principleRelated: Invariants help identify which transformations preserve a cause or its effect.

• Peg solitaireRelated: Peg-solitaire invariants restrict which positions a move sequence can reach.

• Symmetry-based models (mathematical physics)Related: Invariance is the condition that a candidate law or quantity must satisfy under the chosen symmetry.