A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning.

Thierry Boy de la Tour, Ricardo Caferra

Browse the full ISSAC paper archive.