[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] fyi... Planarity algorithm

From: Tim Daly
Subject: [Axiom-developer] fyi... Planarity algorithm
Date: Wed, 19 May 2004 13:31:30 -0400

Kocay, William "The Hopcroft-Tarjan Planarity Algorithm"

A readably clear explanation with pseudo-code. 
A nearly-literate program.

Another nearly-literate program is 

Agrawal, M., Kayal, N. and Saxena, N  "PRIMES is in P"

which contains not only the theory but also pseudo-code, a time-complexity
analysis, loop termination proofs, and loop-invariant statements. 
A near-perfect literate program. I have permission to make it into a
literate Axiom program and use it as a canonical example.

Both are beautiful pieces of work that tackle reasonably hard theory
yet get very close to practice. Unfortunately the very last step,
providing code, still needs to be done.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]