The maximum Laplacian ratio of a tree: a complete answer to a question of Brualdi and Goldwasser, kernel-checked in Lean

Contributed by Peter W. Murphy, MD

Source files

Download source .zip

Back to the main record