
Macaulay2
 Referenced in 1567 articles
[sw00537]
 over quotient rings of graded or multigraded polynomial rings with a monomial ordering...

Plural
 Referenced in 71 articles
[sw00719]
 polynomial rings having PBW bases and their quotients (called G/GRalgebras, also known as solvable ... Singular and all the global monomial orderings are supported for computing left, right...

Transfer
 Referenced in 25 articles
[sw21009]
 Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type abstraction ... ubiquitous in formal reasoning with higherorder logic. Typically, users want to build a library ... type. Earlier work on the Isabelle Quotient package has yielded great progress in automation...

Lifting
 Referenced in 25 articles
[sw21010]
 Modular Design for Quotients in Isabelle/HOL. Quotients, subtypes, and other forms of type abstraction ... ubiquitous in formal reasoning with higherorder logic. Typically, users want to build a library ... type. Earlier work on the Isabelle Quotient package has yielded great progress in automation...

hypergeometricsols
 Referenced in 4 articles
[sw18830]
 Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions and Integral...

Compqd
 Referenced in 2 articles
[sw29675]
 based on the fact that the standard quotientdifference (qd) algorithm can be numerically unstable ... condition numbers up to second order in the rounding unit of the computer. Three applications...

Crocodile
 Referenced in 2 articles
[sw09769]
 very convenient for modeling complex systems in order to have a compact, readable and structured ... exploitation of symmetries to provide a compact quotient state space representation (similarly to the construction...

Miura
 Referenced in 1 article
[sw20305]
 class group via the isomorphism. The underlying quotient ring should be over the ideal given ... Groebner basis component is the minimum in order to obtain the representative of the ideal...

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

BARON
 Referenced in 304 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 107 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CLIFFORD
 Referenced in 73 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 601 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

FFLASFFPACK
 Referenced in 20 articles
[sw00283]
 FFPACK: finite field linear algebra package. The FFLAS...

FGb
 Referenced in 234 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 594 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KANT/KASH
 Referenced in 155 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...