Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460): Difference between revisions

@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeDuMi
@@ Property / describes a project that uses: SeDuMi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAGlib
@@ Property / describes a project that uses: RAGlib / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOVERER
@@ Property / describes a project that uses: DISCOVERER / rank @@
+Normal rank
@@ 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/s11424-013-1004-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1998724430
@@ Property / OpenAlex ID: W1998724430 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57533599
@@ Property / Wikidata QID: Q57533599 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804915
@@ Property / cites work: Q4804915 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
+Normal rank
@@ Property / cites work @@
+Recent advances in program verification through computer algebra
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+On the complexity of Putinar's Positivstellensatz
@@ Property / cites work: On the complexity of Putinar's Positivstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q4285035
@@ Property / cites work: Q4285035 / rank @@
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank
@@ Property / cites work @@
+Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+Normal rank