SimplexAlgorithm

📁 Source: Mathlib/Tactic/Linarith/Oracle/SimplexAlgorithm.lean

Statistics

Metric	Count
Definitions simplexAlgorithmDense, simplexAlgorithmSparse, postprocess, preprocess	4
Theorems	0
Total	4

Mathlib.Tactic.Linarith.CertificateOracle

Definitions

Name	Category	Theorems
simplexAlgorithmDense 📖	CompOp	—
simplexAlgorithmSparse 📖	CompOp	—

Mathlib.Tactic.Linarith.SimplexAlgorithm

Definitions

Name	Category	Theorems
postprocess 📖	CompOp	—
preprocess 📖	CompOp	—

---

← Back to Index