• SageMath

  • Referenced in 955 articles [sw00825]
  • algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both the Sage development model...
  • IMPS

  • Referenced in 33 articles [sw09143]
  • specification and inference are performed relative to axiomatic theories, which can be related ... 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...
  • SINGULAR

  • Referenced in 1019 articles [sw00866]
  • commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals ... free-resolution computations, and many more related functionalities. Based on an easy-to-use interactive...
  • Isabelle/ZF

  • Referenced in 51 articles [sw04973]
  • greater part of elementary set theory, including relations, functions, injections, surjections, ordinals and cardinals. Results ... Wellordering Theorem. Isabelle/ZF also provides theories of lists, trees, etc., for formalizing computational notions...
  • CAPUSHE

  • Referenced in 24 articles [sw13365]
  • Birgé and P. Massart [Probab. Theory Relat. Fields...
  • 4eMka2

  • Referenced in 45 articles [sw16168]
  • combining advantages of rough sets and dominance relation. The purpose of this system is resolving ... bases on rough set theory combined with dominance relation, which is quite new approach ... rough set with dominance relation. The role of the user is simplified to preparation ... does not have to get familiar with theory basis of used analysis model, which...
  • EXCALC

  • Referenced in 39 articles [sw06318]
  • equations, doing calculations in general relativity and field theories, or doing simple things such...
  • HLLE

  • Referenced in 368 articles [sw06605]
  • robustness of the HLLE solver is closely related to the signal velocities and a single ... scheme is based on a new stability theory for discontinuities in fluids, which was never...
  • NTRU

  • Referenced in 128 articles [sw11761]
  • clustering principle based on elementary probability theory. The security of the NTRU cryptosystem comes from ... with the independence of reduction modulo two relatively prime integers...
  • alphaCertified

  • Referenced in 22 articles [sw07351]
  • polynomial systems. Smale’s α-theory uses estimates related to the convergence of Newton ... program alphaCertified implements algorithms based on α-theory to certify solutions of polynomial systems using...
  • LOOP

  • Referenced in 22 articles [sw10292]
  • Also, the paper discusses issues related to logical theory generation...
  • MADM

  • Referenced in 74 articles [sw06484]
  • Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... Realité (ELECTRE), COmplex PRoportional ASsessment (COPRAS), Grey Relational Analysis (GRA), UTility Additive (UTA), and Ordered ... Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods ... institutes involved in both design and manufacturing related projects. It is also an ideal study...
  • Coxeter

  • Referenced in 18 articles [sw07827]
  • combinatorial aspects of Coxeter group theory, particularly those related to the Bruhat ordering and Kazhdan...
  • Cayley

  • Referenced in 117 articles [sw01053]
  • introduction to the Group Theory Language, Cayley. CAYLEY is a high level programming language which ... algorithms for doing calculations in groups and related structures. This paper gives a useful introduction...
  • CoLoR

  • Referenced in 26 articles [sw09806]
  • library on well-founded rewrite relations and its application to the automated verifications of termination ... important results of the theory of well-founded (rewrite) relations in the proof assistant...
  • HR

  • Referenced in 25 articles [sw10392]
  • objects, conjectures relating the concepts and proofs of the conjectures. In group theory, for example...
  • xloops

  • Referenced in 6 articles [sw04701]
  • diagrams in the standard model and related theories both analytically and numerically. A user-friendly...
  • ProbView

  • Referenced in 24 articles [sw09438]
  • viewpoint of probability theory. (1) We propose a probabilistic relational data model and a genericprobabilistic...
  • Z

  • Referenced in 230 articles [sw10291]
  • primarily directed to the user; the background theory is -- with the exception of the natural ... particular, although all necessary notions from the relational calculus are introduced, its algebraic properties...
  • LEGO

  • Referenced in 60 articles [sw09685]
  • using New Jersey ML. It implements various related type systems - the Edinburgh Logical Framework ... Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO...