Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem |
scientific article |
Statements
Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (English)
0 references
27 August 2019
0 references
verification
0 references
algebraic computation
0 references
Skolem problem
0 references
orbit problem
0 references
invariants
0 references