Language / Country:
Sites similar to 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 ...
Popular Searches: qedeq
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: math
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Site rating:
3.0 / 5.0, Language: English
University of Waterloo - Universal algebra, logic, computers.
Site rating:
3.0 / 5.0, Language: English
New York, NY
Site rating:
3.0 / 5.0, Language: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
Site rating:
3.0 / 5.0, Language: English
The Department of Computer Science, is one of the largest and most diverse department within the University of Auckland, New Zealand.
Site rating:
3.0 / 5.0, Language: English
Technical University of Dresden, Germany.
Site rating:
3.0 / 5.0, Language: English
Classification of problems related to equal sums of like powers.
Site rating:
3.0 / 5.0, Language: English
Common mathematical and logical errors.
Site rating:
3.0 / 5.0, Language: English
Related results:
sites similar to Dream.Dai.Ed.Ac.Uk
sites similar to Cis.Upenn.Edu
sites similar to Blog.Borud.No
sites similar to Tandfonline
sites similar to Bu.Edu
Indiana.Edu alternatives
Ucl.Ac.Uk alternatives
Shelah.Logic.At alternatives
Proofgeneral.Inf.Ed.Ac.Uk alternatives
Arxiv.Org alternatives
sites similar to Cis.Upenn.Edu
sites similar to Blog.Borud.No
sites similar to Tandfonline
sites similar to Bu.Edu
Indiana.Edu alternatives
Ucl.Ac.Uk alternatives
Shelah.Logic.At alternatives
Proofgeneral.Inf.Ed.Ac.Uk alternatives
Arxiv.Org alternatives