
SageMath
 Referenced in 2021 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 2762 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...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

DualSPHysics
 Referenced in 61 articles
[sw17653]
 DualSPHysics: Opensource parallel CFD solver based on smoothed particle hydrodynamics (SPH). DualSPHysics ... surface flow problems. DualSPHysics is an opensource code developed and released under the terms...

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

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

SU2
 Referenced in 54 articles
[sw19896]
 suite is an opensource collection of C++ based software tools for performing Partial Differential ... community, and is released under an opensource license...