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

@@ Property / DOI @@
-.1006/jcom.2001.0607
@@ Property / DOI: 10.1006/jcom.2001.0607 / rank @@
-Normal rank
@@ 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 @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ Property / DBLP publication ID @@
+journals/jc/Cucker02
@@ Property / DBLP publication ID: journals/jc/Cucker02 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/JCOM.2001.0607
@@ Property / DOI: 10.1006/JCOM.2001.0607 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q4938618
@@ Property / Recommended article: Q4938618 / rank @@
+Normal rank
@@ Property / Recommended article: Q4938618 / qualifier @@
+Similarity Score: 1.0000002Amount 1.0000002
Unit 1
-Amount
+.0000002
 Unit
@@ Property / Recommended article: Q4938618 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Computations with effective real numbers
@@ Property / Recommended article: Computations with effective real numbers / rank @@
+Normal rank
+Similarity Score: 0.8823322Amount 0.8823322
Unit 1
-Amount
+.8823322
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Real numbers and computers
@@ Property / Recommended article: Real numbers and computers / rank @@
+Normal rank
@@ Property / Recommended article: Real numbers and computers / qualifier @@
+Similarity Score: 0.86334133Amount 0.86334133
Unit 1
-Amount
+.86334133
 Unit
@@ Property / Recommended article: Real numbers and computers / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3184782
@@ Property / Recommended article: Q3184782 / rank @@
+Normal rank
@@ Property / Recommended article: Q3184782 / qualifier @@
+Similarity Score: 0.8489063Amount 0.8489063
Unit 1
-Amount
+.8489063
 Unit
@@ Property / Recommended article: Q3184782 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A faithful computational model of the real numbers
+Normal rank
+Similarity Score: 0.8419455Amount 0.8419455
Unit 1
-Amount
+.8419455
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Computability of Real Numbers
@@ Property / Recommended article: Computability of Real Numbers / rank @@
+Normal rank
@@ Property / Recommended article: Computability of Real Numbers / qualifier @@
+Similarity Score: 0.84121Amount 0.84121
Unit 1
-Amount
+.84121
 Unit
@@ Property / Recommended article: Computability of Real Numbers / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Lazy computation with exact real numbers
@@ Property / Recommended article: Lazy computation with exact real numbers / rank @@
+Normal rank
+Similarity Score: 0.8411305Amount 0.8411305
Unit 1
-Amount
+.8411305
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Lazy computation with exact real numbers
@@ Property / Recommended article: Lazy computation with exact real numbers / rank @@
+Normal rank
+Similarity Score: 0.8411305Amount 0.8411305
Unit 1
-Amount
+.8411305
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Real number computations: On the use of information
+Normal rank
+Similarity Score: 0.828098Amount 0.828098
Unit 1
-Amount
+.828098
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4281917
@@ Property / Recommended article: Q4281917 / rank @@
+Normal rank
@@ Property / Recommended article: Q4281917 / qualifier @@
+Similarity Score: 0.8271731Amount 0.8271731
Unit 1
-Amount
+.8271731
 Unit
@@ Property / Recommended article: Q4281917 / qualifier @@
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:1599196