Mizar (software)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt m (Mizar/Related Articles moved to Mizar (software)/Related Articles: disambig) |
No edit summary |
||
| Line 11: | Line 11: | ||
==Other related topics== | ==Other related topics== | ||
--> | --> | ||
==Articles related by keyphrases (Bot populated)== | |||
{{r|Astrobiology}} | |||
{{r|Mathematical notation}} | |||
{{r|Toss juggling}} | |||
{{r|Project Gutenberg}} | |||
{{r|Byte}} | |||
{{r|MATLAB}} | |||
{{r|Computer algebra system}} | |||
Latest revision as of 11:00, 20 September 2024
- See also changes related to Mizar (software), or pages that link to Mizar (software) or to this page or whose text contains "Mizar (software)".
Parent topics
- Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [e]
- Computer proof [r]: Add brief definition or description
- Astrobiology [r]: The study of life in the universe. [e]
- Mathematical notation [r]: A system of symbolic representations of mathematical objects and ideas. [e]
- Toss juggling [r]: The art of throwing and catching objects – typically balls, clubs, or rings – repeatedly in a variety of different patterns and styles. [e]
- Project Gutenberg [r]: A massive, fully free online library of books and literature, primarily the full texts of public domain works. [e]
- Byte [r]: A byte is a unit of data consisting of (usually) eight binary digits, each of which is called a bit. [e]
- MATLAB [r]: Numerical computing environment and programming language. [e]
- Computer algebra system [r]: Software program enabling manipulation of mathematical expressions in symbolic form. [e]