Incomplete Beta Calculator
Incomplete beta B_x(a, b) = ∫₀ˣ t^{a−1}(1−t)^{b−1} dt for a>0, b>0, 0≤x≤1. Same engine as Special Functions. Not normalized sinc. Not CAS. Runs locally.
Enter values to calculate.
Live graph
Interactive plot
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes
- Input interpretation
- Enter values to calculate.
- Result
- —
- Verified scope
- all published modes
- Assurance
- Core
- Declared partition coverage
- PASS · 15/15 declared partitions (erf, erfc, gamma, lgamma, bessel-j, bessel-y, bessel-i, bessel-k, lambert-w, lambert-wm1, beta, incomplete-beta, sinc, normalized-sinc, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- Incomplete beta B_x(a, b) for a>0, b>0, 0≤x≤1, with an engine-linked Live graph vs x.
- Scope
- Incomplete Euler beta
- Verification
- Engine tested · Source checked · v1.10.2 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.10.2 · CVP protocol 1.0.0-proposed · Evidence 2026-10-08.math-response-consistency
- Verification revision
- 2026-10-08.math-response-consistency · 1/1 property · digest 0b2836762d99
- Legacy regression
- 58/58 tests · Production surface contract 6/6
- Trust layers
- Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
- Reference
- O1 model · O2 expected_values · O2 expected_values · O2 numerical_behavior
- Interfaces
- PASS · UI (SSR) / REST / MCP
- Supplemental domain review
- Not performed
- Named expert review
- Not performed
- CVP suite
- 482/482 golden · 8/8 CVP boundary · 10/10 invalid · 1/1 property · 3/3 metamorphic · 24/24 cross-interface · 1/1 cross-calculator · 6/6 CVP contract · Manifest
- Sources
- Sources
- Evidence
- 13 legacy golden · 8 legacy boundary · legacy regression suite · 482/482 oracle-backed golden · 10/10 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Enter x, a, and b
Finite reals with a>0, b>0, and 0≤x≤1. Defaults x=0.5, a=2, b=3.
Read B_x(a, b)
B_{0.5}(2, 3) ≈ 0.0572916666667. B_1(2, 3)=1/12. Regularized I_x is B_x/B. The Live graph is y = B_x(a, b) on [0, 1] with a, b held.
Example calculations
Common configurations with formula and result.
B_{0.5}(2, 3)
x = 0.5, a = 2, b = 3
B_{0.5}(1/2, 1/2)
x = 0.5, a = 0.5, b = 0.5
Incomplete Beta calculator specification
Version 1.10.2 · Engine tested
- Engine tested 58/58 tests · Production surface contract 6/6
- Named expert review Not performed
- Calculation version 1.10.2
- Definition
- The incomplete beta B_x(a, b) = ∫₀ˣ t^{a−1}(1−t)^{b−1} dt for a>0, b>0, and 0≤x≤1. B_0=0, B_1(a,b)=B(a,b), B_x(1,1)=x, B_{1/2}(1/2,1/2)=π/2. Regularized I_x(a,b)=B_x/B is returned as regularized. This page is mode=incomplete_beta on math.special. Not normalized sinc. Not CAS.
- What it calculates
- Incomplete beta B_x(a, b) for a>0, b>0, 0≤x≤1, with an engine-linked Live graph vs x.
- Inputs
- x
- a
- b
- Outputs
- value
- regularized
- x
- a
- b
- Formula
B_x(a, b) = ∫₀ˣ t^{a−1} (1−t)^{b−1} dt- Assumptions
- Incomplete Euler beta
- a>0, b>0, 0≤x≤1
- The Result Card includes an engine-linked Live graph of B_x(a, b) vs x on [0, 1] with a, b held. Same series as REST/MCP. Not normalized sinc. Not CAS.
- Units
- dimensionless
- Boundary conditions
- non-finite x, a, or b → INVALID_NUMBER
- a ≤ 0 or b ≤ 0 → INVALID_INPUT
- x < 0 or x > 1 → INVALID_INPUT
- unknown mode (normalized sinc / CAS) → INVALID_MODE
- Example
- x=0.5 a=2 b=3 → 0.0572916666667
- Validation cases
2 published on this page · 58/58 tests · Production surface contract 6/6 · View evidence
- x=0.5 a=2 b=3 → 0.0572916666667
- x=0.5 a=0.5 b=0.5 → π/2
- Sources
- ISO 80000-2:2019 Quantities and units — MathematicsSupports: Mathematical symbols and notation. This standard is not numerical verification or an endorsement of this implementation.
- NIST DLMF §8.17 — Incomplete Beta Functions — §8.17Supports: Incomplete and regularized incomplete beta functions and their parameter domains.
- ISO 80000-2:2019 Quantities and units — Mathematics
- Calculation version
- 1.10.2
Background
Interpretation and common distinctions.
What does this incomplete beta calculator compute?
The incomplete beta B_x(a, b) = ∫₀ˣ t^{a−1}(1−t)^{b−1} dt for a>0, b>0, and 0≤x≤1. B_0=0, B_1(a,b)=B(a,b), B_x(1,1)=x, B_{1/2}(1/2,1/2)=π/2. Regularized I_x(a,b)=B_x/B is returned as regularized.
The published formula or method is B_x(a, b) = ∫₀ˣ t^{a−1} (1−t)^{b−1} dt. The following references support the stated mathematics or method:
- NIST DLMF §8.17 — Incomplete Beta Functions: Incomplete and regularized incomplete beta functions and their parameter domains.
Which inputs and limits should you check?
The mathematical function can have a wider domain than this calculator supports. Choose the intended function and branch, then check its input domain and published precision limits.
The worked example uses x = 0.5, a = 2, b = 3 with B_{0.5}(2, 3). Compare it with the Example calculations and the complete result for the same inputs.
How can you verify and cite this result?
CalculatorX is responsible for this page. The mathematical references above explain the model; implementation checks and their scope are documented separately in the math.special v1.10.2 Evidence and capability contract. Read the displayed verification and production state together with the specification's numerical limits.
Use the clean calculator URL to cite the tool. A shared input link identifies a particular calculation. Content updates, numerical verification, and domain reviews have separate dates and scopes.
Related tools
Other calculators in this family: Bessel I Calculator, Bessel J Calculator, Bessel K Calculator, Bessel Y Calculator, Beta Function Calculator, Error Function Calculator, Gamma Function Calculator, Lambert W Calculator . Explore all Special Functions.
Frequently asked questions
Key distinctions behind the calculation.
Is this a second special-functions engine?
No. It is mode=incomplete_beta on math.special, the same engine as /calc/math/special-functions.
Is this normalized sinc?
No. This seed is the incomplete beta B_x(a,b) for a>0, b>0, 0≤x≤1. Complete Euler B is on /beta-function. Normalized sinc is on /normalized-sinc. Not CAS.
Where does this run?
Locally in the browser by default. REST and MCP call the same special-functions engine.