Theory (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (→Other related topics: Mizar (software)) |
mNo edit summary |
||
| Line 29: | Line 29: | ||
{{r|Mizar (software)}} | {{r|Mizar (software)}} | ||
==Articles related by keyphrases (Bot populated)== | |||
{{r|Space (mathematics)}} | |||
Latest revision as of 07:00, 28 October 2024
- See also changes related to Theory (mathematics), or pages that link to Theory (mathematics) or to this page or whose text contains "Theory (mathematics)".
Parent topics
- Mathematics [r]: The study of quantities, structures, their relations, and changes thereof. [e]
Subtopics
- Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [e]
- Set theory [r]: Mathematical theory that models collections of (mathematical) objects and studies their properties. [e]
- Mathematical notation [r]: A system of symbolic representations of mathematical objects and ideas. [e]
- Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs. [e]
- Space (mathematics) [r]: A set with some added structure, which often form a hierarchy, i.e., one space may inherit all the characteristics of a parent space. [e]