• 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...
  • D-modules

  • Referenced in 21 articles [sw08596]
  • MODULES FOR MACAULAY 2: D-modules for Macaulay 2 is a collection of the most ... various computational aspects of the theory of D-modules. 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...
  • SMT-RAT

  • Referenced in 17 articles [sw13091]
  • These modules can be combined to (1) an SMT solver or (2) a theory solver ... Further modules for closed quantifier-free formulas over the theory of fixed-size bitvectors...
  • PHoM

  • Referenced in 30 articles [sw04645]
  • three modules constituting the package, the first module StartSystem constructs a family of polyhedral-linear ... 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 D-module theory and homological algebra techniques. The different types ... Groebner basis techniques for finitely presented left modules over Ore algebras, (2) algorithms for deciding ... module-theoretic properties, such as torsion-freeness, 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 h-levels, 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]
  • context-aware command completion, module management, semantic macro retrieval, and theory graph navigation...
  • Group-Ring-Module

  • 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]
  • dimension-six Standard Model Effective Field Theory. Among other features, DsixTools allows the user ... This is achieved thanks to the SMEFTrunner module, which implements the full one-loop 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...