▼
Advanced Options
?
Sort by:
popularity
similarity
?
Must Include:
?
Cannot Include:
?
Look For
▼
Sponsored Links
You're looking for other sites like Tum In 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 ...
http://isabelle.in.tum.de/
popularity:
logic
proof
software
mathematics
theorem
programming
science
math
prover
tools
|
new
search by a custom tag signature
|
|
Welcome to the Alloy community website! This site is intended as a ... If you are a new user to Alloy, please browse the Tutorial and the main Alloy Analyzer ...
similarity:
popularity:
programming
software
design
modeling
verification
logic
model
testing
tools
development
|
|
|
Create a personal Equation Sheet from a large database of science and math ... Online Education. terms of service | contact us © 2009 EquationSheet.com ...
similarity:
popularity:
math
reference
equations
mathematics
science
physics
tools
education
maths
cheatsheet
|
 |
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
|
|
|
No information avaiable
similarity:
popularity:
c++
math
programming
mathematics
algebra
cas
software
library
symbolic
science
|
 |
Free automated service which provides solutions to all sorts of common mathematical problems within a couple of seconds.
similarity:
popularity:
math
mathematics
calculator
tools
reference
software
web
algebra
education
online
|
|
|
No information avaiable
similarity:
popularity:
math
sage
software
mathematics
python
opensource
online
web
tools
science
|
|
|
Home of webthing. Javascript world clock, unit converter and financial calculator.
similarity:
popularity:
programming
science
software
tools
freeware
linux
philosophy
java
geek
ruby
|
|
|
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
|
 |
Interative Open Source Numerical Library of C/C++ functions for Engineering, ... http://www.codecogs.com /d-ox/stats/dists/d ... Latest Reference Comments. Sun Jan 11 ...
similarity:
popularity:
programming
c++
library
math
opensource
code
c
mathematics
software
science
|
|
|
Welcome to Fourmilab Switzerland. Last update: 5 July 2009 ... Back links to this site are welcome. Search Fourmilab. Search WWW ...
similarity:
popularity:
science
programming
astronomy
reference
software
people
autodesk
technology
blog
tools
|
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.
