LOU

swMATH11650MaRDI QIDQ23590FDOQ23590

Author name not available (Why is that?)

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