数值计算(Numerical Computing)

Examples of verified algorithms

1. 二进制乘法（Binary Multiplication）
2. 浮点计数器（A Clock using Floating-Point Numbers）
3. 立方根（Cubic Root）
4. 欧几里得除法（Euclidean Division）
5. 最大质因子（Largest Prime Factor）