Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
MOC
2002
87views more  MOC 2002»
10 years 11 months ago
Finite SAGBI bases for polynomial invariants of conjugates of alternating groups
It is well-known, that the ring C[X1, . . . , Xn]An of polynomial invariants of the alternating group An has no finite SAGBI basis with respect to the lexicographical order for any...
Manfred Göbel
CSR
2008
Springer
11 years 1 months ago
Invariant Generation for P-Solvable Loops with Assignments
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
Laura Kovács
CADE
2008
Springer
11 years 1 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
books