OAI/Computability/RationalHitting/
1498 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- Affine.lean 48 declarations
- BinaryAddition.lean 15 declarations
- BinaryBinomial.lean 30 declarations
- BinaryDivision.lean 20 declarations
- BinaryFactorial.lean 16 declarations
- BinaryGcd.lean 15 declarations
- BinaryMultiply.lean 18 declarations
- BinarySubtract.lean 26 declarations
- BinomialBounds.lean 20 declarations
- BlockDivision.lean 16 declarations
- Certificates.lean 21 declarations
- Compiler.lean 29 declarations
- CyclotomicGrid.lean 25 declarations
- Deformation.lean 35 declarations
- DenseDeterminant.lean 47 declarations
- DenseRecords.lean 43 declarations
- Determinant.lean 18 declarations
- EncodingBounds.lean 28 declarations
- Evaluation.lean 11 declarations
- Executable.lean 20 declarations
- Feasibility.lean 26 declarations
- FiniteCompiler.lean 18 declarations
- Generator.lean 50 declarations
- GridComputation.lean 21 declarations
- InputAdapter.lean 41 declarations
- IntegralLift.lean 30 declarations
- LaurentReduction.lean 68 declarations
- LiftComputation.lean 17 declarations
- ListProcedures.lean 27 declarations
- Main.lean 3 declarations
- MatrixComputation.lean 25 declarations
- Model.lean 22 declarations
- OutputAdapter.lean 56 declarations
- OutputComputation.lean 10 declarations
- PaddedRank.lean 25 declarations
- ProcedureControl.lean 16 declarations
- ProcedurePairs.lean 29 declarations
- Procedures.lean 29 declarations
- QuantumMatrices.lean 33 declarations
- QuantumSeries.lean 22 declarations
- RationalArithmetic.lean 53 declarations
- RationalBinary.lean 25 declarations
- Rectangular.lean 20 declarations
- SignedArithmetic.lean 55 declarations
- SignedBinary.lean 22 declarations
- SmallExpansion.lean 26 declarations
- StackLanguage.lean 32 declarations
- StackSimulation.lean 22 declarations
- StackWords.lean 23 declarations
- Tabulation.lean 52 declarations
- TaylorComputation.lean 40 declarations
- UnaryArithmetic.lean 26 declarations
- Wronskian.lean 33 declarations