2 search results - page 1 / 1 » Aligator: A Mathematica Package for Invariant Generation (Sy... |
CADE
2008
Springer
14 years 1 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
MKM
2004
Springer
14 years 4 months ago
2004
Springer
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...