650 search results - page 15 / 130 » On Coalgebras over Algebras |
90
Voted
MPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
86
Voted
EOR
2006
15 years 14 days ago
2006
The properties of the barrier F(x) = -log(det(x)), defined over the cone of squares of a Euclidean Jordan algebra, are analyzed using pure algebraic techniques. Furthermore, relat...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
80
Voted
ACS
2010
15 years 18 days ago
2010
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel paper...
106
Voted
RC
2002
15 years 4 days ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...