OAI/Algebra/FormulaHitting/
511 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- BitArithmetic.lean 63 declarations
- BitBounds.lean 3 declarations
- BitCost.lean 4 declarations
- BitModel.lean 17 declarations
- BitRefinement.lean 45 declarations
- DimensionBound.lean 2 declarations
- Evaluation.lean 11 declarations
- Formula.lean 11 declarations
- FormulaBridge.lean 4 declarations
- FormulaSeries.lean 4 declarations
- Generator.lean 15 declarations
- GeneratorBridge.lean 10 declarations
- GeneratorCost.lean 15 declarations
- Hitting.lean 5 declarations
- Independence.lean 13 declarations
- JetMatrix.lean 12 declarations
- Main.lean 4 imports, no declarations
- MinorFactor.lean 1 declarations
- Minors.lean 5 declarations
- Model.lean 10 declarations
- Multiplicity.lean 6 declarations
- NumeratorRows.lean 3 declarations
- OrderBasis.lean 5 declarations
- OutputBounds.lean 10 declarations
- Program.lean 16 declarations
- ProgramCost.lean 32 declarations
- RationalMinor.lean 2 declarations
- RationalTransfer.lean 9 declarations
- Representation.lean 35 declarations
- Result.lean 1 declarations
- ScaledDerivatives.lean 6 declarations
- Series.lean 33 declarations
- SeriesFaithfulness.lean 2 declarations
- Specification.lean 16 declarations
- System.lean 32 declarations
- SystemOutput.lean 1 declarations
- WordIndependence.lean 29 declarations
- Wronskian.lean 20 declarations
- WronskianBound.lean 3 declarations