nc-configs.mws
Euler's counting of triangulations
Problem
Specification
Counting.
Random generation.
Exhaustive generation.
Generating function equations.
Noy's counting of non-crossing trees
Problem.
Specification.
Random generation, exhaustive generation.
Guessing counts with Maple.
Guessing counts with Gfun.
Proving solutions with Combstruct.
Conclusion.
Comtet's counting of slicings.
Problem.
Specification, random generation, and counting.
Jordan's couting of non-crossing Hamiltonian paths.
Problem.
Specification, random generation and couting.
Other non-crossing configurations.
Discussion.
Problem.
Specification, counting and generating functions.
Conclusions.