Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A58
@@ Property / Mathematics Subject Classification ID: 41A58 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G50
@@ Property / Mathematics Subject Classification ID: 65G50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6644464
@@ Property / zbMATH DE Number: 6644464 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interval arithmetic
@@ Property / zbMATH Keywords: interval arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal proof
@@ Property / zbMATH Keywords: formal proof / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decision procedure
@@ Property / zbMATH Keywords: decision procedure / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Coq proof assistant
@@ Property / zbMATH Keywords: Coq proof assistant / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+floating-point arithmetic
@@ Property / zbMATH Keywords: floating-point arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonlinear arithmetic
@@ Property / zbMATH Keywords: nonlinear arithmetic / rank @@
+Normal rank

Revision as of 05:14, 28 June 2023