▼
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
|
|
World Wide Web server for Julien Clinton Sprott, Professor of Physics at the University of Wisconsin - Madison
similarity:
popularity:
fractals
science
physics
mathematics
art
programming
graphics
research
nonlinear
interesting
|
|
|
A site for MVS and Linux systems programmers with industry news, tools, quotations, and job banks.
similarity:
popularity:
programming
linux
quotes
computers
software
c
unix
funny
reference
tools
|
|
|
No information avaiable
similarity:
popularity:
physics
simulation
software
math
fem
science
finite
numerical
fenics
analysis
|
|
|
email: kiki .a.t. kmonos.net. PGP-key: here. twitter: @kinaba. topcoder: ... vector. Interview by Mado-no-Mori. presented by k.inaba (kiki .a.t. kmonos.net) under ...
similarity:
popularity:
software
programming
windows
language
computer
stl
cpp
editor
library
free
|
|
|
Newmat C++ matrix library. documentation for my C++ libraries. bugs and ... oddments & oddities. Download page. for downloading my files. WWW www.robertnz.net ...
similarity:
popularity:
c++
programming
statistics
math
finance
software
library
code
consulting
rng
|
|
|
scienceoss.com. useful tidbits for using open source software in science. Home ... scienceoss.com is proudly powered by WordPress. Entries (RSS) and Comments (RSS) ...
similarity:
popularity:
python
science
opensource
r
software
matplotlib
ipython
bioinformatics
blog
tools
|
|
|
software.jessies.org. Evergreen. salma-hayek. SCM. Terminator. Last modified 2007-06-23 05:05:32 +0100 ...
similarity:
popularity:
java
opensource
software
tools
programming
ruby
editor
scm
|
|
|
No information avaiable
similarity:
popularity:
software
opensource
mysql
tools
sql
bi
businessintelligence
data
modeling
programming
|
|
|
Custom Software and Database Developers for Microsoft .NET and SQL Server Programming Solutions - Rad Software ... A Sydney based software development company ...
similarity:
popularity:
tools
.net
regex
programming
database
software
vbnet
regular
ide
web
|
|
|
You may be interested in our amazing software (written by Dmitrey) that is completely ... Retrieved from "http://openopt.org/Welcome" Views. Page. Discussion. View source. History ...
similarity:
popularity:
python
optimization
math
software
library
programming
numpy
|
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.
