Differential algebra -- Differential calculus -- Differential equations -- Differential forms -- geometry and topology -...
Concepts and notations from discrete mathematics are useful to study or describe objects or problems in computer algorit...
List of curve topics List of triangle topics List of circle topics List of topics related to ? List of general topology ...
Methods of proof 1.1 Direct proof 1.2 Proof by induction 1.3 Proof by transposition 1.4 Proof by contradiction 1.5 Proof...
Equality (mathematics) - Wikipedia, the free encyclopedia Equality (mathematics) From Wikipedia, the free encyclopedia &...
Inspiration, pure and applied mathematics, and aesthetics 4 Notation, language, and rigor 5 Mathematics as science 6 Fie...
For example predicate logic and logical frameworks are used for proving programs correct, and logics such as temporal lo...
