OAI/Analysis/MatrixSigning/Optimization/
470 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- Affine.lean 9 declarations
- AffineRealEval.lean 14 declarations
- BlockScalar.lean 7 declarations
- ComplexValueProgram.lean 7 declarations
- Coordinates.lean 21 declarations
- EliminationWitnessHeight.lean 12 declarations
- EquivSymmetricMap.lean 1 declarations
- FaceStencil.lean 8 declarations
- Feasible.lean 4 declarations
- FinRealify.lean 22 declarations
- FixedPart.lean 7 declarations
- InverseEliminationBounds.lean 3 declarations
- Level.lean 9 declarations
- Lookup.lean 21 declarations
- MinList.lean 6 declarations
- NearestEndpoint.lean 14 declarations
- NegativeDirection.lean 11 declarations
- NegativeWitness.lean 6 declarations
- NormalizedRun.lean 4 declarations
- ObjectiveCLM.lean 11 declarations
- Outside.lean 5 declarations
- PackValue.lean 8 declarations
- PartialFderiv.lean 2 declarations
- Pencil.lean 14 declarations
- PivotDescentBounds.lean 8 declarations
- PivotDescentMachine.lean 8 declarations
- PivotWitnessMachine.lean 12 declarations
- RationalAtoms.lean 10 declarations
- RealExtendCube.lean 8 declarations
- RealVector.lean 14 declarations
- RootTolerance.lean 5 declarations
- SchurWitnessHead.lean 7 declarations
- SearchStep.lean 13 declarations
- Select.lean 8 declarations
- ShiftedHessian.lean 8 declarations
- SignedFloorInterface.lean 2 declarations
- Signing.lean 2 declarations
- SqSum.lean 11 declarations
- SquareInterval.lean 6 declarations
- StoredWitnessLift.lean 17 declarations
- TerminalWitnessBounds.lean 3 declarations
- TerminalWitnessMachine.lean 14 declarations
- TerminalWitnessTapes.lean 6 declarations
- Transition.lean 14 declarations
- UpperIndex.lean 12 declarations
- ValueDimension.lean 27 declarations
- ValueObjectiveCoeffs.lean 8 declarations
- ValueOuterRadius.lean 15 declarations
- Variables.lean 6 declarations