
SageMath
 Referenced in 1743 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 1905 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 716 articles
[sw03455]
 Spin is a popular opensource software tool, used by thousands of people worldwide, that...

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

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

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

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

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

COINOR
 Referenced in 99 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...

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

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

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

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

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

JuMP
 Referenced in 91 articles
[sw16108]
 Mathematical Optimization. JuMP is an opensource modeling language that allows users to express...

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

Jupyter
 Referenced in 75 articles
[sw21266]
 Jupyter Notebook is an opensource web application that allows you to create and share...

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

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

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