737
click to vote
SAICSIT
2015
ACM
9 years 11 months ago
2015
ACM
eModeration (or online moderation) can improve the user experience of the examination process while lowering the risk of losing scripts or delaying the moderation process. Despite...
201
click to vote
CASC
2015
Springer
9 years 11 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...
187
click to vote
CASC
2015
Springer
9 years 11 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...
213
click to vote
CASC
2015
Springer
9 years 11 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 ...