Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator.

Antti Valmari

Browse the full CSEDU paper archive.