• UCI-ml

  • Referenced in 2847 articles [sw04074]
  • Repository is a collection of databases, domain theories, and data generators that are used...
  • Magma

  • Referenced in 2672 articles [sw00540]
  • package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides...
  • GAP

  • Referenced in 2662 articles [sw00320]
  • algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library...
  • SageMath

  • Referenced in 1468 articles [sw00825]
  • research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both...
  • SINGULAR

  • Referenced in 1291 articles [sw00866]
  • commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals...
  • PARI/GP

  • Referenced in 560 articles [sw00680]
  • designed for fast computations in number theory, but also contains a large number of other...
  • HLLE

  • Referenced in 510 articles [sw06605]
  • scheme is based on a new stability theory for discontinuities in fluids, which was never...
  • mftoolbox

  • Referenced in 462 articles [sw23743]
  • associated with the book Functions of Matrices: Theory and Computation and contains implementations of many...
  • UMDES

  • Referenced in 327 articles [sw09523]
  • many of the operations of supervisory control theory, and routines that implement the methodology developed ... manipulation of FSA models, and the theory of supervisory control of discrete event systems...
  • OTTER

  • Referenced in 310 articles [sw02904]
  • Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • LISREL

  • Referenced in 299 articles [sw06514]
  • other fields to empirically assess their theories. These theories are usually formulated as theoretical models...
  • robustbase

  • Referenced in 355 articles [sw07114]
  • strive to cover the book ”Robust Statistics, Theory and Methods” by Maronna, Martin and Yohai...
  • GMRFLib

  • Referenced in 250 articles [sw06641]
  • Gaussian Markov random fields. Theory and applications. Researchers in spatial statistics and image analysis ... subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified...
  • gamair

  • Referenced in 232 articles [sw11132]
  • Moreover, the book contains explanations of the theory underlying the statistical methods and material ... book includes some practical examples illustrating the theory and corresponding exercises. The appendix is devoted...
  • GloptiPoly

  • Referenced in 280 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite...
  • Z

  • Referenced in 272 articles [sw10291]
  • primarily directed to the user; the background theory is -- with the exception of the natural...
  • ETPS

  • Referenced in 152 articles [sw06302]
  • prover for first-order logic and type theory. The latter is a cut-down version ... various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...
  • FGb

  • Referenced in 234 articles [sw00286]
  • been used in various applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently...
  • REDLOG

  • Referenced in 156 articles [sw04250]
  • formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods ... applied know about the underlying algebraic theory and make use of it. We illustrate some...
  • HYPLAS

  • Referenced in 153 articles [sw17661]
  • Computational methods for plasticity. Theory and applications. The purpose of this text is to describe ... attempt to present a reasonable balance of theory and numerical procedures used in the finite...