• Macaulay2

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

  • Referenced in 86 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 29 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 29 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 8 articles [sw18830]
  • Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions and Integral...
  • Crocodile

  • Referenced in 3 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...
  • 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...
  • 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...
  • Squeakr

  • Referenced in 1 article [sw36896]
  • representation system using the recently-introduced counting quotient filter (CQF) Pandey ... about a particular k-mer over an order-of- magnitude faster than other systems...
  • ATLAS

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

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

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

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

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