类似的网站 Mizar.Org
Mizar Home Page
描述: An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.
热门搜索: mizar
网站评级:
3.0 / 5.0, 审阅 Sites Like Search
语: English
网站主题: math
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier ...
网站评级:
3.0 / 5.0, 语: English
Selection of online brainteaser and math puzzles. Includes difficulty ratings.
网站评级:
3.0 / 5.0, 语: English
University of Waterloo - Universal algebra, logic, computers.
网站评级:
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
Official Afro Celt Sound System Fan Website
网站评级:
3.0 / 5.0, 语: English