
PAGODA
 Referenced in 14 articles
[sw08569]
 have developed a very elegant and abstract semiringbased theory of soft constraints where many ... uniform way over socalled 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, maxplus semirings and minplus 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 csemiring 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...