vdash: a wiki of formalized mathematics
vdash is a wiki of formalized mathematical proofs, checked by computer but editable by anyone. ... is vdash? What is Formal Math? Why Use a Wiki? vdash Roadmap ...
http://www.vdash.org/
popularity:
math
wiki
mathematics
logic
science
reference
ai
verification
singularity
web2.0
|
From Stargazers to Starships
No information avaiable
similarity:
popularity:
astronomy
physics
science
space
resources
math
reference
highschool
mathematics
tutorials
|
Society for Mathematical Biology Home Page
No information avaiable
similarity:
popularity:
biology
biomath
science
math
mathematicalbiology
mathematics
organization
mathbio
genomics
mathematical_biology
|
How to Teach with Technology: Science and Math | Edutopia
No information avaiable
similarity:
popularity:
technology
math
science
edutopia
education
teaching
curriculum:math
web2.0
reading
curriculum:science
|
LINKS Learning
No information avaiable
similarity:
popularity:
math
interactive
learning
reading
education
kids
science
teaching
games
online
|
Math for Careers - How Math is used on the Job
No information avaiable
similarity:
popularity:
math
careers
lessons
jobs
resources
economics
mathematics
curriculum
research
video
|
TiddlyWiki - Trac
TiddlyWiki is a free browser-based, reusable, non-linear personal notebook. ... TiddlyWiki.org is a community effort, so active participation and contributions are very ...
similarity:
popularity:
tiddlywiki
wiki
tools
gtd
documentation
reference
web2.0
|
Wikisource
No information avaiable
similarity:
popularity:
wiki
reference
books
library
literature
ebooks
wikis
education
opensource
research
|
How To Create A Wiki
No information avaiable
similarity:
popularity:
wiki
howto
wikis
elearning
web2.0
tutorial
|
首页 - ITwiki it百科
取自"http://wiki.ccw.com.cn/%E9%A6%96%E9%A1%B5" Views. 条目. 讨论. 查看源代码. 页面历史. Personal tools ... 搜索 浏览器 信息安全 钓鱼 VoIP Blog Wiki 内容过滤 BitTorrent 社区 BBS VPN IPTV WLAN ...
similarity:
popularity:
wiki
it
百科
web2.0
search
|
Zoho Wiki
Zoho Wiki is Free Hosted Wiki with WYSIWYG Editor, Access Control, Versioning, ... Zoho Wiki is an intuitive, user friendly tool that allows you to build a website ...
similarity:
popularity:
wiki
zoho
web2.0
collaboration
free
|