Numerical Root Calculator
Find an approximate real zero of a polynomial or sin x with Newton, bisection, or secant. Enter a starting point or bracket and inspect the stopping criterion. Runs locally.
Enter values to calculate.
Trust summary CVP VERIFIED · production STALE · CVP protocol 1.0.0-proposed · Core assurance · all published methods
- Input interpretation
- Enter values to calculate.
- Result
- —
- Verified scope
- all published methods
- Assurance
- Core
- Declared partition coverage
- PASS · 4/4 declared partitions (newton, bisection, secant, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- One approximate real zero of a polynomial or sin x by Newton, bisection, or secant, with an engine-linked figure of f(x)=0.
- Scope
- The Result Card includes an engine-linked figure of f around the published root (marker is pack.root on y=0; Newton/secant seeds and the bisection bracket are read from inputs, not REST fields). Same fnValue as REST/MCP. Iterate history is not a REST field.
- Verification
- Engine tested · Source checked · v1.1.3 · CVP VERIFIED · production STALE · CVP protocol 1.0.0-proposed · Core assurance · all published methods· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.1.3 · CVP protocol 1.0.0-proposed · Evidence 2026-10-06.polynomial-value-underflow
- Verification revision
- 2026-10-06.polynomial-value-underflow · 1/1 property · digest 9e6c673d4478
- Legacy regression
- 19/19 tests · Production surface contract 5/5
- Trust layers
- Verification VERIFIED · Production STALE · Overall CVP state: VERIFIED_STALE under CVP 1.0.0-proposed
- CVP status
- STALE · Capability production binding: STALE · Site report: STALE · Evidence changed after the last successful production attestation. Re-attestation required.
- Reference
- O1 model · O2 expected_values · O2 numerical_behavior
- Interfaces
- PASS · UI (SSR) / REST / MCP
- Supplemental domain review
- Not performed
- Named expert review
- Not performed
- CVP suite
- 7/7 golden · 6/6 CVP boundary · 13/13 invalid · 1/1 property · 5/5 cross-interface · 1/1 cross-calculator · 5/5 CVP contract · Manifest
- Sources
- NIST Digital Library of Mathematical Functions §3.8 — Nonlinear Equations
- MIT OpenCourseWare — Numerical Fluid Mechanics, Lecture 3
- Evidence
- 5 legacy golden · 7 legacy boundary · legacy regression suite · 7/7 oracle-backed golden · 13/13 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Enter f and a method
Poly needs coeffs (constant first). x² − 2 is −2,0,1. Newton needs x0; bisection needs a and b with opposite signs.
Read the approximate root
The main value is a rounded display approximation; result details and REST retain the full binary64 root. Signed residual f(x), coefficient-scaled residual, and tolerance are separate. Iterations count solver updates after the initial guess (iteration 0); bisection counts midpoint evaluations.
Example calculations
Common configurations with formula and result.
√2
x² − 2 = 0, Newton from 1.5
Linear
x − 4 = 0
sin x = 0
Newton from 3
Numerical Root calculator specification
Version 1.1.3 · Engine tested
- Engine tested 19/19 tests · Production surface contract 5/5
- Named expert review Not performed
- Calculation version 1.1.3
- Definition
- A real root of f(x)=0 is a number r with f(r)=0. This calculator approximates a zero of a polynomial or sin x using Newton, bisection, or secant. eˣ has no finite real zero.
- What it calculates
- One approximate real zero of a polynomial or sin x by Newton, bisection, or secant, with an engine-linked figure of f(x)=0.
- Inputs
- method
- integrand?
- coeffs?
- x0?
- x1?
- a?
- b?
- Outputs
- root
- residual
- scaled_residual?
- iterations
- tol
- stop_reason
- Formula
f(x) = 0- Assumptions
- The Result Card includes an engine-linked figure of f around the published root (marker is pack.root on y=0; Newton/secant seeds and the bisection bracket are read from inputs, not REST fields). Same fnValue as REST/MCP. Iterate history is not a REST field.
- Not CAS / not complex roots listed
- Not a system of equations
- Not all-roots of a polynomial
- Not ⁿ√a
- Polynomial degree ≤ 8
- Polynomial convergence uses |f(x)| divided by Σ|cᵢ||x|ⁱ; sin uses |sin x|. A small residual alone does not prove a nearby root for every polynomial.
- Polynomial solving normalizes finite coefficients before evaluating signs, steps, and scaled residuals. The published signed residual remains the raw binary64 evaluation. A zero scale at x=0 with c₀=0 is an exact root; an underflowed zero elsewhere is not accepted as an exact root.
- Units
- dimensionless
- Boundary conditions
- no sign change → INVALID_INPUT
- Bisection requires opposite endpoint signs even for tiny finite function values → INVALID_INPUT
- all-zero coefficients or an underflowed bisection endpoint sign → INVALID_INPUT
- an underflowed bisection midpoint sign → NO_CONVERGENCE
- unknown method (including cas, halley) → INVALID_MODE
- no convergence → NO_CONVERGENCE
- eˣ=0 has no finite real root → NO_CONVERGENCE
- Example
- newton coeffs=-2,0,1 x0=1.5 → √2
- Validation cases
3 published on this page · 19/19 tests · Production surface contract 5/5 · View evidence
- method=newton coeffs=-2,0,1 x0=1.5 → root≈1.414213562
- method=halley coeffs=-2,0,1 x0=1 → INVALID_MODE
- method=newton integrand=exp x0=0 → NO_CONVERGENCE
- Sources
- NIST Digital Library of Mathematical Functions §3.8 — Nonlinear EquationsSupports: Newton's iteration, bisection with opposite-sign endpoints, and the secant method for approximate zeros
- MIT OpenCourseWare — Numerical Fluid Mechanics, Lecture 3Supports: Lecture 3 covers bisection, Newton-Raphson, and secant methods for roots of nonlinear equations
- NIST Digital Library of Mathematical Functions §3.8 — Nonlinear Equations
- Calculation version
- 1.1.3
Background
Interpretation and common distinctions.
How should I check an approximate root?
Check the reported stopping reason before interpreting the displayed root. For a polynomial, this calculator compares the coefficient-scaled residual, |f(x)| / Σ|cᵢ||x|ⁱ, with the tolerance; bisection can also stop when its bracket is narrow enough. The signed residual is the raw binary64 evaluation, while the scaled residual is used for the polynomial stopping test. A small residual alone does not bound the error in x: NIST DLMF §3.8(vi) explains how sensitive polynomial zeros can be to coefficient changes. The plot helps locate the reported approximation but is not an additional accuracy test.
Which method and record can I cite?
The NIST descriptions of Newton's rule and bisection and secant support the method formulas; they do not certify this implementation or a particular computed result. For the calculator's tested behavior, cite the version 1.1.3 Evidence with its calculation version and verification status. A URL with input parameters reproduces a particular calculation, while the canonical URL identifies the calculator itself. Read the current production status alongside the Evidence before describing a result as production verified.
Related tools
Other calculators in this family: Brent Method Calculator, Definite Integral Calculator, Euler Method Calculator, Gauss Quadrature Calculator, Golden Section Search Calculator, Nonlinear Equation Calculator, Numerical Derivative Calculator, Numerical Interpolation Calculator . Explore all Numerical Calculus.
Frequently asked questions
Key distinctions behind the calculation.
Is this the nth-root calculator?
No. ⁿ√a is /calc/math/root. This page approximates one real zero of a polynomial or sin x. eˣ=0 has no finite real solution.
Is the nonlinear equation page a second engine?
No. /calc/math/nonlinear-equation is the same math.numerical.root engine. All n polynomial roots stay at /polynomial-roots.
Why not three pages for Newton, bisection, and secant?
They are methods of one model. Switching method does not change the capability.