Sciweavers

2 search results - page 1 / 1
» Aligator: A Mathematica Package for Invariant Generation (Sy...
Sort
View
CADE
2008
Springer
13 years 5 months ago
Aligator: A Mathematica Package for Invariant Generation (System Description)
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
Laura Kovács
MKM
2004
Springer
13 years 9 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt