WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Numerical analysis

Revision #1436 → #2618 · back to history

modifiedLinear programming02fed7b114fa
FieldFrom #1436To #2618
mathlib.declLinarith.SimplexAlgorithm.runSimplexAlgorithmMathlib.Tactic.Linarith.SimplexAlgorithm.runSimplexAlgorithm
provenanceaiai-moderated