• SageMath

  • Referenced in 1598 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 1423 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 708 articles [sw03455]
  • Spin is a popular open-source software tool, used by thousands of people worldwide, that...
  • MiniSat

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

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

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

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

  • Referenced in 97 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...
  • ParaView

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

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

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

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

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

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

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

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

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

  • Referenced in 64 articles [sw05107]
  • Active Set Strategy. qpOASES is an open-source C++ implementation of the recently proposed online...
  • COCONUT

  • Referenced in 38 articles [sw04760]
  • continuous global optimization problems with an open-source kernel, which can be expanded by commercial ... open-source 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 open-source C++ classes protected by the LGPL...
  • Couenne

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