ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Binary cartesian set product
▼
Binary relation
▼
Map
▼
Cartesian product
▼
Complex cartesian product
▼
Real cartesian product
▼
Euclidean real Cartesian product
▼
Set of complex numbers
Definition D1207
Complex number
Children
▶
Complex conjugate
Results
▶
Modulus sum upper bound to distance between two finite complex products for complex numbers in the unit disc