Sign in

A short proof of the non-biplanarity of $K_9$.

Ahmad Biniaz
Published in: J. Graph Algorithms Appl. (2022)
Keyphrases
  • real time
  • three dimensional
  • multiscale
  • video sequences
  • theorem proving
  • interactive theorem proving