Graph transformation for geometric modeling

Presentation for done at the Christmas event of the MICS laboratory.

Abstract : In this festive presentation, I will give some insights into a rule-based language for geometric modeling. As with any domain-specific language, the goal is to abstract over the actual code (i.e., instructions written in a generic programming language) to enable formal reasoning. Here, I will introduce graph rewriting to formalize geometric modeling operations.