
SINGULAR
 Referenced in 1373 articles
[sw00866]
 singularity theory. SINGULAR’s main computational objects are ideals and modules over a large variety...

Magma
 Referenced in 2857 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides ... with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs, designs, codes...

Locales
 Referenced in 38 articles
[sw12448]
 Locales: a module system for mathematical theories. Locales are a module system for managing theory ... flexible means of extension and reuse. Theory modules (which are called locales) may be extended ... theorems. Interpretation to Isabelle’s global theories and proof contexts is possible via morphisms. Even...

MMT
 Referenced in 47 articles
[sw07136]
 simple and scalable Module system for the development of Mathematical Theories. MMT permits to encode...

STRINGVACUA
 Referenced in 41 articles
[sw00920]
 Mathematica modules are provided which can be used both in string theory and in more...

Dmodules
 Referenced in 21 articles
[sw08596]
 MODULES FOR MACAULAY 2: Dmodules for Macaulay 2 is a collection of the most ... various computational aspects of the theory of Dmodules. This paper provides a brief guide...

Agda
 Referenced in 182 articles
[sw09689]
 just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs ... proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed...

NESTOR
 Referenced in 27 articles
[sw22096]
 within a formal probability theory framework. A user interface module gives the physician control over...

ART 3
 Referenced in 27 articles
[sw08755]
 release, inactivation, and modulation, are embedded within an Adaptive Resonance Theory architecture called ... pattern recognition code. Reinforcement feedback can modulate the search process by altering...

SMTRAT
 Referenced in 17 articles
[sw13091]
 These modules can be combined to (1) an SMT solver or (2) a theory solver ... Further modules for closed quantifierfree formulas over the theory of fixedsize bitvectors...

PHoM
 Referenced in 30 articles
[sw04645]
 three modules constituting the package, the first module StartSystem constructs a family of polyhedrallinear ... homotopy functions, based on the polyhedral homotopy theory, from input data for a given system ... polynomial equations $f(x)= 0$. The second module CMPSc traces the solution curves...

Macnodal
 Referenced in 10 articles
[sw18714]
 Macnodal package for intersection theory on Hilbert schemes of nodal curves. The program does ... kinds of calculations: in the tautological module, on a fixed Hilbert scheme ... paper: Tautological module and intersection theory on Hilbert schemes of nodal curves...

OreAlgebraicAnalysis
 Referenced in 4 articles
[sw15153]
 purely algebraic viewpoint, using Dmodule theory and homological algebra techniques. The different types ... Groebner basis techniques for finitely presented left modules over Ore algebras, (2) algorithms for deciding ... moduletheoretic properties, such as torsionfreeness, reflexivity, projectiveness, freeness, and (3) algorithms from homological ... packages by means of examples from control theory. Joint work with Alban Quadrat, Maris Tonso...

HoTT
 Referenced in 13 articles
[sw15147]
 libraries exploring univalent foundations and homotopy type theory, the other being UniMath. The library includes ... formalization of modalities (reflective subtoposes) using modules as a way to quantify over all universe ... Cantor spaces and the surreals, the basic theory of hlevels, and a significant amount...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 there has been rapid evolution of both theory and codes. Homotopy (continuation) methods ... such problems. The code under consideration uses modules from the more general HOMPACK90 package...

STEXIDE
 Referenced in 6 articles
[sw07696]
 contextaware command completion, module management, semantic macro retrieval, and theory graph navigation...

GroupRingModule
 Referenced in 1 article
[sw32227]
 Groups, Rings and Modules: The theory of groups, rings and modules is developed ... ring theory development includes ideals, quotient rings and the Chinese remainder theorem. The module development...

ALM
 Referenced in 4 articles
[sw29436]
 piece of knowledge packaged as a unit), module hierarchy, and library, and by the division ... theory and structure. A theory consists of one or more modules with a common theme ... possibly organized into a module hierarchy based on a dependency relation. It contains declarations ... knowledge representation libraries. To appear in Theory and Practice of Logic Programming (TPLP...

DsixTools
 Referenced in 12 articles
[sw23378]
 dimensionsix Standard Model Effective Field Theory. Among other features, DsixTools allows the user ... This is achieved thanks to the SMEFTrunner module, which implements the full oneloop anomalous ... literature. In addition, DsixTools also contains modules devoted to the matching ... operators of the Weak Effective Theory at the electroweak scale and their...

Ynot
 Referenced in 35 articles
[sw12334]
 previous work on Hoare Type Theory (HTT). We show how these axioms can be combined ... describe here a representative series of modules that implement imperative finite maps, including support...