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

@@ Property / author @@
-César A. Muñoz
@@ Property / author: César A. Muñoz / rank @@
-Normal rank
@@ Property / author @@
+César A. Muñoz
@@ Property / author: César A. Muñoz / rank @@
+Normal rank
@@ 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
@@ Property / describes a project that uses @@
+PVSio
@@ Property / describes a project that uses: PVSio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetiTarski
@@ Property / describes a project that uses: MetiTarski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RealPaver
@@ Property / describes a project that uses: RealPaver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gappa
@@ Property / describes a project that uses: Gappa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / 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/s10817-015-9320-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1978149312
@@ Property / OpenAlex ID: W1978149312 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:287269