finds you similar websites
auto-suggest    top sites

Apr 27th, 2025

13 Popular Sites Like http://us.metamath.org/mp...

Our technology has searched the net and spotted tons of quality mathematics and math sites like this one. Come by and discover additional sites that are related to this one.

Displaying 31 to 40 of 500 alternatives to http://us.metamath.org/mpegif/mmset.... (Updated: Apr 27th, 2025)     [about these results]
Advanced Options
? Sort by:
popularity similarity
? Must Include:
? Cannot Include:
? Look For


Sponsored Links
 
You're looking for other sites like :
  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 ...
http://us.metamath.org/mpegif/mmset.html
popularity:
mathematics
math
logic
education
reference
proofs
science
proof
theorem
maths
new search by a custom tag signature
  DC Proof Online
No information avaiable
similarity:
popularity:
logic
mathematics
math
proof
software
maths
teaching
learning
proofs
  TheMathPage: Arithmetic. Algebra. Trigonometry. Precalculus.
A complete course in arithmetic. A complete course is algebra. ... A complete course. TheMathPage depends on donations. Please help keep us online. ...
similarity:
popularity:
math
education
mathematics
algebra
tutorial
reference
trigonometry
maths
calculus
learning
  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
  Mathwords
Mathwords home page ... www.mathwords.com. about mathwords. website feedback. Mathwords: Terms and Formulas ... dictionary with enough math words, math terms, ...
similarity:
popularity:
math
dictionary
reference
mathematics
vocabulary
education
tools
resources
maths
algebra
  This Is Mega-Mathematics!
Collection of classroom lessons in mathematics and computer science from Los Alamos National Laboratory.
similarity:
popularity:
math
mathematics
education
games
science
interactive
algorithms
maths
puzzles
homeschool
  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
  Mathway: Step-by-Step Math Problem Solver
Free math calculator answers your basic math, algebra, trigonometry, and calculus homework problems.
similarity:
popularity:
math
tools
mathematics
education
solver
web2.0
tutorial
tutorials
tool
reference
  DLMF: NIST Digital Library of Mathematical Functions
This mockup gives an idea of the current ideas about the design and organization of the new Digital Library; these ... publisher for the DLMF handbook version. ...
similarity:
popularity:
math
reference
mathematics
science
functions
library
research
database
algorithms
software
  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
  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
< prev ... 1 2 3 4 5 6 ... 50 next >
Sorting Results
  • This slider determines how the matched sites are sorted.
  • If you want to see the most popular sites that are somewhat related to your search, slide this more towards "popularity."
  • If you want to see the sites that best matched your search, regardless of popularity, slide this towards "similarity."
Must Include Tags
  • Matched sites will not be shown unless they have all of the tags on this list.
  • This feature is useful for when you require a site to have been tagged as something.
  • To add a tag to this list, click "add tag" or click on any tag in a result.
Must Not Include Tags
  • Matched sites that have any tag on this list will not be shown.
  • This feature is useful for filtering out results that have tags you are absolutely not interested in.
  • To add a tag to this list, click "add tag" or click on any tag in a result.
Types of Results
  • This option lets you specify the types of sites to show.
  • If you want to only see domains (www..com), select "domains only."
  • If you want to only see articles (www..com/something/here), select "articles only."
  • If you don't care, or care so much about both, select "Both".
About The Results
an example search result
How moreofit Searches
Each website has a unique tag signature -- a set of words that users have described the website as. Moreofit searches for websites that have similar tag signatures and displays the results.
1: Similarity
A site's "similarity" is determined by how well its tag signature matches the tag signature that is being searched for. A 100% match means that it has the exact same tags in the exact same order, while a 0% match means it has no tags in common.
2: Popularity
The popularity of a website is, well, pretty much self explanatory.
3: Tag Signature
The tag signatures show how a site is described. The deeper the color of the tag, the more frequently the website is tagged as this. Tags underlined blue denote a tag that is in common with the search's tag signature.