loop_invariants_math
Mathematical algorithms with loop-invariant explanations
algorithms
math
number-theory
linear-algebra
loop-invariants
Author
Version
0.16.1
License
Apache-2.0
Last updated
10 days ago
Downloads
71
#Math Algorithms
This module contains number theory, transforms, recurrence, basis, polynomial,
and linear-algebra oriented packages.
Packages are organized as one algorithm or closely related group per directory.
Each package contains a README.mbt.md tutorial with examples that are checked
by moon test.
Run from the workspace root:
moon check
moon test
moon info
moon fmtInstall
Download zipMathematical algorithms with loop-invariant explanations
algorithmsmathnumber-theorylinear-algebraloop-invariants
Apache-2.0
Updated 10 days ago
71 downloads