LOU

MaRDI QIDQ23590swMATHFDO

Official website http://www.math.rutgers.edu/~zeilberg/programs.html

Described by source

• Toward a language theoretic proof of the four color theorem

Cited in

(3)

• On a subposet of the Tamari lattice
• BinaryTrees
• Reducibility and solvability of some classes of Kryuchkov binary tree pairs

This page was built for software: LOU