▼
Advanced Options
?
Sort by:
popularity
similarity
?
Must Include:
?
Cannot Include:
?
Look For
▼
Sponsored Links
You're looking for other sites like Metamath Us:
|
|
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. ...
http://us.metamath.org/
popularity:
math
mathematics
logic
proof
software
reference
theory
proofs
science
education
|
new
search by a custom tag signature
|
|
NumberNut.com! The web site that teaches the basics of math to everyone! ... Read the TERMS & CONDITIONS and PRIVACY POLICY for use of NumberNut.com. ...
similarity:
popularity:
math
education
games
mathematics
interactive
numbers
learning
tools
reference
maths
|
 |
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
|
|
|
... 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
|
 |
... 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
|
|
|
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
|
 |
Offers homework guidelines, links, modules, and a math study skills self-survey.
similarity:
popularity:
math
algebra
education
mathematics
tutorial
resources
reference
tutorials
school
lessons
|
|
|
Founded in 1888 to further mathematical research and scholarship.
similarity:
popularity:
math
mathematics
science
research
education
organization
society
ams
academic
maths
|
|
|
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 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
|
|
|
Interactive mathematics miscellany and puzzles.
similarity:
popularity:
math
puzzles
mathematics
games
education
interactive
fun
maths
puzzle
reference
|
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.
