luizaugustogarcia

tdp1375

State-of-art algorithm for sorting by transpositions based on an algebraic approach with guarantee of approximation ratio of 1.375

n-cycle-factorization

Implementation of the algorithm for factorizing n-cycles into two n-cycles by L. Cangelmi

euclidean-algorithm

Demonstration, in Coq, that the Euclidean Algorithm can be efficiently used to compute the greatest common divisor of two numbers

sbt1.333