Logic Alphabet Home Page
But they are also fundamental in symbolic logic and, more specifically, in what ... The X-Stem Logic Alphabet (XLA) was devised and is actively being developed by ...
http://www.logic-alphabet.net/
popularity:
logic
math
visualization
mathematics
science
design
alphabet
reference
notation
typography
|
Proof Explorer - Home Page - Metamath
The aleph zero above is the symbol for the first infinite cardinal ... Appendix 5: How to Find Out What Axioms a Proof Depends On. Appendix 6: Notation for ...
similarity:
popularity:
mathematics
math
logic
education
reference
proofs
science
proof
theorem
maths
|
Metamath Home Page
wget -nH --mirror "http://us.metamath.org/index.html" If you would like to set up a mirror site for public access, read the instructions in mirror.txt. ...
similarity:
popularity:
math
mathematics
logic
proof
software
reference
theory
proofs
science
education
|
MathWorld: The Web's Most Extensive Mathematics Resource
Comprehensive and interactive encyclopedia of mathematical equations, terms, derivations, and more, for students, educators, math enthusiasts, and researchers.
similarity:
popularity:
math
mathematics
reference
education
science
maths
wolfram
resources
research
statistics
|
NumberSpiral.com - Home
This site is devoted to the number spiral, a type of graph that reveals the distribution of primes and other properties of integers.
similarity:
popularity:
math
mathematics
numbers
visualization
science
primes
cool
interesting
fun
spiral
|
Modal Logic (Stanford Encyclopedia of Philosophy)
No information avaiable
similarity:
popularity:
logic
philosophy
reference
modallogic
modal-logic
language
math
encyclopedia
science
mathematics
|
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 ...
similarity:
popularity:
math
wiki
mathematics
logic
science
reference
ai
verification
singularity
web2.0
|
The Wolfram Demonstrations Project
An expanding collection of freely available, interactive Demonstrations in math, science, and many other areas--at all levels from elementary education to front-line ...
similarity:
popularity:
math
visualization
science
education
mathematics
graphics
physics
software
mathematica
wolfram
|
Mathematical Atlas: A gateway to Mathematics
Collection of short articles designed to provide an introduction to the areas of modern mathematics and pointers ... with the URL http://www.math-atlas.org/welcome.html ...
similarity:
popularity:
math
mathematics
reference
education
science
maths
tutorial
learning
atlas
resources
|
PlanetMath
A collaborative encyclopaedia with entries contributed under the GNU Free ... Top starting points: PlanetMath Overview - High School Mathematics - Calculus ...
similarity:
popularity:
math
mathematics
reference
wiki
encyclopedia
science
education
maths
community
learning
|
The Wolfram Functions Site
Encyclopedic collection of information about mathematical functions serving as a resource for the educational, mathematical, and scientific communities.
similarity:
popularity:
math
mathematics
reference
functions
mathematica
science
wolfram
maths
visualization
education
|