▼
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
|
|
No information avaiable
similarity:
popularity:
math
mathematics
opensource
software
algebra
programming
science
linux
freeware
cas
|
|
|
Collection of tools and information for scientific computation on Mac OS X including Fortran (g77, g95, HPF), MPI, OpenMP, Cactus, Globus, and RNPL among others.
similarity:
popularity:
mac
osx
programming
software
science
hpc
math
tools
fortran
apple
|
|
|
Homepage of GraphCalc - The ultimate windows graphing calculator software ... Also, there was an error in the calculation of variance and standard deviations. ...
similarity:
popularity:
math
software
calculator
opensource
windows
freeware
tools
science
mathematics
graphing
|
 |
GeoGebra - Dynamic Mathematics for Schools ... If you have questions or suggestions concerning GeoGebra, please visit the GeoGebra User Forum. ...
similarity:
popularity:
math
geometry
software
education
algebra
mathematics
opensource
free
tools
geogebra
|
|
|
No information avaiable
similarity:
popularity:
boolean
logic
programming
math
science
mathematics
wikipedia
education
search
tech
|
|
|
Main GNU ftp site: ftp://ftp.gnu.org/gnu/gsl ... If you want to give a url, use "http://www.gnu.org/software/gsl ... or suggestions to bug-gsl@gnu.org. ...
similarity:
popularity:
programming
math
library
c++
gnu
science
opensource
c
software
mathematics
|
|
|
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 ...
similarity:
popularity:
logic
math
visualization
mathematics
science
design
alphabet
reference
notation
typography
|
|
|
http://futureboy.us/frink/ for the world's most powerful pocket calculator! ... Frink calculation: http://futureboy.us/fsp/frink.fsp?fromVal=%s ...
similarity:
popularity:
programming
math
language
frink
java
software
mathematics
calculator
tools
conversion
|
|
|
Gateway to organizations and services related to applied mathematics, statistics, and computational science at the National Institute of Standards and Technology (NIST)
similarity:
popularity:
math
software
statistics
reference
nist
mathematics
science
java
programming
maths
|
 |
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
|
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.
