
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 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...

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 hlevels, 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 algebraicdiagrammatic 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 specialpurpose 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...