---
title: Exact algebra & number theory | SpinForge
url: https://spin-forge.com/solutions/number-theory
description: Explore lattice reduction and modular exact algebra without replacing their mathematical contracts with a generic acceleration claim.
---

SOLUTIONS / FORGE15 [The full offering](https://spin-forge.com/platform)

# Exact where it matters.
Measured where it scales.

Explore lattice reduction and modular exact algebra without replacing their mathematical contracts with a generic acceleration claim.

[Discuss this workload](https://spin-forge.com/contact?product=solution-number-theory)

START WITH THE METHOD

## The tools.
For this work.

[NUMBER THEORY & CRYPTO

### LatForge

Lattice-basis reduction software with independent checks of the returned basis.](https://spin-forge.com/forge15/latforge) [NUMBER THEORY & CRYPTO

### modalg

Exact linear-algebra software for supported determinant and linear-solve problems, without floating-point rounding in the returned exact answer.](https://spin-forge.com/forge15/modalg)

ACCEPTANCE

## Keep the original problem.
Check the useful result.

Agree integer sizes, model dimensions, verification arithmetic and reconstruction evidence. A reduced basis is not a claim that a cryptographic system has been broken.

[The verification guide](https://spin-forge.com/forge15/verification) [Scope an assessment](https://spin-forge.com/engineering/assessment) [Plan the implementation](https://spin-forge.com/integration)