MiniSat Page
No information avaiable
http://www.minisat.se/
popularity:
sat
logic
library
solver
optimization
algorithms
math
software
minisat
research
|
Convex Optimization – Boyd and Vandenberghe
Source code for almost all examples and figures in part 2 of the book ... Source code for examples in Chapters 9, 10, and 11 can be found here. Instructors can ...
similarity:
popularity:
optimization
math
book
books
algorithms
mathematics
research
programming
convex
free
|
Automatically Tuned Linear Algebra Software (ATLAS)
[SourceForge ... At present, it provides C and Fortran77 interfaces to a ... If you download the software, it is critically important that you check the ...
similarity:
popularity:
math
library
programming
software
linear-algebra
numerical
fortran
mathematics
linux
optimization
|
Metamath Home Page
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. ...
similarity:
popularity:
math
mathematics
logic
proof
software
reference
theory
proofs
science
education
|
MOSEK ApS optimization software. The choice when reliability, speed, and support are important.
No information avaiable
similarity:
popularity:
optimization
software
math
linear
java
programming
matlab
library
mosek
toolbox
|
Questia - The Online Library of Books and Journals
The Worlds Largest Online Library. Access the best in academic resources like ... How to Write a Research Paper. How Questia Works. Free Newsletter ...
similarity:
popularity:
research
library
books
reference
education
online
journals
search
ebooks
resources
|
Free logic books « Words and Other Things
No information avaiable
similarity:
popularity:
logic
books
free
math
book
ebooks
mathematics
programming
reference
algorithms
|
arXiv.org e-Print archive
Automated collection of research articles on physics, mathematics, nonlinear sciences, computer science, and quantitative biology. Hosted by Cornell University, Ithaca.
similarity:
popularity:
science
research
papers
physics
reference
library
mathematics
math
archive
education
|
The Coq proof assistant
No information avaiable
similarity:
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
mekentosj.com | Introducing Papers... Your personal library of science
Papers - your personal library of research. Our award-winning application that helps scientists and researchers on the Mac to manage their research articles. ...
similarity:
popularity:
software
mac
research
pdf
osx
papers
science
library
reference
tools
|
GSL - GNU Scientific Library - GNU Project - Free Software Foundation (FSF)
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
|