OAI/Computability/DeterministicSum/
814 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- AxisMaps.lean 53 declarations
- BilinearForms.lean 35 declarations
- CacheGather.lean 43 declarations
- CacheRows.lean 34 declarations
- Decision.lean 63 declarations
- DegreeFilter.lean 24 declarations
- EvaluationTables.lean 9 declarations
- Expressions.lean 25 declarations
- IndexedLoops.lean 11 declarations
- Interpolation.lean 49 declarations
- Machine.lean 24 declarations
- Main.lean 29 imports, no declarations
- MatrixDown.lean 19 declarations
- MatrixProduct.lean 8 declarations
- MatrixUp.lean 20 declarations
- ModularInverses.lean 30 declarations
- NewtonCoefficients.lean 22 declarations
- NewtonCommands.lean 24 declarations
- NewtonTables.lean 31 declarations
- PaddedMaps.lean 31 declarations
- PolynomialBounds.lean 14 declarations
- PrunedCache.lean 20 declarations
- PrunedProgram.lean 45 declarations
- PrunedTree.lean 19 declarations
- SparseCodes.lean 16 declarations
- SparsePolynomials.lean 30 declarations
- Structured.lean 48 declarations
- TensorEncoding.lean 5 declarations
- WeightedFeatures.lean 36 declarations
- WordArithmetic.lean 26 declarations