Сайты, похожие на Qedeq.Org
Hilbert II - Introduction
Описание: 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 ...
Популярные поисковые запросы: qedeq
Рейтинг:
3.0 / 5.0, Sites Like Search
Язык: English
: math
An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
Рейтинг:
3.0 / 5.0, Язык: English
University of Waterloo - Universal algebra, logic, computers.
Рейтинг:
3.0 / 5.0, Язык: English
New York, NY
Рейтинг:
3.0 / 5.0, Язык: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
Рейтинг:
3.0 / 5.0, Язык: English
The Department of Computer Science, is one of the largest and most diverse department within the University of Auckland, New Zealand.
Рейтинг:
3.0 / 5.0, Язык: English
Technical University of Dresden, Germany.
Рейтинг:
3.0 / 5.0, Язык: English
Classification of problems related to equal sums of like powers.
Рейтинг:
3.0 / 5.0, Язык: English
Common mathematical and logical errors.
Рейтинг:
3.0 / 5.0, Язык: English
сайты похожие на
сайты похожие на Dream.Dai.Ed.Ac.Uk
сайты похожие на Cis.Upenn.Edu
сайты похожие на Blog.Borud.No
сайты похожие на Tandfonline
сайты похожие на Bu.Edu
Indiana.Edu альтернатива
Ucl.Ac.Uk альтернатива
Shelah.Logic.At альтернатива
Proofgeneral.Inf.Ed.Ac.Uk альтернатива
Arxiv.Org альтернатива
сайты похожие на Cis.Upenn.Edu
сайты похожие на Blog.Borud.No
сайты похожие на Tandfonline
сайты похожие на Bu.Edu
Indiana.Edu альтернатива
Ucl.Ac.Uk альтернатива
Shelah.Logic.At альтернатива
Proofgeneral.Inf.Ed.Ac.Uk альтернатива
Arxiv.Org альтернатива