• PAGODA

  • Referenced in 14 articles [sw08569]
  • have developed a very elegant and abstract semiring-based theory of soft constraints where many ... uniform way over so-called constraint semirings. In this paper we present a framework...
  • Kleene Algebra

  • Referenced in 8 articles [sw32203]
  • with formalising dioids, which are additively idempotent semirings, and expand them by axiomatisations ... further models based on lattices, max-plus semirings and min-plus semirings. We also demonstrate...
  • FPsolve

  • Referenced in 6 articles [sw10857]
  • generic solver for fixpoint equations over semirings. We introduce FPsolve, an implementation of generic algorithms ... solving fixpoint equations over semirings. We first illustrate the interest of generic solvers by means...
  • WFSC

  • Referenced in 6 articles [sw02802]
  • automata and on a generic abstract semiring, and are independent of their concrete realizations. Applications...
  • kProbLog

  • Referenced in 5 articles [sw18492]
  • Prolog with facts and rules annotated with semiring labels. We propose kProbLog as a language...
  • Polynomials

  • Referenced in 4 articles [sw32226]
  • define multivariate polynomials over arbitrary (ordered) semirings in combination with (executable) operations like addition, multiplication...
  • MinMaxgd

  • Referenced in 4 articles [sw33545]
  • MinMaxgd a library for computation in semiring of formal series...
  • CombBLAS

  • Referenced in 2 articles [sw23740]
  • matrices and vectors use arbitrary user defined semirings. Here is a semiring primer Check...
  • multiplex

  • Referenced in 3 articles [sw16370]
  • like the partially ordered semigroup or the semiring structure together with the relational bundles occurring...
  • Matrix Operations

  • Referenced in 1 article [sw28791]
  • matrix comparisons as executable functions over ordered semirings. Moreover, it is proven that strongly normalizing ... matrices. We further show that the standard semirings over the naturals, integers, and rationals ... well as the arctic semirings satisfy the axioms that are required by our matrix theory...
  • Vcsn

  • Referenced in 1 article [sw21339]
  • which can be taken in any semiring. Indeed, our framework is the set of automata ... with multiplicity over any semiring: a general algorithm is written just once...
  • SuiteSparse.GraphBLAS

  • Referenced in 1 article [sw32715]
  • matrix operations on an extended algebra of semirings using an almost unlimited variety of operators ... mathematics of sparse matrix operations on a semiring. An overview of the GraphBLAS specification...
  • Stone Kleene

  • Referenced in 1 article [sw28599]
  • general theory of iteration based on Conway semirings extended by simulation axioms. This includes several...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • most general construction of a c-semiring from an arbitrary PVS. Both arguments draw upon...
  • cdd

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

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

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

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

  • Referenced in 1958 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...