Idioma / País:
Sitios similares a Qedeq.Org
Hilbert II - Introduction
Descripción: 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 ...
Lo más buscado: qedeq
clasificación:
3.0 / 5.0, revisado por Sites Like Search
idioma: English
Temas de este sitio: math
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
clasificación:
3.0 / 5.0, idioma: English
University of Waterloo - Universal algebra, logic, computers.
clasificación:
3.0 / 5.0, idioma: English
New York, NY
clasificación:
3.0 / 5.0, idioma: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
clasificación:
3.0 / 5.0, idioma: English
The Department of Computer Science, is one of the largest and most diverse department within the University of Auckland, New Zealand.
clasificación:
3.0 / 5.0, idioma: English
Technical University of Dresden, Germany.
clasificación:
3.0 / 5.0, idioma: English
Classification of problems related to equal sums of like powers.
clasificación:
3.0 / 5.0, idioma: English
Common mathematical and logical errors.
clasificación:
3.0 / 5.0, idioma: English
Resultados relacionados:
sitios similares a Dream.Dai.Ed.Ac.Uk
sitios similares a Cis.Upenn.Edu
sitios similares a Blog.Borud.No
sitios similares a Tandfonline
sitios similares a Bu.Edu
Indiana.Edu alternativas
Ucl.Ac.Uk alternativas
Shelah.Logic.At alternativas
Proofgeneral.Inf.Ed.Ac.Uk alternativas
Arxiv.Org alternativas
sitios similares a Cis.Upenn.Edu
sitios similares a Blog.Borud.No
sitios similares a Tandfonline
sitios similares a Bu.Edu
Indiana.Edu alternativas
Ucl.Ac.Uk alternativas
Shelah.Logic.At alternativas
Proofgeneral.Inf.Ed.Ac.Uk alternativas
Arxiv.Org alternativas