Deciding polynomial-transcendental problems (Q654031): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2011.08.009
@@ Property / DOI: 10.1016/j.jsc.2011.08.009 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDUCE
@@ Property / describes a project that uses: REDUCE / 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.1016/j.jsc.2011.08.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2015314684
@@ Property / OpenAlex ID: W2015314684 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding polynomial-exponential problems
@@ Property / cites work: Deciding polynomial-exponential problems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lambert \(w\) function
@@ Property / cites work: On the Lambert \(w\) function / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Budan--Fourier theorem and virtual roots
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Virtual roots of real polynomials
@@ Property / cites work: Virtual roots of real polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Computing in the field of complex algebraic numbers
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Q5301637
@@ Property / cites work: Q5301637 / rank @@
+Normal rank
@@ Property / cites work @@
+Real root isolation for tame elementary functions
@@ Property / cites work: Real root isolation for tame elementary functions / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2011.08.009
@@ Property / DOI: 10.1016/J.JSC.2011.08.009 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:654031