Fact-checked by Grok 2 weeks ago

Approximation

Approximation in mathematics refers to the use of a value or expression that is close enough to an exact quantity to serve a practical purpose, such as when precise computation is infeasible or unnecessary.^[1]^[2] This concept underpins numerical methods across science and engineering, where approximations enable modeling complex systems, solving differential equations, and optimizing algorithms by trading minimal error for computational tractability.^[3]^[4] Approximation theory formalizes the selection of optimal approximating functions, such as polynomials for continuous functions, with roots tracing to Leonhard Euler's 18th-century work on series expansions and later systematized by Pafnuty Chebyshev through minimax principles.^[5]^[6] Symbols like ≈ denote approximate equality, distinguishing it from exact equality (=) or congruence (≅), while error bounds quantify the deviation to ensure reliability in applications from physics simulations to machine learning.^[7]^[8]

Etymology and Conceptual Foundations

Historical Origins and Usage

The term approximation derives from the Latin approximātiō (nominative approximātiōnem), the noun form of the verb approximāre ("to come near to" or "to approach"), composed of the prefix ad- ("to" or "toward") and proximāre ("to get close"), from proximus ("nearest" or "next", the superlative of prope, "near").^[9]^[10] This etymological root emphasizes spatial or qualitative nearness, reflecting the concept's core idea of closeness without exactness. In English, the adjective "approximate" appeared by the 1520s, initially meaning "near in position or quality", with the verb form ("to bring near or approach") and noun "approximation" (as an estimate or rough calculation) emerging in the 1600s, often in contexts of estimation in navigation, astronomy, and early scientific measurement.^[9] The conceptual practice of approximation traces to ancient Mesopotamian and Egyptian mathematics, where numerical estimates facilitated practical applications like land measurement and architecture. Old Babylonian clay tablets from around 1800–1600 BC, such as YBC 7289, record a sexagesimal approximation for the square root of 2 as 1;57,7,42 (equivalent to ≈1.414213562 in decimal), achieving accuracy to about six decimal places through iterative geometric methods resembling continued fractions, likely derived from solving quadratic equations in surveying or construction. Babylonian texts also approximated π as 3 + 1/8 = 3.125 for circular computations.^[11] In Egypt, the Rhind Mathematical Papyrus (c. 1650 BC) employs (256/81) as an effective value for π (≈3.16045) in volume formulas for cylindrical granaries and spherical caps, yielding practical results for engineering despite the slight overestimate.^[12] These approximations prioritized utility over precision, enabling computations without algebraic notation. Greek mathematicians formalized approximation through rigorous bounding techniques, avoiding infinitesimals via the method of exhaustion, pioneered by Eudoxus of Cnidus (c. 408–355 BC) to determine areas and volumes of curved figures.^[13] This involved inscribing and circumscribing polygons with increasing sides to squeeze bounds around the target quantity, as preserved in Euclid's Elements (c. 300 BC, Book XII). Archimedes of Syracuse (c. 287–212 BC) extended this in Measurement of a Circle, approximating π by computing perimeters of regular 96-gon polygons inscribed and circumscribed in a unit circle, yielding 223/71 < π < 22/7 (≈3.140845 < π < ≈3.142857).^[14] His approach demonstrated causal reliance on geometric inequalities for verifiable closeness, influencing later quadrature problems and early integral calculus precursors. Such methods underscored approximation's role in bridging exact proofs with computable estimates, a usage persisting in Hellenistic astronomy for orbital predictions.^[15] In the medieval and Renaissance periods, approximation gained traction in trigonometric tables and cartography, with scholars like Regiomontanus (15th century) refining polygonal methods for planetary models. By the 18th century, Leonhard Euler applied series expansions for functional approximations in differential equations, marking a shift toward systematic theory while retaining ancient bounding principles for validation.^[16] This evolution highlights approximation's enduring utility in handling uncomputable exactitudes through empirically bounded estimates.

Core Principles and Definitions

Approximation denotes a value or representation that closely resembles but does not precisely match the exact quantity, utilized when precise determination proves computationally intensive or superfluous for the application at hand.^[17] This concept underpins practical computations across disciplines, where the approximated result suffices for decision-making or further analysis despite inherent deviations.^[18] In mathematical contexts, approximations arise from methods such as rounding, truncation, or series expansions, each introducing controlled discrepancies measurable via error metrics.^[2] Central to approximation lies the principle of bounded error, which quantifies the maximum deviation between the true value and its surrogate, ensuring reliability through predefined tolerances.^[19] Absolute error captures the raw difference, |exact - approximate|, while relative error normalizes this by the exact magnitude, |exact - approximate| / |exact|, facilitating comparisons across scales.^[20] Error bounds, derived analytically or empirically, establish upper limits on these discrepancies, as in Taylor polynomial remainders or alternating series estimates, enabling practitioners to assess approximation adequacy prior to application.^[21] This error-centric framework enforces causal accountability, linking approximation choices to observable outcomes rather than unverified assumptions of equivalence. Distinctions among approximation variants include uniform approximations, which maintain consistent error across domains, and asymptotic ones, where accuracy improves as parameters approach limits, such as in large-n behaviors.^[22] Symbolic notations like ≈ signify approximate equality, contrasting with strict =, while ≅ denotes congruence in geometric or modular senses, underscoring contextual precision requirements.^[23] These principles prioritize empirical validation over idealized exactness, reflecting real-world constraints where infinite precision remains unattainable yet finite approximations drive verifiable progress.^[24]

In Mathematics

Approximation Theory Fundamentals

Approximation theory examines the errors arising from representing complex functions using simpler ones, such as polynomials or rational functions, within specified norms or metrics.^[25] The core setup involves a target function f in a normed linear space X, an approximating subspace U \subset X (e.g., polynomials of degree at most n), and an error measure \|f - u\| for u \in U.^[26] Best approximation seeks the u^* \in U minimizing this distance; in finite-dimensional U with a strictly convex norm, such a unique best approximation exists by the Riesz representation theorem in reflexive Banach spaces or direct compactness arguments.^[27] A foundational result is the Weierstrass approximation theorem, which asserts that for any continuous function f: [a, b] \to \mathbb{R} and \epsilon > 0, there exists a polynomial p such that \|f - p\|_\infty < \epsilon on [a, b], where \|\cdot\|_\infty is the uniform norm.^[28] This density of polynomials in the space of continuous functions under the sup norm underpins much of uniform approximation, proven via Bernstein polynomials or convolution with mollifiers.^[26] The theorem extends via the Stone-Weierstrass theorem: any subalgebra of C(K) (for compact K) that separates points and contains constants is dense in the uniform norm.^[29] Approximations vary by norm: uniform approximation minimizes the maximum deviation, relevant for bounding errors globally, while L^p norms (e.g., L^2 for least squares) weight errors by integrals, yielding orthogonal projections in Hilbert spaces where the best approximant satisfies \langle f - u, v \rangle = 0 for all v \in U.^[30] Existence follows from the Hahn-Banach theorem in general Banach spaces, though uniqueness requires reflexivity or strict convexity.^[27] Jackson's theorems quantify approximation rates, linking smoothness of f (e.g., via derivatives) to minimal error decay, such as O(1/n^k) for k-times differentiable functions using polynomials of degree n.^[26] Distinctions arise between interpolation (exact matches at points, risking Runge oscillations for high degrees) and non-interpolatory methods like Chebyshev minimax approximation, which equioscillates errors at n+2 points by the equioscillation theorem.^[30] These fundamentals connect to constructive algorithms (e.g., Remez for Chebyshev) and applications in numerical analysis, emphasizing that denser subspaces yield better approximations but computational trade-offs.^[25]

Numerical and Computational Methods

Numerical methods in mathematics employ algorithms to approximate solutions for problems lacking exact closed-form expressions, such as evaluating integrals, estimating derivatives, interpolating functions, and finding roots of nonlinear equations. These techniques rely on discretization and iterative processes, with convergence and error bounds analyzed to ensure reliability. For instance, they approximate continuous processes like the cumulative distribution function of the standard normal, where analytical forms are intractable for arbitrary arguments.^[31] Function approximation often uses interpolation to construct polynomials matching data points. Lagrange interpolation produces a unique polynomial of degree at most n through n+1 distinct points (x_i, f(x_i)), with the error E(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!} \prod_{i=0}^n (x - x_i) for some \xi in the interval.^[32] Piecewise cubic splines enhance smoothness by joining low-degree polynomials at knots, enforcing continuity up to second derivatives; these are computed efficiently via tridiagonal matrix systems in O(n) time for n intervals.^[32] For overdetermined data, least-squares fitting minimizes \|Ax - b\|_2, solved using the pseudoinverse via singular value decomposition (SVD), yielding optimal approximations in the Euclidean norm.^[32] Numerical integration, or quadrature, discretizes the integral \int_a^b f(x) \, dx. The trapezoidal rule approximates it as \frac{h}{2} (f(a) + f(b)) for one interval of width h = b-a, with error bounded by \frac{(b-a)^3}{12} \max |f''(x)|; the composite version over N subintervals achieves O(h^2) global error.^[33] Simpson's rule fits parabolas over pairs of intervals, giving the composite formula \frac{h}{3} (f_0 + 4 \sum_{i \ odd} f_i + 2 \sum_{i \ even} f_i + f_N), with error O(h^4) proportional to the fourth derivative.^[33] Richardson extrapolation refines these by combining results at different step sizes to eliminate leading error terms, boosting accuracy to higher orders.^[32] Finite differences approximate derivatives from function values. The central difference for the first derivative is \frac{f(x+h) - f(x-h)}{2h}, with truncation error O(h^2), outperforming one-sided forward or backward differences which have O(h) error.^[33] Second derivatives use \frac{f(x+h) - 2f(x) + f(x-h)}{h^2}, also O(h^2).^[32] For solving f(x) = 0, bisection iteratively halves a bracketing interval [a,b] where f(a)f(b) < 0, converging linearly with iterations bounded by \log_2 \frac{b-a}{\epsilon} for tolerance \epsilon.^[33] Newton's method iterates x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}, exhibiting quadratic convergence near simple roots provided f' is nonzero and an initial guess is suitable.^[32] The secant method replaces the derivative with a finite difference approximation, maintaining superlinear convergence without explicit derivatives.^[32] Error analysis, including conditioning and stability under floating-point arithmetic, is crucial, as small perturbations can amplify in ill-conditioned problems.^[32]

Notation and Symbolic Representation

The approximately equal to symbol, denoted as ≈, is widely used in mathematics to indicate that two quantities are close in value but not exactly equal, often in numerical contexts such as π ≈ 3.14./13%3A_Appendices/13.03%3A_Some_Common_Mathematical_Symbols_and_Abbreviations) This symbol was introduced by British mathematician Alfred George Greenhill in his 1892 book Applications of Elliptic Functions./13%3A_Appendices/13.03%3A_Some_Common_Mathematical_Symbols_and_Abbreviations) Its adoption reflects the need for a concise way to express approximations without implying exact equality, distinguishing it from the equals sign (=).^[34] In asymptotic analysis, the tilde symbol ∼ denotes that two functions are asymptotically equivalent, meaning their ratio approaches 1 as the independent variable tends to infinity or another limit point; for example, f(n) ∼ n² implies f(n)/n² → 1 as n → ∞. This usage emphasizes relative growth rates rather than absolute numerical closeness, differing from ≈ which typically applies to finite approximations. The congruence symbol ≅, primarily for geometric congruence or algebraic isomorphisms where structures are exactly equivalent under mapping, is occasionally employed for approximations in specific fields like physics, though this is non-standard and context-dependent. Other variants include ≃, sometimes used interchangeably with ≈ for rough equality or in asymptotic expansions, and the negated form ≉ to indicate non-approximation.^[35] Mathematical notation for approximation lacks universal standardization, with choices varying by subfield—numerical analysis favoring ≈, while analysis prefers ∼ for limits—leading to potential ambiguity resolved by explicit definitions in texts.

In Computing and Algorithms

Approximation Algorithms for Optimization

Approximation algorithms address combinatorial optimization problems where exact solutions are computationally intractable, typically because the problems are NP-hard. These algorithms produce feasible solutions guaranteed to be within a specified multiplicative factor, known as the approximation ratio, of the optimal value, running in polynomial time. For a minimization problem, an α-approximation algorithm yields a solution whose cost is at most α times the optimal cost, where α ≥ 1; for maximization, the value is at least the optimal divided by α. This approach trades optimality for efficiency, motivated by the P ≠ NP conjecture, which implies no polynomial-time exact algorithms exist for NP-hard problems unless P = NP.^[36]^[37] The development of approximation algorithms gained prominence in the 1970s with early results like the 2-approximation for vertex cover via greedy selection of high-degree vertices, but advanced significantly in the 1990s through techniques such as linear programming relaxation and semidefinite programming. For instance, the Goemans-Williamson algorithm achieves a 0.878-approximation for MAX-CUT using randomized rounding of semidefinite programs. Problems admit varying degrees of approximability: some have polynomial-time approximation schemes (PTAS), yielding (1 + ε)-approximations for any ε > 0 in polynomial time depending on 1/ε; fully polynomial-time approximation schemes (FPTAS) achieve this with time polynomial in both input size and 1/ε. Examples include the FPTAS for the 0-1 knapsack problem via dynamic programming scaled by ε.^[38]^[39]^[40] Specific NP-hard problems illustrate key results. For metric traveling salesman problem (TSP), Christofides' algorithm provides a 3/2-approximation by combining minimum spanning tree with minimum matching on odd-degree vertices. Set cover admits an O(log n)-approximation via greedy algorithm, selecting sets covering the most uncovered elements, though it is APX-hard, meaning no constant-factor approximation exists unless P = NP. Vertex cover has a simple 2-approximation: include both endpoints of each edge in the maximal matching. Hardness results, bolstered by probabilistically checkable proofs (PCPs) since the 1990s, establish inapproximability thresholds, such as TSP being hard to approximate better than 123/122 unless P = NP. These guarantees enable practical deployment in scheduling, network design, and resource allocation, where near-optimality suffices.^[37]^[41]^[42]

Approximate Computing Paradigms

Approximate computing encompasses design strategies that relax exactness in computations to yield gains in power consumption, speed, or area, particularly for error-resilient workloads like multimedia processing and machine learning inference.^[43] These paradigms exploit application tolerance for bounded errors, enabling trade-offs where output quality degradation remains within acceptable limits, often achieving 2-10x efficiency improvements depending on the technique and domain.^[44] Early explorations date to the 2010s, with foundational surveys classifying approaches across abstraction layers from circuits to algorithms.^[44] Hardware paradigms focus on inexact circuit and architecture modifications. Approximate arithmetic units, such as truncated or segmented adders and multipliers, reduce logic depth and transistor count; for instance, an 8-bit approximate adder can cut power by 20-40% while introducing mean errors below 5% in LSBs for image processing tasks.^[44] Voltage over-scaling operates below nominal levels to induce timing errors, recoverable via error detection circuits like Razor flip-flops, yielding up to 30% energy savings in processors at iso-performance.^[43] Memory approximations include selective precision storage or approximate caching, where stale or low-fidelity data serves non-critical accesses, as in Doppelgänger caches that bypass stalls for 15-25% latency reductions in data-intensive apps.^[45] Software paradigms emphasize algorithmic and code-level relaxations. Loop perforation skips redundant iterations in loops, reducing execution time by 20-50% in matrix computations with output fidelity preserved via error-bounded sampling.^[43] Precision scaling dynamically tunes data types, such as float-to-fixed conversions or bit-width reduction in neural networks, enabling 2-4x speedups in inference while maintaining accuracy above 90% for models like CNNs on datasets such as MNIST.^[44] Compiler and runtime frameworks automate these, incorporating quality-aware transformations like memoization of approximate results or probabilistic pruning in decision trees.^[43] Hybrid paradigms integrate hardware-software co-design, such as quality-programmable processors that expose approximation knobs to software for runtime tuning, or accelerators tailored for approximate DNNs via quantization-aware training, achieving 5-10x efficiency in edge devices.^[46] These approaches underpin derived paradigms like stochastic computing, which encodes values as bit-stream probabilities for ultra-low power but higher latency in signal processing.^[47] Validation metrics, including mean squared error and pass-rate, ensure viability, though paradigm adoption hinges on domain-specific error resilience.^[43]

In Science and Engineering

Approximations in Physical and Natural Sciences

In physical sciences, approximations enable the solution of otherwise intractable equations by simplifying assumptions based on limiting conditions, such as weak interactions or small perturbations, while preserving essential dynamics. This approach underpins models from classical mechanics to quantum field theory, where exact analytic solutions are rare beyond idealized cases. For example, perturbation theory treats a solvable unperturbed system plus small corrections, as in calculating planetary orbits perturbed by general relativity, yielding accurate predictions for Mercury's precession of 43 arcseconds per century beyond Newtonian mechanics.^[48] A foundational example in classical mechanics is the small-angle approximation for the simple pendulum, where for angular displacements θ ≪ 1 radian (typically θ < 0.2 radians or about 11°), sin θ ≈ θ, transforming the nonlinear equation θ'' + (g/L) sin θ = 0 into the linear form θ'' + (g/L) θ = 0, which describes simple harmonic motion with period T = 2π √(L/g) independent of amplitude. This approximation introduces errors of order θ³/6, remaining valid to within 1% for θ up to 23°.^[49] Similarly, in thermodynamics, the ideal gas law PV = nRT approximates real gas behavior by assuming point particles with no interactions and negligible volume, holding well at low pressures (e.g., P < 10 atm) and high temperatures (T > 300 K) for gases like nitrogen or helium, facilitating calculations in engines and atmospheric models.^[50] In quantum mechanics, the Born approximation addresses scattering by replacing the full wavefunction with the incident plane wave in the Lippmann-Schwinger equation, deriving the scattering amplitude f(θ) ≈ -(μ/2π ħ²) ∫ V(r) exp(i q · r) d³r, where q is the momentum transfer, valid for weak potentials (e.g., |V| ≪ ħ² k / μ a, with k the wavenumber and a the range).^[51] This first-order method approximates cross-sections in nuclear and particle physics, such as low-energy neutron-proton scattering. In chemistry, the Hartree-Fock approximation simplifies the many-electron Schrödinger equation by assuming an antisymmetrized product of single-particle orbitals (Slater determinant), minimizing energy variationally and enabling computational predictions of molecular geometries and spectra, though it neglects electron correlation effects requiring post-Hartree-Fock corrections.^[52] In natural sciences extending to biology and earth systems, approximations model emergent behaviors; for instance, in biomolecular simulations, continuum solvent models approximate discrete water molecules as a dielectric medium with ε ≈ 80, reducing computational cost while capturing electrostatic solvation energies in protein folding dynamics.^[53] Such methods balance accuracy and feasibility, with errors quantified via convergence tests against all-atom references, highlighting approximations' role in causal inference from noisy empirical data.^[54]

Engineering Techniques and Dimensional Analysis

Engineering approximations frequently employ dimensional analysis to derive scalable relationships among physical quantities, reducing the complexity of governing equations by identifying dimensionless parameters that capture essential behaviors without requiring detailed solutions to partial differential equations. This approach leverages the principle of dimensional homogeneity, ensuring that any valid physical relation must balance across fundamental dimensions—typically mass (M), length (L), and time (T)—to yield predictive scaling laws applicable to prototype design, model testing, and parameter optimization.^[55]^[56] Rayleigh's method, an intuitive precursor to more formal techniques, assumes a physical quantity depends on a product of powers of relevant variables and solves for exponents that render the expression dimensionless. For example, Lord Rayleigh applied this in 1879 to approximate the gravitational collapse time of a uniform sphere as t \approx \sqrt{\frac{3\pi}{32 G \rho}}, where G is the gravitational constant and \rho is density, demonstrating how dimensional consistency alone can yield order-of-magnitude estimates accurate to within factors of unity for self-similar systems. This method excels in preliminary design phases, such as estimating fluid drag or heat transfer rates, but requires prior insight into influencing variables and cannot determine functional dependencies between groups.^[57] The Buckingham π theorem, formalized in 1914, systematizes this process by asserting that for a problem involving n fundamental dimensions and k dimensional variables, the solution can be expressed through k - n independent dimensionless π groups, facilitating similarity analysis in engineering experiments. In aerodynamics, for instance, wind tunnel models achieve dynamic similarity by matching Reynolds number Re = \frac{\rho V L}{\mu} (involving density \rho, velocity V, length L, and viscosity \mu) and Mach number, allowing scaled approximations of full-scale lift and drag coefficients with errors often below 5% for high-Re flows when compressibility effects are negligible. Applications extend to chemical engineering for reactor scaling, where π groups like Damköhler number approximate reaction rates, and to structural mechanics for buckling predictions via Euler's formula derivations.^[58]^[55] Despite its efficacy, dimensional analysis approximations assume complete variable selection and neglect higher-order effects, potentially introducing errors in non-self-similar regimes, such as turbulent transitions where additional empirical correlations are needed; thus, it complements but does not supplant computational fluid dynamics or finite element methods for precise validations. In practice, engineers combine it with order-of-magnitude estimates—for example, approximating pipe flow pressure drops via Darcy-Weisbach equation forms derived from π groups—to balance computational cost and accuracy in iterative design processes.^[59]

In Law and Other Disciplines

Legal and Juridical Applications

In the assessment of damages in civil litigation, courts often accept reasonable approximations when precise quantification is impractical due to incomplete data or inherent uncertainties. This principle applies in torts, contracts, and securities enforcement, where plaintiffs or regulators must demonstrate losses or gains with sufficient evidentiary support to avoid speculation. For example, under U.S. federal securities law, the Securities and Exchange Commission (SEC) is required to prove a "reasonable approximation" of defendants' ill-gotten gains for disgorgement remedies, shifting the burden to defendants to rebut with more accurate figures once a prima facie showing is made.^[60] This approach balances evidentiary rigor with practical realities, as exactitude could otherwise preclude recovery in complex fraud cases involving estimated profits from 2009-2015 SEC actions.^[60] The reasonable approximation standard intersects with proximate causation in liability determinations, creating doctrinal tensions; while damages may tolerate estimates, causation demands closer factual linkages to avoid overbroad liability. In a 2018 analysis of SEC v. Teo, courts upheld approximations of $2.9 million in gains despite evidentiary gaps, provided they derive from reliable methodologies like expert valuations or market data.^[60] Critics contend this lowers the prosecution's threshold unduly, potentially incentivizing aggressive enforcement without commensurate proof burdens. In family law, the approximation rule, codified in states like Minnesota since 2000, directs courts to approximate pre-dissolution parenting time and involvement when allocating post-divorce custody and support obligations. This method prioritizes continuity by basing schedules on historical caregiving proportions—e.g., if a parent provided 60% of direct care pre-separation, courts approximate similar post-separation allocations absent countervailing factors like abuse.^[61] Empirical studies from 2001-2005 Minnesota cases show it reduces litigation by standardizing approximations but faces critique for rigidity, as it may undervalue evolving child needs under attachment theory, which emphasizes secure bonds over mere historical replication.^[61] In comparative and supranational jurisprudence, approximation of laws denotes the systematic alignment of national legal frameworks with international or regional standards, prominently in European Union enlargement processes. Under Article 2 of the 1993 Copenhagen European Council criteria, candidate states must approximate their acquis communautaire—e.g., harmonizing 35 chapters of EU law covering 1995-2023 accessions like Poland's 2004 entry—through legislative reforms eliminating divergences in areas like competition and environment.^[62] This entails quantitative benchmarks, such as approximating GDP impacts or compliance rates, verified via progress reports; failure, as in Turkey's stalled candidacy by 2023, underscores enforcement via conditionality rather than mere formal adoption.^[62]^[63] Formal mathematical treatments extend to juridical reasoning via logic-based approximations for vague predicates, as proposed in 1979 by John McCarthy, enabling computational representation of legal concepts like "negligent" or "reasonable" through interval logics or fuzzy thresholds.^[64] In evidence evaluation, probabilistic approximations—e.g., assigning numerical weights to admissibility under Federal Rules of Evidence—aid judges in balancing relevance against prejudice, with studies showing higher numeracy correlates to more consistent decisions in 2017 experiments involving mock juries.^[65]^[66] Such tools, while not binding, inform predictive models in legal analytics, approximating case outcomes with 70-85% accuracy in datasets from 1980-2020 U.S. federal courts.^[67]

Economic, Statistical, and Philosophical Contexts

In statistics, approximation methods enable the analysis of complex distributions by substituting simpler, tractable forms that closely mimic the target under certain conditions. The normal approximation to the binomial distribution, applicable when the number of trials n is large and success probability p satisfies np \geq 10 and n(1-p) \geq 10, replaces the exact binomial probabilities with those from a normal distribution with mean np and variance np(1-p), facilitating hypothesis testing and confidence intervals for large samples.^[68] Series approximation methods, such as Edgeworth and saddlepoint expansions, refine asymptotic distributions by incorporating higher-order terms to improve accuracy for densities and cumulative distribution functions in finite samples.^[69] These techniques rely on limit theorems that justify convergence to normality via the central limit theorem, but their validity diminishes for small samples or skewed data, necessitating empirical validation.^[70] In economics and econometrics, approximations simplify the solution of high-dimensional dynamic models where exact computation is infeasible. Perturbation methods linearize nonlinear systems around a steady-state equilibrium, expanding solutions in Taylor series to first or second order; for instance, in real business cycle models, a first-order approximation yields log-linearized Euler equations solvable via matrix methods, capturing deviations from steady state with errors on the order of the perturbation parameter's square. Projection methods, such as finite element or polynomial approximations, discretize policy functions over a grid to minimize residuals in Bellman equations, commonly applied in asset pricing and growth models since the 1980s.^[71] Economic models inherently approximate reality by abstracting from infinite variables, as noted in analyses of simulation-based inference, where large-sample approximations to estimator distributions underpin hypothesis tests despite finite-data deviations.^[72]^[70] These methods trade precision for computational feasibility, with global approximations preferred for large shocks over local ones that fail under regime shifts.^[73] Philosophically, approximation intersects epistemology and philosophy of science through the notion of approximate truth, where scientific theories progress by increasing verisimilitude—closeness to an ideally true description—rather than achieving exact correspondence. Thomas Weston's framework defines approximate truth via a metric of structural similarity between theory and reality, arguing that successive theories retain core accurate elements while refining inaccuracies, as in the shift from Newtonian to relativistic mechanics, supporting scientific realism against instrumentalist dismissal of unobservables.^[74] In epistemology, approximations represent targets inexactly yet adequately for practical inference, distinguishing them from idealizations that posit counterfactual auxiliaries; for example, Galileo's frictionless plane approximates rolling motion by neglecting dissipative forces, yielding laws valid within error bounds rather than fabricating impossible scenarios.^[75] Critics contend that "approximate truth" risks vagueness without specified metrics, potentially conflating empirical adequacy with ontological commitment, though defenders invoke content-increasing arguments: theories approximating distant facts better explain novel predictions.^[76] This view counters naive falsificationism by emphasizing that scientific advance involves refining approximations amid idealizing assumptions, as explored in analyses of "exact" sciences where approximations underpin derivations despite idealized premises.^[77]

Limitations, Criticisms, and Debates

Sources of Error and Inaccuracy

Round-off error in numerical approximations stems from the inherent limitations of finite-precision arithmetic in digital computers, where real numbers are stored in binary floating-point formats that cannot exactly represent most irrational or even rational values beyond a certain decimal precision. For instance, the IEEE 754 double-precision standard provides about 15 decimal digits of accuracy, but operations such as subtraction of nearly equal quantities can amplify relative errors, known as catastrophic cancellation.^[78] ^[79] This type of error is unavoidable in any computational approximation and scales with the machine epsilon, typically on the order of $2^{-53} \approx 1.11 \times 10^{-16} for double precision.^[80] Truncation error, conversely, results from deliberately simplifying continuous mathematical models into discrete or finite forms, such as truncating an infinite Taylor series after n terms or using a finite difference scheme to approximate derivatives. The magnitude of this error is often bounded by the remainder term, as in the Lagrange form for Taylor expansions, where neglecting higher-order derivatives introduces inaccuracies proportional to the step size h or truncation order.^[78] ^[81] For example, the forward difference approximation \frac{f(x+h) - f(x)}{h} \approx f'(x) yields a truncation error of O(h), which diminishes as h decreases but competes with increasing round-off error at very small h.^[79] In scientific and engineering contexts, modeling errors arise when approximations simplify real-world phenomena by ignoring complexities like nonlinear couplings, stochastic effects, or unmodeled variables, leading to systematic biases rather than random noise. Such discrepancies are evident in fluid dynamics simulations where inviscid Euler equations approximate viscous Navier-Stokes flows, underpredicting drag by factors up to 10% in certain regimes.^[81] These errors persist even with exact numerical solution of the model, highlighting the causal gap between idealized representations and empirical reality. Error propagation further compounds inaccuracies in approximate computations, where uncertainties in inputs or intermediate steps accumulate and amplify through functional dependencies, governed by formulas like \delta z \approx \left| \frac{\partial f}{\partial x} \right| \delta x + \left| \frac{\partial f}{\partial y} \right| \delta y for z = f(x,y). In ill-conditioned problems, such as solving near-singular linear systems, relative errors can grow exponentially with condition number \kappa(A), exceeding $10^6 in matrices from physical inversions like seismic tomography.^[82] ^[83] Mitigation requires techniques like higher-precision arithmetic or stabilized algorithms, but trade-offs often necessitate balancing these against computational cost.^[80]

Trade-offs Between Precision and Efficiency

In approximation methods, higher precision—quantified by smaller error bounds, tighter approximation ratios, or reduced relative discrepancies—typically incurs greater computational demands in terms of time, space, or energy, often scaling superlinearly due to the inherent complexity of minimizing residuals or optimizing over vast search spaces. This arises from first-principles limits, such as the exponential growth in solution space dimensionality for optimization problems or the inverse relationship between discretization step size and operation count in numerical schemes, compelling practitioners to select approximations based on task-specific tolerances.^[84]^[85] In approximation algorithms for combinatorial optimization, particularly NP-hard problems, algorithms achieving superior approximation ratios, like those within (1+ε) of optimality via polynomial-time approximation schemes, often exhibit running times polynomial in input size n but exponential in 1/ε, whereas faster variants with fixed ratios (e.g., 2-approximations for metric TSP running in O(n^2) time) sacrifice guarantee tightness for practicality. Time-approximation trade-off frameworks formalize this by parameterizing runtime as poly(n, 1/r) for approximation factor r, enabling tunable efficiency; for instance, in set cover problems, improving from O(log n)-approximation to constant-factor requires substantially longer execution.^[86]^[87] Numerical approximations, such as finite difference methods for partial differential equations, exemplify spatial trade-offs: second-order central differences offer O(h^2) truncation error but demand smaller h for precision, quadrupling grid points (and thus operations) in 2D when h halves, while higher-order schemes (e.g., fourth-order) enhance accuracy per step yet amplify per-point stencil computations, escalating overall cost without linear gains. Adaptive refinements mitigate this partially by localizing fine grids, but global convergence still ties error reduction to iterative solves whose expense grows with condition number sensitivity.^[85]^[88] Approximate computing in hardware-software systems exploits error resilience for energy efficiency, as in machine learning where inexact multipliers or reduced-precision arithmetic (e.g., 8-bit vs. 32-bit floats) cut dynamic power quadratically with bit width; empirical evaluations show inference energy dropping 77% on image classification tasks with accuracy falling merely 1.1 percentage points, tolerable in non-critical domains like media processing but riskier in control systems. Such techniques, including loop perforation or memoization of approximate values, quantify trade-offs via application-specific metrics, revealing that 10-50% accuracy concessions often yield 2-10x energy savings, bounded by output quality thresholds.^[89]^[90]^[91]

References

[1]
What exactly is "approximation"? - Mathematics Stack Exchange
Jan 31, 2013 · An approximation is a representation of something that is not exact, but still close enough to be useful.What's an "approximation"? - Mathematics Stack ExchangeDifference between "≈", "≃", and "≅" - Mathematics Stack ExchangeMore results from math.stackexchange.com
[2]
Understanding the Approximate Value of a Number in Grade 5 Math
Jul 25, 2023 · In mathematics, the process of approximation is the process of finding a value that is close enough to the actual value for it to be ...
[3]
[PDF] The art of approximation in science and engineering
An approximate model can be better than an exact model! This counterintuitive statement suggests a few questions. First, how can approximate mod.
[4]
[PDF] An Exploration of the Approximation of Derivative Functions via ...
The mathematical models of most science and engineering problems require such an approximation if computer simulations are desirable [3, 8]. In many ...<|control11|><|separator|>
[5]
The History of Approximation Theory: From Euler to Bernstein
Approximation theory began with Euler, developed with Chebyshev and the Russian school, and then Bernstein, who unified East and West approaches.
[6]
History of Approximation Theory
This is our list of past contributors to approximation theory. Articles on HAT Articles devoted to the history of approximation theory.Historical Papers · Approximation People · Articles On HAT · Links
[7]
Math Symbols List (+,-,x,/,=,...) - RapidTables.com
weak approximation, 11 ~ 10. ≈, approximately equal, approximation, sin(0.01) ≈ 0.01. ∝, proportional to, proportional to. y ∝ x when y = kx, k constant.
[8]
Difference between "≈", "≃", and "≅" - Mathematics Stack Exchange
Jul 11, 2014 · ≈ is used mostly for the approximate (read: calculated) value of a mathematical expression like π≈3.14 In LaTeX it is coded as \approx .notation - Definition of the approx. symbol - Math Stack ExchangeDifferent use of approximate equality symbols - Math Stack ExchangeMore results from math.stackexchange.com
[9]
Approximate - Etymology, Origin & Meaning
Originating from Latin ad "to" + proximare "come near," from proximus "nearest," approximate means "near in position" (adj.) and "to come close" (verb).
[10]
approximation, n. meanings, etymology and more
approximation is a borrowing from Latin, combined with an English element. Etymons: Latin approximāre, ‐tion suffix.
[11]
Mesopotamian square root approximation by a sequence of rectangles
Jun 9, 2023 · The ancient Mesopotamians took a geometric approach and understood √ 2 as the diagonal of a unit square. Two numerical estimates were known at ...
[12]
David Wilson History of Mathematics Rutgers, Spring 2000
A famous Egyptian piece of papyrus gives us another ancient estimation for pi. Dated around 1650 BC, the Rhind Papyrus was written by a scribe named Ahmes.
[13]
[PDF] 11.3. Eudoxus' Method of Exhaustion
May 9, 2024 · Note 11.3.C. We saw in Archimedes repeated use of the method of exhaustion that he refers to making approximations “as close as we please.” ...
[14]
How Archimedes showed that $π$ is approximately equal to 22/7
Aug 18, 2020 · Its value is approximately equal to 3.141592. Since Archimedes was one of the first persons to suggest a rational approximation of 22/7 for \pi, ...<|separator|>
[15]
[PDF] Archimedes' calculation of π
It depends on approximating the area of a circle by the area of inscribed and circumscribed regular polygons of many sides. where sn = sin 2π/n . q2(1 + p1 − ...
[16]
The history of approximation theory: From euler to bernstein
The problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance in contemporary mathematics ...
[17]
Approximation Definition (Illustrated Mathematics Dictionary)
A result that is not exact, but close enough to be used. Examples: • the cord measures 2.91, and you round it to "3", as that is good enough.
[18]
Approximation | Research Starters - EBSCO
Approximation is a method used in both everyday contexts and mathematical calculations, where a value or object is close to but not exactly equal to another.
[19]
Approximation and Error Bounds
Approximation finds a close, easily computed quantity. Error bound is an upper limit on the error, and smaller error bounds mean better approximations.
[20]
Error bounds — Krista King Math | Online math help
Aug 24, 2017 · That's where the error bound formulas come in. They tell us the maximum possible error in our approximations. So if the error bound is very ...
[21]
Error Bounds | Teaching Calculus
Feb 22, 2013 · Error bounds, like Alternating Series and Lagrange, give a number B to show how close an approximation is to the actual value, within B units.
[22]
Calculus I - Linear Approximations - Pauls Online Math Notes
Nov 16, 2022 · In this section we discuss using the derivative to compute a linear approximation to a function. We can use the linear approximation to a ...
[23]
4.2: Linear Approximations and Differentials - Mathematics LibreTexts
Jan 17, 2025 · Learning Objectives. Describe the linear approximation to a function at a point. Write the linearization of a given function.
[24]
Approximations - Nexus Wiki - ComPADRE
Aug 13, 2018 · A key component of learning to build mathematical models of physical systems is the idea of approximation.
[25]
Approximation Theory - an overview | ScienceDirect Topics
Although its origin is traced back to the fundamental work of Bernstein, Chebyshev, Haar, Hermite, Kolmogorov, Lagrange, Markov, and others, this branch of ...
[26]
[PDF] Approximation Theory – Lecture 1 1 Basic concepts - DAMTP
Approximation Theory – Lecture 1. 1 Basic concepts. 1.1 Approximation and best approximation. Let X be a metric space, which means that, for every f and g in X ...
[27]
[PDF] A Short Course on Approximation Theory
The key to the problem of polynomial approximation is the fact that each of the spaces. Pn, described in Examples 1.2 (5), is finite-dimensional. To see how ...
[28]
Weierstrass Approximation Theorem -- from Wolfram MathWorld
Weierstrass Approximation Theorem ... . In words, any continuous function on a closed and bounded interval can be uniformly approximated on that interval by ...
[29]
11.7 The Stone–Weierstrass theorem
Weierstrass approximation theorem. If $f \colon [a,b] \to \C$ is continuous, then there exists a sequence $\{ p_n \}_{n=1}^\infty$ of polynomials ...
[30]
[PDF] Approximation Theory
In approximation theory one distinguishes between interpolation and so-called least-squares problems. In the former one wants the approximate model to take.
[31]
https://math.libretexts.org/Workbench/Numerical_Methods_with_Applications_(Kaw)/1:_Introduction/1.01:_Introduction_to_Numerical_Methods
[32]
[PDF] Numerical Analysis: Algebra and Approximation
Dec 13, 2019 · This course covers numerical solutions of linear and nonlinear equations, approximation techniques, linear algebra, optimization, and numerical ...
[33]
None
Summary of each segment:
[34]
Who is the first to use $\approx$ to denote "approximately equal"?
May 15, 2025 · ... Alfred Greenhill in (1892, Applications of Elliptic Functions, p.340): ... Best I could establish, the symbol ≈ was designed by committee in 1911.
[35]
Approximation - Wikipedia
An approximation is anything that is intentionally similar but not exactly equal to something else.
[36]
Usage of $\sim$, $\approx$, $\simeq$, and $\cong$ in observational ...
Mar 22, 2017 · ≃ and ≈ both mean "approximately equal to". I don't think ≅ is used so often, but if I read it, I would interpret is as the same as the two ...
[37]
[PDF] Approximation Algorithms - Cornell: Computer Science
To make the definition of approximation algorithms precise, we say that an algorithm ALG for a maximization problem is an α-approximation algorithm (or that ...
[38]
[PDF] Approximation algorithms for NP-hard optimization problems
In this chapter, we discuss approximation algorithms for optimization problems. An optimization problem consists in finding the best (cheapest, heaviest, ...
[39]
[PDF] Approximation Algorithms - CMU School of Computer Science
Mar 30, 2023 · Definition: Approximation Algorithm. Given some optimization problem with optimal solution value OPT, and an algorithm which produces a ...
[40]
Approximation algorithms - PNAS
Nov 25, 1997 · This use of semidefinite programming was introduced by Goemans and Williamson (5) and subsequently has been adapted to several other settings (6) ...
[41]
[PDF] Approximation Algorithms
In Part II, we present linear programming based algorithms. These are categorized under two fundamental techniques: rounding and the primal– dual schema. But ...
[42]
[PDF] Chapter 18 APPROXIMATION ALGORITHMS
In the 1990s, the work in probabilistically checkable proofs (PCPs) was the major breakthrough in proving hardness results, and arguably in theoretical computer ...
[43]
[PDF] Approximation algorithms
Example 1: Vertex cover. Problem: given graph G = (V,E), find smallest V 0 ... APPROX-VERTEX-COVER is a poly-time 2-approximation algorithm. Proof. The ...
[44]
Approximate Computing Survey, Part I: Terminology and Software ...
Jul 20, 2023 · This survey reviews approximate computing, its motivation, terminology, principles, and classifies software & hardware approximation techniques.
[45]
Approximate Computing: A Survey | IEEE Journals & Magazine
Dec 7, 2015 · This paper presents a survey of state-of-the-art work in all aspects of approximate computing and highlights future research challenges in this field.
[46]
[PDF] A Taxonomy of Approximate Computing Techniques
Abstract—Approximate computing is the idea that systems can gain performance and energy efficiency if they expend less effort.
[47]
https://algos.inesc-id.pt/projects/approx/FCT/Ref-8.pdf
[48]
[PDF] Approximate Computing: An Emerging Paradigm For Energy ...
This paper reviews recent progress in the area, including design of approximate arithmetic blocks, pertinent error and quality measures, and algorithm-level ...
[49]
[PDF] Tutorial on obtaining Taylor Series Approximations without ...
Feb 2, 2018 · A physics example of perturbation theory is the problem of calculating the path of the planet Mercury as it orbits the Sun.
[50]
Oscillation of a Simple Pendulum - Graduate Program in Acoustics
The small angle approximation is valid for initial angular displacements of about 20° or less. If the initial angle is smaller than this amount, then the simple ...<|separator|>
[51]
12.4: Ideal Gas Law - Physics LibreTexts
Nov 5, 2020 · With the ideal gas law we can figure pressure, volume or temperature, and the number of moles of gases under ideal thermodynamic conditions.
[52]
14.2: Born Approximation - Physics LibreTexts
Mar 31, 2025 · The Born approximation is valid provided that ψ ⁡ ( r ) is not too different from ψ 0 ⁡ ( r ) in the scattering region.
[53]
9.3 The Hartree-Fock Approximation
1 Wave function approximation. The key to the basic Hartree-Fock method is the assumptions it makes about the form of the electron wave function. It will be ...<|separator|>
[54]
On the Effect of the Various Assumptions and Approximations used ...
Dec 30, 2020 · In this overview, advantages and shortcomings of assumptions and approximations commonly used when simulating bio-molecular systems are considered.
[55]
[PDF] Taking Approximations Seriously: - PhilSci-Archive
modern theoretical physics—some examples being Darrigol (2005, 2013), James and Joas. (2015) and Kaiser (2009) (which we discuss further below). We see the ...
[56]
[PDF] Buckingham Pi Theorem - UC Davis Math
The application of dimensional analysis usually reduces the number of essential independent quantities. This is the starting point of modelling where the ...
[57]
[PDF] 6.055J / 2.038J The Art of Approximation in Science and Engineering
Jan 14, 2008 · The approximate min imization predicts the correct value. Even if the method were not so charmed, there is no point in doing a proper, calculus ...
[58]
Rayleigh Method & Buckingham Pi Theorem
May 3, 2014 · RAYLEIGH METHOD. A basic method to dimensional analysis method and can be simplified to yield dimensionless groups controlling the phenomenon.
[59]
[PDF] Notes on Thermodynamics, Fluid Mechanics, and Gas Dynamics
Dec 15, 2021 · The key component to dimensional analysis is the Buckingham-Pi Theorem: If an equation involving k variables is dimensionally homogeneous, ...
[60]
[PDF] 6.055J / 2.038J The Art of Approximation in Science and Engineering
The next way to eliminate spurious complexity is the method of dimensional analysis or dimensionless groups. The following mathematical problem shows how ...
[61]
[PDF] Reasonable Approximation and Proximate Cause - Scholars Crossing
This imbalance has created a contradiction in the law because the prosecution's burden of proving proximate causation runs directly counter to the reasonable ...
[62]
Is the approximation rule in the child's best interests? A critique from ...
Aug 7, 2025 · For example, under the approximation rule, the proportion of time parents spent with their children performing direct caregiving functions prior ...
[63]
Chapter 3 Approximation of Laws - Oxford Academic
3 The approximation or harmonization of laws can be understood as a process by which MS' legal provisions progressively converge towards standards defined by ...
[64]
Framework for the Approximation of National Legal Systems with the ...
Aug 10, 2025 · In order to explain and analyse this evolution, this paper will first focus on the nature of the provisions on law approximation set by the ...
[65]
[PDF] approximate.pdf - Formal Reasoning Group - Stanford University
In this article, assertions involving approximate concepts are represented in mathematical logic. A sentence involving an approximate concept may have a ...
[66]
EVIDENCE LAW - A MATHEMATICAL APPROACH TO LEGAL ...
Nov 6, 2017 · Using numbers can be powerfully effective when making weighing arguments on evidentiary admissibility to a judge.
[67]
[PDF] NUMERACY AND LEGAL DECISION MAKING - Arden Rowell
ABSTRACT. This Article presents an empirical study of how numeracy—or math skill—relates to legal decision making. We describe three findings. First,.
[68]
[PDF] Mathematical Models For Legal Prediction, 2 Computer L.J. 829 ...
INTRODUCTION. This article discusses some ideas concerning the prediction of judicial decisions by means of mathematical models. In a recent ar-.
[69]
9.1.2.1 - Normal Approximation Method Formulas - STAT ONLINE
To use the normal approximation method a minimum of 10 successes and 10 failures in each group are necessary (i.e., n p ≥ 10 and n ( 1 − p ) ≥ 10 ).
[70]
Series approximation methods in statistics - UConn Library
This book presents theoretical results relevant to Edgeworth and saddlepoint expansions to densities and distribution functions.
[71]
Three Examples of Progress in Econometric Theory
The other, related theme involves the way economists make large-sample approximations to the distributions of estimators and test statistics.
[72]
Chapter 12 Approximation, perturbation, and projection methods in ...
This chapter examines local and global approximation methods that have been used or have potential future value in economic and econometric analysis.
[73]
Economic Models: Simulations of Reality
All economic models, no matter how complicated, are subjective approximations of reality designed to explain observed phenomena. It follows that the model's ...
[74]
[PDF] approximation, perturbation, and projection methods in economic ...
This article examines local and global approximation methods, perturbation methods, and projection methods used in economic and econometric analysis.
[75]
Approximate Truth and Scientific Realism | Philosophy of Science
Apr 1, 2022 · This paper describes a theory of accuracy or approximate truth and applies it to problems in the realist interpretation of scientific ...<|separator|>
[76]
Knowledge, adequacy, and approximate truth - PubMed
May 29, 2020 · Approximation involves representing things in ways that might ... Knowledge, adequacy, and approximate truth. Conscious Cogn. 2020 Aug ...
[77]
Approximate truth | SpringerLink
Approximate truth is, however, a vague notion, and specification of quantity terms and of a sense of approximation are needed to make precise applications of it ...Conclusion · References
[78]
[PDF] Towards a Philosophy of Approximations in the 'Exact' Sciences
Abstract: The issue of approximations is mostly neglected in the philosophy of science, and sometimes misinterpreted. The paper demonstrates that ap-.
[79]
1.03: Sources of Error - Mathematics LibreTexts
Oct 16, 2023 · There are two sources of error - one comes from approximating numbers and another from approximating mathematical procedures.Introduction · References · Lesson 2: Truncation Error · Examples of Truncation Error
[80]
Numerical Errors: Roundoff and Truncation - Michael Zingale
roundoff error: an error arising from how numbers are represented on computers. · truncation error: an error that arises from approximations we make in turning ...
[81]
[PDF] Chapter 01.03 Sources of Error - Holistic Numerical Methods
After reading this chapter, you should be able to: 1. know that there are two inherent sources of error in numerical methods – round- off and truncation error,.
[82]
[PDF] Numerical Methods for Civil Engineers Errors and Stopping Criteria
Feb 8, 2009 · Two major sources of error in numerical methods are: Roundoff error ... Truncation error: Numerical methods employ approximations to represent ...
[83]
Propagation of Error - Chemistry LibreTexts
Aug 29, 2023 · Propagation of Error (or Propagation of Uncertainty) is defined as the effects on a function by a variable's uncertainty.Derivation of Exact Formula · Cross Terms · Derivation of Arithmetic Example
[84]
[PDF] Propagation of Uncertainty through Mathematical Operations - MIT
Below we investigate how error propagates when mathematical operations are performed on two quantities x and y that comprise the desired quantity q. Addition ...
[85]
Time-approximation trade-offs for inapproximable problems
In this paper we consider time-approximation trade-off schemes. Such a scheme is an algorithm that, given an input of size n and a parameter r, produces an r- ...
[86]
[PDF] Finite Difference Method - CS 357
We can get better accuracy with Central Finite Difference with the (possible) increased computational cost. How small should the value of h? Truncation ...
[87]
[PDF] Time-Approximation Trade-offs for Inapproximable Problems - DROPS
On the algorithmic side, the goal of this paper is to design time-approximation trade-off schemes. By this, we mean an algorithm which, when given an instance ...
[88]
[PDF] Time-Approximation Trade-offs for Inapproximable Problems
In this paper we consider time-approximation trade-off schemes. Such a scheme is an algorithm that, given an input of size n and a parameter r, produces an r- ...
[89]
11.1 Finite difference methods - Financial Mathematics - Fiveable
Accuracy vs computational cost. Higher-order schemes improve accuracy but increase computational complexity; Fine grids enhance precision at expense of ...
[90]
[PDF] Exploring the Accuracy – Energy Trade-off in Machine Learning
On one data set, we show that it is possible to reduce the energy consumption for inference by 77%, with accuracy only Page 2 dropping from 94.3% to 93.2%.
[91]
[PDF] Approximate Computing Techniques For Accuracy-Energy Trade-offs
In this thesis, we proposed new techniques in different areas of hardware approximate computing paradigm. We extensively evaluated our results using ...<|separator|>
[92]
Close Enough to Correct: Approximate Computing
May 17, 2017 · Some examples include image processing, multimedia applications and machine learning. These inaccuracies can be exploited to build circuits with ...