OAI/Probability/GaussianRegression/
203 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- AffineTubes.lean 6 declarations
- Blocks.lean 21 declarations
- Caps.lean 7 declarations
- Execution.lean 5 declarations
- GaussianKernel.lean 12 declarations
- Gram.lean 17 declarations
- InverseMoments.lean 3 declarations
- Main.lean 5 declarations
- Model.lean 3 declarations
- Nets.lean 5 declarations
- Observation.lean 2 declarations
- Precision.lean 2 declarations
- Projection.lean 10 declarations
- ReplicaMoments.lean 13 declarations
- Rotational.lean 8 declarations
- Smoothing.lean 12 declarations
- Sphere.lean 27 declarations
- Stream.lean 16 declarations
- Success.lean 2 declarations
- Support.lean 23 declarations
- Transfer.lean 4 declarations