257
click to vote
CASC
10 years 28 days ago
2015 Springer 
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 ...
245
click to vote
CALCO
10 years 28 days ago
2015 Springer 
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...
238
click to vote
CALCO
10 years 28 days ago
2015 Springer 
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...
236
click to vote
CASC
10 years 28 days 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...
231
click to vote
CASC
10 years 28 days 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...
|
Mathematics