Automated Deduction in Geometry

DOI10.1007/B95516zbMATH Open1202.68455OpenAlexW2489376520MaRDI QIDQ5902027FDOQ5902027

J. C. Owen, S. C. Power

Publication date: 4 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95516

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Planar graphs; geometric and topological aspects of graph theory (05C10)

Cited In (1)

• The non-solvability by radicals of generic 3-connected planar Laman graphs

   Recommendations

• The non-solvability by radicals of generic 3-connected planar Laman graphs 👍 👎
• On the Density of Non-simple 3-Planar Graphs 👍 👎
• Nonhamiltonian 3-Connected Cubic Planar Graphs 👍 👎
• Title not available (Why is that?) 👍 👎
• A note on 3-connected cubic planar graphs 👍 👎
• Characterizing 3-connected planar graphs and graphic matroids 👍 👎
• A generalized Beraha conjecture for non-planar graphs 👍 👎
• Title not available (Why is that?) 👍 👎
• On 3-simplicial vertices in planar graphs 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Automated Deduction in Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902027)