▼
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
 |
Maxima is a fairly complete computer algebra system written in lisp with an ... binaries for Windows and Linux are available at the SourceForge file manager. ...
similarity:
popularity:
math
software
mathematics
opensource
algebra
science
maxima
lisp
linux
tools
|
|
|
R, also called GNU S, is a strongly functional language and environment to statistically explore data sets, make many graphical displays of data from custom command ...
similarity:
popularity:
statistics
software
r
programming
opensource
math
tools
visualization
mathematics
science
|
 |
Contains freely available software, documents, and databases of interest to the numerical, scientific computing, and other communities.
similarity:
popularity:
programming
math
software
library
mathematics
algorithms
numerical
reference
science
research
|
|
|
It is similar to commercial systems such as MATLAB from Mathworks, and IDL from ... We are pleased to announce the release of FreeMat 4.0 . This version ...
similarity:
popularity:
math
software
matlab
opensource
mathematics
statistics
engineering
free
science
tools
|
 |
A series of challenging mathematical/computer programming problems that will require more than just mathematical insights to solve.
similarity:
popularity:
programming
math
puzzles
mathematics
algorithms
problems
education
puzzle
learning
science
|
|
|
http://scottaaronson.com/blog/?p=304 ...A few will chime in: "but if everyone just wrote out their proofs in computer-checkable form, there'd ...
similarity:
popularity:
math
mathematics
science
proof
interesting
logic
education
research
philosophy
writing
|
|
|
SpeQ is a small, extensive mathematics program with a simple, intuitive interface. All calculations are entered in a sheet. In there you can freely add, edit and ...
similarity:
popularity:
math
software
mathematics
freeware
science
free
windows
tools
maths
graphing
|
|
|
GAP system for computational discrete algebra, especially computational group theory ... GAP provides a programming language, a library of thousands of functions ...
similarity:
popularity:
math
algebra
software
mathematics
science
opensource
grouptheory
programming
gap
academic
|
 |
Sage is a free open source mathematics software system spanning a huge range of mathematics including algebra, calculus, combinatorics, number theory and graph theory.
similarity:
popularity:
math
software
opensource
mathematics
sage
python
free
science
programming
education
|
|
|
Within SciPy are modules for graphics and plotting, ... together with other subdomains of the scipy.org domain, serves as a portal for all ...
similarity:
popularity:
python
programming
science
math
software
library
tools
opensource
statistics
scipy
|
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.
