PROVISOS -- Proviso-based Symbolic Mathematics

Abstract