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
|
Math Journals
No information avaiable
similarity:
popularity:
math
mathjournal
journal
mathjournals
teaching
journaling
mathematics
maths
education
journals
|
Phillips Exeter Academy | Teaching Materials
To read or print the problem sets below, you must install the Adobe Acrobat ... To learn more about how students learn mathematics at Exeter, and why they like ...
similarity:
popularity:
math
curriculum
geometry
algebra
calculus
learning
mathematics
problems
statistics
teaching
|
Gallery of Famous Surfaces
No information avaiable
similarity:
popularity:
geometry
surface
math
surfaces
3d
mathematics
topology
graphics
gallery
reference
|
TI-89 Emulator
It can emulate any model TI graphing calculator. Currently, it will ... Select Open or Run when prompted. Extract the file to your Desktop (or your desired ...
similarity:
popularity:
calculator
math
emulator
software
mathematics
ti89
technology
graphingcalculator
cff
science
|
Tanya Khovanova’s Math Blog
No information avaiable
similarity:
popularity:
blog
math
mathematics
puzzles
programming
puzzle
blogs
humor
probability
statistics
|
NEOS
No information avaiable
similarity:
popularity:
optimization
math
reference
programming
wiki
software
linear
code
neos
theory
|
Wiki Woman: How a Web Tool Saved My Career | Edutopia
No information avaiable
similarity:
popularity:
wiki
web2.0
teaching
collaboration
wikis
edutopia
technology
articles
education
pd
|
Adding Bricks
No information avaiable
similarity:
popularity:
math
addition
games
mathematics
free
maths
education
kids
bricks
kindergarten
|
Help:Displaying a formula - Wikipedia, the free encyclopedia
For the WikiProject on mathematics, see Wikipedia:WikiProject Mathematics. ... In the future, as more browsers become smarter, it will be able to generate ...
similarity:
popularity:
latex
math
wikipedia
reference
formula
tex
html
symbol
wiki
text
|
Linear feedback shift register - Wikipedia, the free encyclopedia
No information avaiable
similarity:
popularity:
lfsr
math
algorithm
random
electronics
programming
crypto
wikipedia
mathematics
wiki
|