CASC
2015
Springer
8 years 8 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 8 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 8 months 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 ...
CASC
2015
Springer
8 years 8 months ago
2015
Springer
CASC
2015
Springer
8 years 8 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...