A note on the seven bridges of Königsberg problem

DOI10.2478/FORMA-2014-0018zbMath1352.05106OpenAlexW2013955690MaRDI QIDQ502701

Adam Naumowicz

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0018

zbMATH Keywords

Eulerian cyclesEulerian pathsSeven Bridges of Königsberg

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Eulerian and Hamiltonian graphs (05C45)

Cites Work

• Unnamed Item

This page was built for publication: A note on the seven bridges of Königsberg problem