MiniSat Page
No information avaiable
http://www.minisat.se/
popularity:
sat
logic
library
solver
optimization
algorithms
math
software
minisat
research
|
Decision Tree for Optimization Software
No information avaiable
similarity:
popularity:
optimization
software
algorithms
math
mathematics
statistics
code
ai
research
library
|
The Netlib
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
|
GLPK - GNU Project - Free Software Foundation (FSF)
No information avaiable
similarity:
popularity:
optimization
math
programming
software
linear-programming
library
research
opensource
lp
mathematics
|
Computational Infrastructure for Operations Research Home Page
A repository of source code, models, data and examples available under open-source licenses. ... General questions for COIN-OR should be directed to info@coin-or.org. ...
similarity:
popularity:
optimization
programming
opensource
software
research
math
operationsresearch
mathematics
or
library
|
DLMF: NIST Digital Library of Mathematical Functions
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
|
Welcome to Gurobi Optimization
High-end libraries for math programming. Fastest performance for MILP, ... Learn how easy it is to migrate. your optimization models to Gurobi. View presentation ...
similarity:
popularity:
optimization
lp
software
solver
math
gurobi
research
python
mip
ilp
|
CGAL - Computational Geometry Algorithms Library
A collaborative effort to develop a robust, easy to use, and efficient C++ software library of geometric data structures and algorithms.
similarity:
popularity:
geometry
library
programming
algorithms
c++
math
graphics
software
opensource
algorithm
|
The Official SAT Question of the Day
No information avaiable
similarity:
popularity:
sat
school
college
education
science
math
resources
library
learning
study
|
Wolfram Research: Mathematica, Technical and Scientific Software
Creators of the Mathematica series of software titles.
similarity:
popularity:
software
math
mathematics
science
mathematica
wolfram
research
education
reference
tools
|
SAT prep - Prepare for the SAT - majortests.com
Prepare for the SAT. Over 50 free SAT practice tests and information to help your boost your SAT score.
similarity:
popularity:
sat
prep
math
vocabulary
reference
grammar
education
test
practice
tests
|