• TILT

  • Referenced in 1 article [sw24052]
  • natural deduction calculus. Since the search space for the proof search is still very large ... been demonstrated on the theorem prover TILT. It was able to solve smaller program synthesis...
  • GAP

  • Referenced in 3164 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Macaulay2

  • Referenced in 1921 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • R

  • Referenced in 9832 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1974 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • ASIFT

  • Referenced in 34 articles [sw02778]
  • A fully affine invariant image comparison method, Affine...
  • SDPT3

  • Referenced in 697 articles [sw04009]
  • This software is designed to solve conic programming...
  • PETSc

  • Referenced in 1573 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • COMSOL

  • Referenced in 457 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • car

  • Referenced in 73 articles [sw04358]
  • R package car: Companion to Applied Regression , This...
  • mvtnorm

  • Referenced in 161 articles [sw04359]
  • R package mvtnorm: Multivariate Normal and t Distributions...
  • lattice

  • Referenced in 108 articles [sw04363]
  • R package lattice: Lattice Graphics , Lattice is a...