A new math notation This repository contains the description of a new math notation based on simple 2D diagrams. These diagrams simplify the way we write numbers, and their relations with each other, ...

Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checking techniques (e.g., ...