Real computations with fake numbers (Q1599196): Difference between revisions

@@ Property / describes a project that uses @@
+mctoolbox
@@ Property / describes a project that uses: mctoolbox / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57733268
@@ Property / Wikidata QID: Q57733268 / 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.1006/jcom.2001.0607
+Normal rank
@@ Property / OpenAlex ID @@
+W1992313960
@@ Property / OpenAlex ID: W1992313960 / rank @@
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+The complexity of logical theories
@@ Property / cites work: The complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+\(P_ \mathbb{R}{}\neq{}NC_ \mathbb{R}\)
@@ Property / cites work: \(P_ \mathbb{R}{}\neq{}NC_ \mathbb{R}\) / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Quantifier Elimination: the Structural Approach
+Normal rank
@@ Property / cites work @@
+On the Power of Real Turing Machines over Binary Inputs
+Normal rank
@@ Property / cites work @@
+Q4234080
@@ Property / cites work: Q4234080 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing over the reals with addition and order: Higher complexity classes
+Normal rank
@@ Property / cites work @@
+Logics which capture complexity classes over the reals
+Normal rank
@@ Property / cites work @@
+Separation of complexity classes in Koiran's weak model
+Normal rank
@@ Property / cites work @@
+Complexity estimates depending on condition and round-off error
+Normal rank
@@ Property / cites work @@
+Towards a formal definition of numerical stability
+Normal rank
@@ Property / cites work @@
+Q4348513
@@ Property / cites work: Q4348513 / rank @@
+Normal rank
@@ Property / cites work @@
+Eigenvalues and Condition Numbers of Random Matrices
+Normal rank
@@ Property / cites work @@
+Q4186267
@@ Property / cites work: Q4186267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234078
@@ Property / cites work: Q4234078 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Q4864704
@@ Property / cites work: Q4864704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3802475
@@ Property / cites work: Q3802475 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines that take advice
@@ Property / cites work: Turing machines that take advice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935355
@@ Property / cites work: Q3935355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864428
@@ Property / cites work: Q4864428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231918
@@ Property / cites work: Q4231918 / rank @@
+Normal rank
@@ Property / cites work @@
+The real dimension problem is \(\text{NP}_{\mathbb R}\)-complete.
+Normal rank
@@ Property / cites work @@
+Computational Complexity and Numerical Stability
@@ Property / cites work: Computational Complexity and Numerical Stability / rank @@
+Normal rank
@@ Property / cites work @@
+The real number model in numerical analysis
@@ Property / cites work: The real number model in numerical analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829318
@@ Property / cites work: Q5829318 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving a Polynomial Equation: Some History and Recent Progress
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Some perturbation theory for linear programming
@@ Property / cites work: Some perturbation theory for linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Incorporating Condition Measures into the Complexity Theory of Linear Programming
+Normal rank
@@ Property / cites work @@
+Linear programming, complexity theory and elementary functional analysis
+Normal rank
@@ Property / cites work @@
+Complexity of Bezout's Theorem I: Geometric Aspects
+Normal rank
@@ Property / cites work @@
+Q3135179
@@ Property / cites work: Q3135179 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Bezout's theorem. III: Condition number and packing
+Normal rank
@@ Property / cites work @@
+Complexity of Bezout's theorem. V: Polynomial time
+Normal rank
@@ Property / cites work @@
+Complexity of Bezout’s Theorem IV: Probability of Success; Extensions
+Normal rank
@@ Property / cites work @@
+The fundamental theorem of algebra and complexity theory
+Normal rank
@@ Property / cites work @@
+Some Remarks on the Foundations of Numerical Analysis
+Normal rank
@@ Property / cites work @@
+Q4356579
@@ Property / cites work: Q4356579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040428
@@ Property / cites work: Q4040428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4226567
@@ Property / cites work: Q4226567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337625
@@ Property / cites work: Q4337625 / rank @@
+Normal rank
@@ Property / cites work @@
+Average-Case Stability of Gaussian Elimination
@@ Property / cites work: Average-Case Stability of Gaussian Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a theorem of Blum, Shub, and Smale
@@ Property / cites work: A note on a theorem of Blum, Shub, and Smale / rank @@
+Normal rank
@@ Property / cites work @@
+ROUNDING-OFF ERRORS IN MATRIX PROCESSES
@@ Property / cites work: ROUNDING-OFF ERRORS IN MATRIX PROCESSES / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical inverting of matrices of high order
@@ Property / cites work: Numerical inverting of matrices of high order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342463
@@ Property / cites work: Q4342463 / rank @@
+Normal rank
@@ Property / cites work @@
+Modern Error Analysis
@@ Property / cites work: Modern Error Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical stability for solving nonlinear equations
+Normal rank
@@ Property / cites work @@
+Q4717973
@@ Property / cites work: Q4717973 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1599196