• SageMath

  • Referenced in 2021 articles [sw00825]
  • Sage (SageMath) is free, open-source 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, open-source 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 open-source software projects.[6] As of April...
  • SciPy

  • Referenced in 788 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software for mathematics, science, and engineering...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool, used by thousands of people worldwide, that...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • solver. MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers...
  • gss

  • Referenced in 317 articles [sw06099]
  • book are implemented in R, an open-source clone of the popular S/S- PLUS language...
  • ParaView

  • Referenced in 231 articles [sw06128]
  • ParaView is an open-source, multi-platform data analysis and visualization application. ParaView users...
  • Bonmin

  • Referenced in 214 articles [sw04766]
  • ongoing and ambitious project within an open-source environment. COIN-OR is our chosen environment...
  • COIN-OR

  • Referenced in 105 articles [sw04615]
  • initiative to spur the development of open-source 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 open-source development have been remarkable. Community-based efforts ... develop software under open-source licenses have produced high-quality, high-performance code---code...
  • copula

  • Referenced in 151 articles [sw07944]
  • applied in many fields. A good open-source implementation of copulas is much needed...
  • MySQL

  • Referenced in 132 articles [sw15936]
  • MySQL is an open-source relational database management system (RDBMS...
  • JuMP

  • Referenced in 126 articles [sw16108]
  • Mathematical Optimization. JuMP is an open-source modeling language that allows users to express...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems...
  • VTK

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

  • Referenced in 105 articles [sw23927]
  • conformal bootstrap. We introduce SDPB: an open-source, parallelized, arbitrary-precision semidefinite program solver, designed...
  • Jupyter

  • Referenced in 99 articles [sw21266]
  • Jupyter Notebook is an open-source web application that allows you to create and share...
  • DualSPHysics

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

  • Referenced in 81 articles [sw07459]
  • semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation framework...
  • OpenBUGS

  • Referenced in 81 articles [sw08316]
  • site is dedicated to OpenBUGS, an open-source version of the package, on which...
  • SU2

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