H ? « ‹ ← → › »

Language peer sets for Mizar:
Poland↑
Poland/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Algebraic ↑
Specialised Languages ↑
Algebraic↑
Mathematical↑
Expression-oriented ↑
Algebraic/1973↑
Mathematical/1973↑
Expression-oriented/1973↑
Algebraic/Poland↑
Mathematical/Poland↑
Expression-oriented/Poland↑
Specialised Languages ↑
Specialised Languages/1973↑
Specialised Languages/pl ↑

Mizar(ID:5810/miz001)

alternate simple view
Country: Poland
Designed 1973
Genus: Algebraic
Sammet category: Specialised Languages

for Mizar (the zeta star in Ursa Major)

Maths proving language

"The Mizar Language is a formal language derived from the matematical vernacular. The principle idea of its author was to design a language readable for mathematicians and, simultaneously, sufficiently rigorous to enable processing and verifying by computer software. A script written according to the Mizar Syntax is called a Mizar Article."
Related languages
Peano → Mizar   Implementation of
Post production → Mizar   Implementation of
Tarski → Mizar   Implementation of
Mizar → Mizar QC   Evolution of
References:
  • Rudnicki, Piotr (1992) Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992 Abstract Extract: Intro Extract: History of Mizar
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder