Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585552
@@ Property / zbMATH DE Number: 6585552 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonlinear arithmetic
@@ Property / zbMATH Keywords: nonlinear arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision procedure
@@ Property / zbMATH Keywords: decision procedure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+prototype verification system (PVS)
@@ Property / zbMATH Keywords: prototype verification system (PVS) / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polynomial inequalities
@@ Property / zbMATH Keywords: polynomial inequalities / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Sturm's theorem
@@ Property / zbMATH Keywords: Sturm's theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Tarski's theorem
@@ Property / zbMATH Keywords: Tarski's theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated theorem proving
@@ Property / zbMATH Keywords: automated theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interactive theorem proving
@@ Property / zbMATH Keywords: interactive theorem proving / rank @@
+Normal rank

Revision as of 18:56, 27 June 2023