Mizar (software)/Related Articles
Jump to navigation
Jump to search
- 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]