OAI/Analysis/Triangular/Certificate/
1805 declarations, 0 contain sorry, 0 declared as axioms; 64 files
Files
- AtomicCandidate.lean 18 declarations
- AtomicFiniteCertificate.lean 10 declarations
- AtomicMatrix.lean 4 declarations
- AtomicResidual.lean 12 declarations
- AtomicResidualMinus.lean 1 declarations
- AtomicResidualPlus.lean 1 declarations
- Inverse.lean 154 declarations
- InverseEnclosure.lean 5 declarations
- JetMatrix.lean 70 declarations
- MatrixInterval.lean 11 declarations
- Param.lean 5 declarations
- ParamA.lean 102 declarations
- ParamActual.lean 14 declarations
- ParamInterval.lean 52 declarations
- ParamNorm.lean 6 declarations
- ParamNormBase.lean 2 declarations
- ParamRHS.lean 86 declarations
- ParamU.lean 90 declarations
- Polytope.lean 4 declarations
- PolytopeInterval.lean 15 declarations
- ResidualMinus00.lean 3 declarations
- ResidualMinus01.lean 3 declarations
- ResidualMinus02.lean 3 declarations
- ResidualMinus03.lean 3 declarations
- ResidualMinus04.lean 3 declarations
- ResidualMinus05.lean 3 declarations
- ResidualMinus06.lean 3 declarations
- ResidualMinus07.lean 3 declarations
- ResidualMinus08.lean 3 declarations
- ResidualMinus09.lean 3 declarations
- ResidualMinus10.lean 3 declarations
- ResidualMinus11.lean 3 declarations
- ResidualMinus12.lean 3 declarations
- ResidualMinus13.lean 3 declarations
- ResidualMinus14.lean 3 declarations
- ResidualMinus15.lean 3 declarations
- ResidualMinus16.lean 3 declarations
- ResidualMinus17.lean 3 declarations
- ResidualMinus18.lean 3 declarations
- ResidualMinus19.lean 3 declarations
- ResidualPlus00.lean 3 declarations
- ResidualPlus01.lean 3 declarations
- ResidualPlus02.lean 3 declarations
- ResidualPlus03.lean 3 declarations
- ResidualPlus04.lean 3 declarations
- ResidualPlus05.lean 3 declarations
- ResidualPlus06.lean 3 declarations
- ResidualPlus07.lean 3 declarations
- ResidualPlus08.lean 3 declarations
- ResidualPlus09.lean 3 declarations
- ResidualPlus10.lean 3 declarations
- ResidualPlus11.lean 3 declarations
- ResidualPlus12.lean 3 declarations
- ResidualPlus13.lean 3 declarations
- ResidualPlus14.lean 3 declarations
- ResidualPlus15.lean 3 declarations
- ResidualPlus16.lean 3 declarations
- ResidualPlus17.lean 3 declarations
- ResidualPlus18.lean 3 declarations
- ResidualPlus19.lean 3 declarations
- TargetInterval.lean 147 declarations
- WaveExpData.lean 83 declarations
- WaveIntervals.lean 669 declarations
- WaveJetsData.lean 124 declarations