3 matching results for "mathematics":
Submitted Mar 09, 2017 to Scientific Software Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.
|
Submitted Mar 09, 2017 to Science Research Groups » Computer Science The Mizar project started around 1973 as an attempt to reconstruct mathematical vernacular in a computer-oriented environment.
Since 1989, the most important activity in the Mizar project, apart from continual improvement of the Mizar System, has been the development of a database for mathematics. International cooperation (the main partners: Shinshu University in Nagano and University of Alberta in Edmonton) resulted in creating a database which includes more than 9400 definitions of mathematical concepts and more than 49000 theorems (see Megrez MML Browsing for more statistics). |
Submitted Dec 23, 2016 to Science Videos and Lectures An unsolved conjecture, the inscribed square problem, and a clever topological solution to a weaker version of the question, the inscribed rectangle problem, that shows how the torus and mobius strip naturally arise in mathematical ponderings. Proof due to H. Vaughan (1977).
|
Submit
New Links
Most Popular
Quick Search
Statistics
3,012 listings in 21 categories, with 2,300,083 clicks. Directory last updated Sep 12, 2023.
Welcome Melvintrund, the newest member.