Tag Archives: polygon

SMT solutions

In my last post I described the general approach I used to draw orthogons using an SMT solver, but left some of the details as exercises. In this post I’ll explain the solutions I came up with. Forbidding touching edges … Continue reading

Posted in computation, geometry | Tagged , , , , , , , ,

Drawing orthogons with an SMT solver

I’m long overdue to finish up my post series on orthogons as promised. First, a quick recap: An orthogon is a polygon with only right angles. Two orthogons are considered the same if you can turn one into the other … Continue reading

Posted in computation, geometry | Tagged , , , , , , , , , | 1 Comment

Stars of the Mind’s Sky with Diagrams

A few weeks ago, Paul Salomon posted a really beautiful work of mathematical art on his blog, Lost In Recursion: Stars of the Mind’s Sky, by Paul Salomon He included a precise mathematical description of the image, and I naturally … Continue reading

Posted in geometry, group theory, pictures, programming | Tagged , , , , , | 9 Comments