- 3: its signed volume, by the divergence theorem over its own triangles, matches the closed form (V(A) + V(B) - V(A n B) = 9, V(A) - V(A n B) = 7, V(A n B) = 1 cubic metres) to 1e-6 relative; ...

Automatically generates examples of Boolean networks from properties on the controllability of their synchronous, aysnchronous, and general asynchronous dynamics before and after reduction by variable ...