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
|
Welcome to the On-Line Encyclopedia of Integer Sequences
Welcome to The On-Line Encyclopedia of Integer Sequences™ (OEIS™ ... Recent additions (possibly a large file). Index to fractions. Works citing OEIS. OEIS: ...
similarity:
popularity:
math
reference
sequences
mathematics
science
sequence
encyclopedia
integer
database
search
|
The Math Forum - Ask Dr. Math
The Internet's premier ask-an-expert math help service. ...
similarity:
popularity:
math
mathematics
reference
education
learning
maths
tutorial
school
resources
help
|
Mathematics Archives WWW Server
Educational resources and an organized collection of links.
similarity:
popularity:
math
mathematics
education
reference
resources
archive
maths
links
science
teaching
|
Springer Online Reference Works
The Online Encyclopaedia of Mathematics is the most up-to-date and comprehensive ... Copyright © 2002 Springer-Verlag Berlin Heidelberg New York. ISBN 1-4020-0609-8 ...
similarity:
popularity:
reference
math
mathematics
encyclopedia
science
online
resources
maths
statistics
education
|
WebMath - Solve Your Math Problem
Solves math problems online with step-by-step solutions.
similarity:
popularity:
math
education
mathematics
reference
tools
homework
help
learning
algebra
resources
|
Math.com - World of Math Online
Provides students with homework help, tutoring, and basic formulas. Also offers information on math for parents and teachers.
similarity:
popularity:
math
education
mathematics
resources
reference
learning
algebra
maths
school
geometry
|
ScienceWorld
Comprehensive online encyclopedias of astronomy, math, physics, scientific biographies, and scientific books, with many equations and formulas.
similarity:
popularity:
science
reference
physics
chemistry
math
education
encyclopedia
astronomy
mathematics
research
|
The Math Forum @ Drexel University
A center for teachers, students, researchers, parents, educators, and citizens at all levels who have an interest in mathematics education.
similarity:
popularity:
math
education
mathematics
resources
reference
forum
teaching
learning
maths
tools
|
EpisteMath峿硥硛墋
EpisteMath Homepage ... 〈 教改怎麼辦?(下)〉或 王九逵〈集合論與數學教育〉. 最近項武義教授又撰成《基礎數學講義》三篇:〈基礎代數學〉、〈基礎幾何學〉與〈基礎分析學〉,其內容與一般教科書的取材和撰寫方式,頗有不同,強調由基本思考 著手,並深入掌握其主題,頗適合對數學有興趣的高中與大學生閱讀。 ...
similarity:
popularity:
math
mathematics
硥硛
maths
science
study
tutorial
learning
灥晛
reference
|
Mathematical Association of America: MAA Online
MAA ONLINE--Online newsletter and web site of the Mathematical Association ... Send them, along with a brief description, to editor@maa.org. FOUND MATH GALLERY ...
similarity:
popularity:
math
mathematics
education
reference
organization
association
learning
resources
maths
professional
|