• Magma

  • Referenced in 3344 articles [sw00540]
  • large, well-supported software package designed for computations in algebra, number theory, algebraic geometry...
  • GAP

  • Referenced in 3190 articles [sw00320]
  • algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... language as well as large data libraries of algebraic objects. See also the overview...
  • SINGULAR

  • Referenced in 1509 articles [sw00866]
  • singularity theory. SINGULAR’s main computational objects are ideals and modules over a large variety...
  • PARI/GP

  • Referenced in 653 articles [sw00680]
  • fast computations in number theory, but also contains a large number of other useful functions...
  • MaLARea

  • Referenced in 50 articles [sw10278]
  • Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated Reasoning ... mode). Its intended use is in large theories, i.e. on a large number of problems...
  • LYAPACK

  • Referenced in 66 articles [sw12624]
  • LYAPACK A MATLAB Toolbox for Large Lyapunov and Riccati Equations, Model Reduction Problems, and Linear ... Control Problems Users ’ Guide (Version 1.0). Control theory is one of the most rapidly developing ... many types of dense problems in control theory have become available in software packages, such ... approach to a class of large problems in control theory. An efficient ADI-based solver...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... order formulas in a large number of built-in logical theories and their combination. CVC4...
  • MaLeCoP

  • Referenced in 27 articles [sw07197]
  • solving many problems in a large complex theory, learning from successful solutions is then used ... self-learning AI mathematical experts on large mathematical libraries, some of which are discussed ... evaluated on the MPTP Challenge large theory benchmark...
  • GloptiPoly

  • Referenced in 329 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... short formulation, the GPM has a large number of important applications in various fields such...
  • DELORES

  • Referenced in 26 articles [sw05546]
  • linear complexity, allowing DELORES to execute large theories very quickly. DELORES’s algorithm extends...
  • Fluid flow phenomena

  • Referenced in 71 articles [sw15481]
  • describes concrete links between theory and practice, offering a large number of codes which allow ... wall turbulent flows. The book includes large eddy simulation methodology since in the near future ... dynamics.par A well-balanced mix between the theory and the wide range of applications makes...
  • HYPLAS

  • Referenced in 201 articles [sw17661]
  • Computational methods for plasticity. Theory and applications. The purpose of this text is to describe ... detail numerical techniques used in small and large strain finite element analysis of elastic ... attempt to present a reasonable balance of theory and numerical procedures used in the finite...
  • IMPS

  • Referenced in 52 articles [sw09143]
  • another via inclusion and theory interpretation. IMPS provides relatively large primitive inference steps to facilitate ... comprehension of the resulting proofs. An initial theory library contained over a thousand repeatable proofs...
  • Code_Aster

  • Referenced in 59 articles [sw06676]
  • based on the theory of Finite elements. This tool covers a large range of applications...
  • Proofwatch

  • Referenced in 4 articles [sw28654]
  • Proofwatch: watchlist guidance for large theories in E. Watchlist (also hint list) is a mechanism ... explore the use of watchlists in large theories coming from first-order translations of large...
  • QETLAB

  • Referenced in 65 articles [sw20493]
  • theory. While there are many quantum information theory toolboxes that allow the user to perform ... well both with full matrices and with large sparse matrices, and makes use of many...
  • ATPboost

  • Referenced in 4 articles [sw28626]
  • system for solving sets of large-theory problems by interleaving ATP runs with state...
  • hgam

  • Referenced in 73 articles [sw11201]
  • sparsity and smoothness is crucial for mathematical theory as well as performance for finite-sample ... sparsity-smoothness penalized approach yields large additional performance gains...
  • randoCoP

  • Referenced in 3 articles [sw15149]
  • TPTP library and problems involving large theories...
  • BWDifference

  • Referenced in 5 articles [sw23722]
  • oscillator. 2: A study of perturbation theory in large order” in [Phys...