Fibonacci sequence and golden ratio
Fibonacci Sequence and Golden Ratio
Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center.
Large Plant Genome Assemblies using Phusion2 Zemin Ning The Wellcome Trust Sanger Institute.
A Longer Example: Stable Matching UNC Chapel HillZ. Guo.
Fibonacci… and his rabbits Leonardo Pisano Fibonacci is best remembered for his problem about rabbits. The answer – the Fibonacci sequence -- appears naturally.