CASC

2015

Springer

8 years 7 months ago
2015

Springer

Abstract. Recently, the authors presented a novel approach to computing resolutions and Betti numbers using Pommaret bases. For Betti numbers, this algorithm is for most examples m...

CASC

2015

Springer

8 years 7 months ago
2015

Springer

This survey of mathematical approaches to quasi-steady state (QSS) phenomena provides an analytical foundation for an algorithmicalgebraic treatment of the associated (parameter-de...

CASC

2015

Springer

8 years 7 months ago
2015

Springer

Abstract. In this paper we present the computer-supported theory exploration, including both formalization and veriﬁcation, of a theory in commutative algebra, namely the theory ...

CASC

2015

Springer

8 years 7 months ago
2015

Springer

CASC

2015

Springer

8 years 7 months ago
2015

Springer

We outline a method for computing the tangent cone of a space curve at any of its points. We rely on the theory of regular chains and Puiseux series expansions. Our approach is nov...

CALCO

2015

Springer

8 years 7 months ago
2015

Springer

For predual categories C and D we establish isomorphisms between opﬁbrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and ﬁnitely ge...

CALCO

2015

Springer

8 years 7 months ago
2015

Springer

Modules over monads (or: actions of monads on endofunctors) are structures in which a monad interacts with an endofunctor, composed either on the left or on the right. Although us...

CALCO

2015

Springer

8 years 7 months ago
2015

Springer

We introduce a method to lift monads on the base category of a ﬁbration to its total category using codensity monads. This method, called codensity lifting, is applicable to var...

CALCO

2015

Springer

8 years 7 months ago
2015

Springer

We show that for a commutative quantale V every functor Set −→ V-cat has an enriched leftKan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V...

CALCO

2015

Springer

8 years 7 months ago
2015

Springer

A format for well-behaved translations between structural operational speciﬁcations is derived from a notion of distributive law morphism, previously studied by Power and Watana...