Formal sciences

Invariant subspace

Simplification

Lean

Dependent types

Subformula property

Order theory

Complete lattice

Membership

Noncommutative ring

Involutivity

Degrees of freedom

Prefix relation

Communication system

Prefix code

Arbitrary-precision integer

Algebraic structures

Semidirect product

Representative

Floating-point numbers

Majority vote

Self-affine set

Arithmetic coding

Wavelet transform

Quadtree

ElGamal encryption

Trapdoor function

Candidate key

Unique constraint

Set theory

T-norm

T-conorm

Possibility theory

Commitment scheme

Preimage resistance

Subgroup

Sheaf theory

Stalk

Ring

Gröbner basis

Hahn decomposition theorem

Topology

Constraint programming

Natural transformation

Presheaf

Functor category

Functor

Adjunction

Coordinate ring

Group presentation

Heisenberg algebra