Q5092383 (Q5092383): Difference between revisions

@@ Property / cites work @@
+Trusting computations: a mechanized proof from partial differential equations to actual program
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
+Normal rank
@@ Property / cites work @@
+Algorithms for exact and approximate linear abstractions of polynomial continuous systems
+Normal rank
@@ Property / cites work @@
+Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S
+Normal rank
@@ Property / cites work @@
+Computing representations for radicals of finitely generated differential ideals
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
+Normal rank
@@ Property / cites work @@
+An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
+Normal rank
@@ Property / cites work @@
+Sufficient set of integrability conditions of an orthonomic system
+Normal rank
@@ Property / cites work @@
+Trajectories of polynomial vector fields and ascending chains of polynomial ideals
+Normal rank
@@ Property / cites work @@
+Logics of Dynamical Systems
@@ Property / cites work: Logics of Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Hybrid Games
@@ Property / cites work: Differential Hybrid Games / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of systems of nonlinear partial differential equations to simplified involutive forms
+Normal rank
@@ Property / cites work @@
+Q5795628
@@ Property / cites work: Q5795628 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank