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
|
Algebra -- from Wolfram MathWorld
No information avaiable
similarity:
popularity:
math
algebra
mathematics
maths
reference
mathworld
resource
study
education
matematicas
|
Pauls Online Math Notes
... notes and/or tutorials for classes that I teach at Lamar University. ... Calculus I (Math 2413) - Topics included in this set of notes/tutorial are : ...
similarity:
popularity:
math
reference
mathematics
tutorial
calculus
algebra
education
notes
tutorials
learning
|
Math Overflow
An advanced exposition of Galois theory. galois-theory ac.commutative-algebra reference ... 28m ago marwalix 1. 1. vote. 1. answer. 21. views. Connections between a polytope's symmetry ...
similarity:
popularity:
math
mathematics
forum
community
learning
reference
tools
statistics
algebra
research
|
Rader's NUMBERNUT.COM
NumberNut.com! The web site that teaches the basics of math to everyone! ... Read the TERMS & CONDITIONS and PRIVACY POLICY for use of NumberNut.com. ...
similarity:
popularity:
math
education
games
mathematics
interactive
numbers
learning
tools
reference
maths
|
Plus Magazine
Articles explaining the diverse applications of mathematics within physics, chemistry, biology, engineering, and economics, plus stories about new developments in mathematics and interviews with mathematicians.
similarity:
popularity:
math
mathematics
magazine
science
education
maths
magazines
fun
learning
resources
|
Art of Problem Solving
You've come to the right place! Read Books specifically designed for high-performing math ... Take Online Classes bringing together thousands of top students to work with ...
similarity:
popularity:
math
mathematics
problemsolving
education
reference
problem
solving
learning
problems
resources
|
Phi: 1.618. The 'phinest' source to the golden section, golden mean, divine proportion, Fibonacci series and phi, 1.618. Explore its application to art, design, life, beauty, mathematics, geometry, stock markets, theology, cosmology and more.
The best information on the Golden Section, Divine Proportion, Fibonacci series and phi. Explore its application to art, design, life, beauty, mathematics, geometry, ...
similarity:
popularity:
phi
math
mathematics
design
science
golden
art
reference
fibonacci
maths
|
Plus Magazine
Plus magazine opens a door to the world of maths, with all its beauty and ... You can read the latest mathematical news on the site every week, browse our ...
similarity:
popularity:
math
mathematics
magazine
science
education
maths
magazines
fun
learning
resources
|
MR: Search Publications database
MathSciNet www.ams.org/mathscinet. Guiding you through the. literature of mathematics ... MathSciNet www.ams.org/mathscinet. on the MathSciNet toolbar is a ...
similarity:
popularity:
math
mathematics
research
search
reference
database
papers
science
ams
library
|
Poincaré conjecture - Wikipedia, the free encyclopedia
No information avaiable
similarity:
popularity:
math
mathematics
poincare
wikipedia
science
conjecture
topology
maths
wiki
physics
|