Directory of Science - All about Science

Tuesday, 21 May, 2019

search

for
Directories
 
 
 
 Recent Listings
  European World Heart Congress
  World Nursing Congress 2019
  World Congress on Cancer Science and Therapy
  International Journal of Trend in Scientific Research and Development
  World Congress on Nanotechnology
  Random42 Scientific Communication
  NeuroPharmac Journal
  Nanobiotechnology 2019
  Chemistry & Chemical Engineering Conference
  Diabetes World 2019
 
Category:  Science » Math » Logic and Foundations » Foundations SUGGEST CATEGORY  |  SUBMIT A SITE

Foundations

Order by  Popularity  |  Alphabet

Sites

Records 1-1 of 1
 



Mizar Project (Popularity: )
http://www.mizar.org/
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

 
Records 1-1 of 1

© 2015 Directory of Science. All Rights Reserved