Dot Product Calculator
Scalar product u · v = ux vx + uy vy + uz vz. Same engine as Vector. Not a matrix. Not CAS. Runs locally.
Enter values to calculate.
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 · 10/10 declared partitions (magnitude, normalize, add, sub, dot, cross, angle, projection, triple, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- The scalar (dot) product of two Euclidean vectors.
- Scope
- Euclidean R²/R³
- Verification
- Engine tested · Specification checked · v1.6.1 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.6.1 · CVP protocol 1.0.0-proposed · Evidence 2026-09-29.cross-product-hardening-iface2
- Verification revision
- 2026-09-29.cross-product-hardening-iface2 · 7/7 property · digest 3e840b22dc12
- Legacy regression
- 11/11 tests · Production surface contract 5/5
- Trust layers
- Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
- 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
- 10/10 golden · 4/4 CVP boundary · 9/9 invalid · 7/7 property · 6/6 cross-interface · 2/2 cross-calculator · 5/5 CVP contract · Manifest
- Specification basis
- ISO 80000-2:2019 Quantities and units — Mathematics
- Evidence
- 3 legacy golden · 2 legacy boundary · legacy regression suite · 10/10 oracle-backed golden · 9/9 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Enter u and v
uz and vz default to 0. (1, 2, 3) · (4, 5, 6) = 32.
Read the scalar
i · j = 0. The cross product of the same pair is /cross-product.
Example calculations
Common configurations with formula and result.
1-2-3 · 4-5-6
u = (1, 2, 3), v = (4, 5, 6)
Perpendicular
i · j
Dot Product calculator specification
Version 1.6.1 · Engine tested
- Engine tested 11/11 tests · Production surface contract 5/5
- Named expert review Not performed
- Calculation version 1.6.1
- Definition
- u · v = ux vx + uy vy + uz vz. This page is mode=dot on math.vector. Perpendicular vectors give 0. The included angle is /calc/math/vector-angle. Not a second engine. Not CAS.
- What it calculates
- The scalar (dot) product of two Euclidean vectors.
- Inputs
- ux
- uy
- uz?
- vx
- vy
- vz?
- Outputs
- dot
- Formula
u · v = ux vx + uy vy + uz vz- Assumptions
- Euclidean R²/R³
- uz/vz default to 0
- Not a matrix
- Not CAS
- Units
- length² (consistent units)
- Boundary conditions
- missing ux, uy, vx, or vy → MISSING_REQUIRED_INPUT
- unknown mode → INVALID_MODE
- Example
- u=(1,2,3) v=(4,5,6) → 32
- Validation cases
2 published on this page · 11/11 tests · Production surface contract 5/5 · View evidence
- ux=1 uy=2 uz=3 vx=4 vy=5 vz=6 → dot=32
- ux=1 uy=0 vx=0 vy=1 → dot=0
- Specification basis
- ISO 80000-2:2019 Quantities and units — Mathematics
- Calculation version
- 1.6.1
Related tools
Other calculators in this family: Cross Product Calculator, Scalar Triple Product Calculator, Vector Add Calculator, Vector Angle Calculator, Vector Calculator, Vector Magnitude Calculator, Vector Normalize Calculator, Vector Projection Calculator . Explore all Vectors.
Frequently asked questions
Key distinctions behind the calculation.
Is this a second vector engine?
No. It is mode=dot on math.vector, the same engine as /calc/math/vector.
Where is the cross product?
/calc/math/cross-product is mode=cross on the same engine.
Where does this run?
Locally in the browser by default. REST and MCP call the same vector engine.