The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On Canonical Forms and Simplification
@@ Property / cites work: On Canonical Forms and Simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4767350
@@ Property / cites work: Q4767350 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896511
@@ Property / cites work: Q4896511 / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Existence of Zeros of Real Elementary Functions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4804074