Langue / Pays:
Sites similaires à Qedeq.Org
Hilbert II - Introduction
Description: Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal ...
Recherches les plus fréquentes: qedeq
Note du site:
3.0 / 5.0, examinés par Sites Like Search
Langue: English
Thèmes du site: math
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Note du site:
3.0 / 5.0, Langue: English
University of Waterloo - Universal algebra, logic, computers.
Note du site:
3.0 / 5.0, Langue: English
New York, NY
Note du site:
3.0 / 5.0, Langue: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
Note du site:
3.0 / 5.0, Langue: English
The Department of Computer Science, is one of the largest and most diverse department within the University of Auckland, New Zealand.
Note du site:
3.0 / 5.0, Langue: English
Technical University of Dresden, Germany.
Note du site:
3.0 / 5.0, Langue: English
Classification of problems related to equal sums of like powers.
Note du site:
3.0 / 5.0, Langue: English
Common mathematical and logical errors.
Note du site:
3.0 / 5.0, Langue: English
Résultats liés:
sites similaires à Dream.Dai.Ed.Ac.Uk
sites similaires à Cis.Upenn.Edu
sites similaires à Blog.Borud.No
sites similaires à Tandfonline
sites similaires à Bu.Edu
Indiana.Edu alternatives
Ucl.Ac.Uk alternatives
Shelah.Logic.At alternatives
Proofgeneral.Inf.Ed.Ac.Uk alternatives
Arxiv.Org alternatives
sites similaires à Cis.Upenn.Edu
sites similaires à Blog.Borud.No
sites similaires à Tandfonline
sites similaires à Bu.Edu
Indiana.Edu alternatives
Ucl.Ac.Uk alternatives
Shelah.Logic.At alternatives
Proofgeneral.Inf.Ed.Ac.Uk alternatives
Arxiv.Org alternatives