Formalizing Alexander duality through BDDs.

Jess Aransay, Laureano Lambn, Julius Michaelis, Julio Rubio

Browse the full ISAIM paper archive.