The structure of polynomial invariants of linear loops (Q891730): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10559-015-9736-7
+Normal rank
@@ Property / OpenAlex ID @@
+W576027790
@@ Property / OpenAlex ID: W576027790 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923574
@@ Property / cites work: Q3923574 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative methods of program analysis
@@ Property / cites work: Iterative methods of program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Discovery of invariant equalities in programs over data fields
+Normal rank
@@ Property / cites work @@
+Precise interprocedural analysis through linear algebra
+Normal rank
@@ Property / cites work @@
+Computing polynomial program invariants
@@ Property / cites work: Computing polynomial program invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Automatic Generation of Polynomial Loop Invariants
+Normal rank
@@ Property / cites work @@
+Automatic generation of polynomial invariants of bounded degree using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Polynomial invariants for linear loops
@@ Property / cites work: Polynomial invariants for linear loops / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear invariants for linear loops and eigenpolynomials of linear operators
+Normal rank
@@ Property / cites work @@
+Q5583892
@@ Property / cites work: Q5583892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3277470
@@ Property / cites work: Q3277470 / rank @@
+Normal rank