Mizar (software)/Related Articles

From Citizendium
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A list of Citizendium articles, and planned articles, about Mizar (software).
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

Articles related by keyphrases (Bot populated)

  • 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]