
SageMath
 Referenced in 1598 articles
[sw00825]
 Sage (SageMath) is free, opensource math software that supports research and teaching in algebra ... distinguished by an extremely strong emphasis on openness, community, cooperation, and collaboration: we are building ... create a viable, free, opensource alternative to Maple, Mathematica, Magma, and MATLAB. Computer algebra...

GitHub
 Referenced in 1423 articles
[sw23170]
 distributed version control and source code management (SCM) functionality of Git as well as adding ... which are commonly used to host opensource software projects.[6] As of April...

SPIN
 Referenced in 708 articles
[sw03455]
 Spin is a popular opensource software tool, used by thousands of people worldwide, that...

MiniSat
 Referenced in 528 articles
[sw00577]
 solver. MiniSat is a minimalistic, opensource SAT solver, developed to help researchers and developers...

SciPy
 Referenced in 476 articles
[sw06293]
 SciPy (pronounced ”Sigh Pie”) is opensource software for mathematics, science, and engineering...

gss
 Referenced in 268 articles
[sw06099]
 book are implemented in R, an opensource clone of the popular S/S PLUS language...

Bonmin
 Referenced in 183 articles
[sw04766]
 ongoing and ambitious project within an opensource environment. COINOR is our chosen environment...

COINOR
 Referenced in 97 articles
[sw04615]
 initiative to spur the development of opensource software for the operations research community ... Open Source Initiative explains it well. When people can read, redistribute, and modify the source ... people fix bugs. The results of opensource development have been remarkable. Communitybased efforts ... develop software under opensource licenses have produced highquality, highperformance codecode...

ParaView
 Referenced in 154 articles
[sw06128]
 ParaView is an opensource, multiplatform data analysis and visualization application. ParaView users...

MySQL
 Referenced in 124 articles
[sw15936]
 MySQL is an opensource relational database management system (RDBMS...

copula
 Referenced in 112 articles
[sw07944]
 applied in many ﬁelds. A good opensource implementation of copulas is much needed...

CVC4
 Referenced in 103 articles
[sw09485]
 CVC4 is an efficient opensource automatic theorem prover for satisfiability modulo theories (SMT) problems...

VTK
 Referenced in 98 articles
[sw10593]
 Visualization Toolkit (VTK) is an opensource, freely available software system for 3D computer graphics...

SDPB
 Referenced in 87 articles
[sw23927]
 conformal bootstrap. We introduce SDPB: an opensource, parallelized, arbitraryprecision semidefinite program solver, designed...

Ptolemy
 Referenced in 77 articles
[sw07459]
 semantics for Ptolemy. Ptolemy is an opensource and extensible modelling and simulation framework...

BNT
 Referenced in 69 articles
[sw07384]
 Bayes Net Toolbox (BNT) is an opensource Matlab package for directed graphical models...

OpenBUGS
 Referenced in 69 articles
[sw08316]
 site is dedicated to OpenBUGS, an opensource version of the package, on which...

qpOASES
 Referenced in 64 articles
[sw05107]
 Active Set Strategy. qpOASES is an opensource C++ implementation of the recently proposed online...

COCONUT
 Referenced in 38 articles
[sw04760]
 continuous global optimization problems with an opensource kernel, which can be expanded by commercial ... opensource solver components (inference engines). The first test version of the environment was provided ... Austrian Science Foundation. The full source of the current development version including the solvers ... representation. It is a collection of opensource C++ classes protected by the LGPL...

Couenne
 Referenced in 62 articles
[sw04347]
 case. Motivated by the demand for opensource solvers for realworld MINLP problems...