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
|
Mathematical Equations - EqWorld
The EqWorld website presents extensive information on ordinary differential, partial differential, integral, functional, and other mathematical equations.
similarity:
popularity:
math
reference
mathematics
equations
science
education
equation
physics
maths
tutorial
|
Bill the Lizard: Six Visual Proofs
No information avaiable
similarity:
popularity:
math
visualization
geometry
mathematics
visual
proof
education
proofs
maths
logic
|
Dimensions
Français. English. Nederlands. Русский. Elija su idioma: Español. Escolha seu idioma : Português. 言語を選んでください : 日本語. 选择语言:简体中文. اختاروا لغـتكم : العربية ...
similarity:
popularity:
math
video
visualization
mathematics
science
dimensions
geometry
education
tutorial
3d
|
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 Institute For Figuring -
The Institute's interests are twofold: the manifestation of ... Los Angeles CA 90050. Contacting the IFF. www.theiff.org © 2009 The Institute for Figuring ...
similarity:
popularity:
art
science
design
geometry
math
mathematics
visualization
research
patterns
technology
|
Clay Mathematics Institute
Private nonprofit foundation dedicated to increasing and disseminating ... to Jim Carlson, managing editor, through Vida Salahi (salahi at claymath dot org) ...
similarity:
popularity:
math
mathematics
research
institute
education
science
reference
clay
organization
maths
|
Isabelle
... in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and ...
similarity:
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
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
|
Algebraic Surfaces Gallery
x3y+xz3+y3z+z3+7z2+5z=0. Cube. x6+y6+z6=1. Dattel. 3x2+3y2+z2=1. Daisy (x2 ... x3y+xz3+y3z+z3+5z = 0. Eistüte (x2+y2)3 = 4x2y2(z2+1) Eve. 5x2 + 2xz2 + 5y6 + 15y4 + 5z2 ...
similarity:
popularity:
math
graphics
3d
mathematics
design
programming
interesting
education
visualization
algebra
|
Mathematics Archives WWW Server
Educational resources and an organized collection of links.
similarity:
popularity:
math
mathematics
education
reference
resources
archive
maths
links
science
teaching
|