The Lisp
zhufei's blog
Main
Articles
Mail
Blog Source
SCIP EX1.13. Prove Fib(n) is closest interger to ((1+(sqrt 5))/2)^n/2
2016-04-24
SCIP EX1.12. Pascal's triangle
SCIP EX1.14. Orders of growth...
>