• Agda

  • Referenced in 174 articles [sw09689]
  • just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs ... based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish...
  • PHoM

  • Referenced in 30 articles [sw04645]
  • 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...
  • NZMATH

  • Referenced in 7 articles [sw09085]
  • theory, based on Python. Currently, it has several basic data types and several modules ... especially a module for algebraic numbers is awaited. Some experimental user interface construction is also...
  • HoTT

  • Referenced in 11 articles [sw15147]
  • formalization of modalities (reflective subtoposes) using modules as a way to quantify over all universe ... basic theory of h-levels, and a significant amount of category theory centered around comma ... categories and functoriality of various constructions involving comma categories. A significant amount of work...
  • FreeHyTE

  • Referenced in 2 articles [sw30297]
  • phases of the algorithm, including data input, construction and manipulation of the solving system ... integration of existing procedures into new modules with minimal coding effort. FreeHyTE’s distribution ... General Public License and supported by theory, installation, user’s and developer’s manuals...
  • SpechtModule

  • Referenced in 0 articles [sw31578]
  • package SpechtModule - a package for constructing Specht Modules. SpechtModule calculates many objects related ... functions. This construction is used to implement an algorithm in invariant theory which calculates efficiently ... which give a basis of the Specht Modules that arrise in the coinvariant ring...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • Intersections of polynomial rings and modules with applications. We are concerned with two problems, namely ... seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental invariants and, additionally...
  • TeLoDe

  • Referenced in 1 article [sw00953]
  • module and declarative knowledge. TeLoDe’s teaching module is informed by SIMTA (Styles implemented ... expository style drawing from Ausubel’s theory of meaningful reception learning. The expository style, utilising ... environment where they are encouraged to actively construct their knowledge...
  • adcc

  • Referenced in 1 article [sw33448]
  • python/C++ module for performing excited state calculations based on the algebraic-diagrammatic construction scheme ... methods up to third order in perturbation theory are available in adcc, including the respective...
  • ANSYS

  • Referenced in 643 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARfit

  • Referenced in 34 articles [sw00046]
  • ARfit is a collection of Matlab modules for...
  • ATLAS

  • Referenced in 195 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 274 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 335 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • dpgb

  • Referenced in 16 articles [sw00217]
  • Improving the DISPGB algorithm using the discriminant ideal...