Sprache / Land:
Sites ähnlich Qedeq.Org
Hilbert II - Introduction
Beschreibung: 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 ...
Beliebte Suchbegriffe: qedeq
Website Rating:
3.0 / 5.0, bewertung von Sites Like Search
Sprache: English
Webseite-Themen: math
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Website Rating:
3.0 / 5.0, Sprache: English
University of Waterloo - Universal algebra, logic, computers.
Website Rating:
3.0 / 5.0, Sprache: English
New York, NY
Website Rating:
3.0 / 5.0, Sprache: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
Website Rating:
3.0 / 5.0, Sprache: English
The Department of Computer Science, is one of the largest and most diverse department within the University of Auckland, New Zealand.
Website Rating:
3.0 / 5.0, Sprache: English
Technical University of Dresden, Germany.
Website Rating:
3.0 / 5.0, Sprache: English
Classification of problems related to equal sums of like powers.
Website Rating:
3.0 / 5.0, Sprache: English
Common mathematical and logical errors.
Website Rating:
3.0 / 5.0, Sprache: English
Ähnliche Ergebnisse:
Webseiten ähnlich Dream.Dai.Ed.Ac.Uk
Webseiten ähnlich Cis.Upenn.Edu
Webseiten ähnlich Blog.Borud.No
Webseiten ähnlich Tandfonline
Webseiten ähnlich Bu.Edu
Indiana.Edu alternativen
Ucl.Ac.Uk alternativen
Shelah.Logic.At alternativen
Proofgeneral.Inf.Ed.Ac.Uk alternativen
Arxiv.Org alternativen
Webseiten ähnlich Cis.Upenn.Edu
Webseiten ähnlich Blog.Borud.No
Webseiten ähnlich Tandfonline
Webseiten ähnlich Bu.Edu
Indiana.Edu alternativen
Ucl.Ac.Uk alternativen
Shelah.Logic.At alternativen
Proofgeneral.Inf.Ed.Ac.Uk alternativen
Arxiv.Org alternativen