• Macaulay2

  • Referenced in 1567 articles [sw00537]
  • over quotient rings of graded or multi-graded polynomial rings with a monomial ordering...
  • Plural

  • Referenced in 71 articles [sw00719]
  • polynomial rings having PBW bases and their quotients (called G-/GR-algebras, 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 higher-order 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 higher-order 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 quotient-difference (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...
  • 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...