Sciweavers

CASC
2015
Springer
23views Mathematics» more  CASC 2015»
7 years 11 months ago
Janet Bases and Resolutions in CoCoALib
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...
Mario Albert, Matthias Fetzer, Werner M. Seiler
CASC
2015
Springer
24views Mathematics» more  CASC 2015»
7 years 11 months ago
Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra
This survey of mathematical approaches to quasi-steady state (QSS) phenomena provides an analytical foundation for an algorithmicalgebraic treatment of the associated (parameter-de...
Alexandra Goeke, Sebastian Walcher, Eva Zerz
CASC
2015
Springer
40views Mathematics» more  CASC 2015»
7 years 11 months ago
Automated Reasoning in Reduction Rings Using the Theorema System
Abstract. In this paper we present the computer-supported theory exploration, including both formalization and verification, of a theory in commutative algebra, namely the theory ...
Alexander Maletzky
CASC
2015
Springer
20views Mathematics» more  CASC 2015»
7 years 11 months ago
A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve
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...
Parisa Alvandi, Marc Moreno Maza, Éric Scho...
CALCO
2015
Springer
26views Mathematics» more  CALCO 2015»
7 years 11 months ago
A Fibrational Approach to Automata Theory
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely ge...
Liang-Ting Chen, Henning Urbat
CALCO
2015
Springer
27views Mathematics» more  CALCO 2015»
7 years 11 months ago
Modules Over Monads and Their Algebras
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...
Maciej Piróg, Nicolas Wu, Jeremy Gibbons
CALCO
2015
Springer
29views Mathematics» more  CALCO 2015»
7 years 11 months ago
Codensity Liftings of Monads
We introduce a method to lift monads on the base category of a fibration to its total category using codensity monads. This method, called codensity lifting, is applicable to var...
Shin-ya Katsumata, Tetsuya Sato
CALCO
2015
Springer
16views Mathematics» more  CALCO 2015»
7 years 11 months ago
Extensions of Functors From Set to V-cat
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...
Adriana Balan, Alexander Kurz, Jiri Velebil
CALCO
2015
Springer
31views Mathematics» more  CALCO 2015»
7 years 11 months ago
Presenting Morphisms of Distributive Laws
A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watana...
Bartek Klin, Beata Nachyla