|
No information avaiable
http://en.wikipedia.org/wiki/Boolean_logic
popularity:
boolean
logic
programming
math
science
mathematics
wikipedia
education
search
tech
|
![]() |
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
|
![]() |
A series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve.
similarity:
popularity:
programming
math
puzzles
mathematics
algorithms
problems
education
puzzle
learning
science
|
![]() |
I've been working for the past 15 months on repairing my rusty math skills, ever ... I've read a huge stack of math books, and I have an even bigger stack ...
similarity:
popularity:
math
programming
mathematics
learning
education
blog
toread
maths
article
development
|
![]() |
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
|
|
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
|
|
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
|
![]() |
Sage is a free open source mathematics software system spanning a huge range of mathematics including algebra, calculus, combinatorics, number theory and graph theory.
similarity:
popularity:
math
software
python
opensource
mathematics
programming
tools
science
sage
education
|
![]() |
Creators of the Mathematica series of software titles.
similarity:
popularity:
software
math
mathematics
science
mathematica
wolfram
research
education
reference
tools
|
|
No information avaiable
similarity:
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
|
... 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
|