简单程序(Simple Programs)

Examples of verified algorithms

1. 黑与白问题（Black And White Problem）
2. 求阶乘（Find Factorial of a Number）
3. 求最大公约数（Find Greatest Common Divisor）
4. 魔方问题（Magic Square Problem）
5. 数组最小和截断问题（Minimal Sum Section）
6. 乘法函数(Multiplication by Addtion Function )
7. 求幂函数(Power Function)
8. 自然数1到n求和函数（Sum of Natural Number from 1 to n）
9. 杨辉三角（1）（Yang Hui Triangle1）