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 ...
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...
215
click to vote
CASC
10 years 28 days 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...
|
Mathematics