• SageMath

  • Referenced in 1743 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 1905 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...
  • SPIN

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 71 articles [sw07384]
  • Bayes Net Toolbox (BNT) is an open-source Matlab package for directed graphical models...
  • Couenne

  • Referenced in 67 articles [sw04347]
  • case. Motivated by the demand for open-source solvers for real-world MINLP problems...