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

CAPUSHE
 Referenced in 55 articles
[sw13365]
 Birgé and P. Massart [Probab. Theory Relat. Fields...

IMPS
 Referenced in 52 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 1504 articles
[sw00866]
 commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals ... freeresolution computations, and many more related functionalities. Based on an easytouse interactive...

Isabelle/ZF
 Referenced in 63 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...

PDENet
 Referenced in 63 articles
[sw36963]
 carefully designed by fully exploiting the relation between the orders of differential operators ... important concept originated from wavelet theory). We also discuss relations of the PDENet with...

HLLE
 Referenced in 638 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...

alphaCertified
 Referenced in 49 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...

4eMka2
 Referenced in 53 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 41 articles
[sw06318]
 equations, doing calculations in general relativity and field theories, or doing simple things such...

MADM
 Referenced in 131 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...

NTRU
 Referenced in 182 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...

FOIL
 Referenced in 31 articles
[sw24694]
 information in a collection of relations to construct theories expressed in a dialect of Prolog...

LOOP
 Referenced in 29 articles
[sw10292]
 Also, the paper discusses issues related to logical theory generation...

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

CoLoR
 Referenced in 38 articles
[sw09806]
 library on wellfounded rewrite relations and its application to the automated verifications of termination ... important results of the theory of wellfounded (rewrite) relations in the proof assistant...

LEGO
 Referenced in 107 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...

bootlib
 Referenced in 426 articles
[sw40642]
 numerous applied examples, together with the basic theory without emphasis on mathematical vigour. The material ... ideas underlying which are closely related to resampling methods. Chapter 11 gives a short introduction...

Cayley
 Referenced in 131 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...

LMFDB
 Referenced in 158 articles
[sw07249]
 database of Lfunctions, modular forms, and related objects. These pages are intended ... sources. Lfunctions are ubiquitous in number theory and have applications to mathematical physics...