Polynomial Invariants by Linear Algebra
- 22 September 2016
- book chapter
- Published by Springer Nature
- p. 479-494
Abstract
No abstract availableKeywords
All Related Versions
This publication has 20 references indexed in Scilit:
- Computing the algebraic relations of C-finite sequences and multisequencesJournal of Symbolic Computation, 2008
- Aligator: A Mathematica Package for Invariant Generation (System Description)2008
- Generating all polynomial invariants in simple loopsJournal of Symbolic Computation, 2007
- Membership in polynomial ideals over Q is exponential space complete2005
- A Temporal Logic of Nested Calls and Returns2004
- The verifying compilerJournal of the ACM, 2003
- Operator strength reductionACM Transactions on Programming Languages and Systems, 2001
- Finding All the Elementary Circuits of a Directed GraphSIAM Journal on Computing, 1975
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969