Ghent University Academic Bibliography

Advanced

Project: Automated support for calculational reasoning

project duration
01-OCT-03 – 30-SEP-05
abstract
In calculational logic, reasoning steps are linked together by relational operators in an algebraic style. At the moment, there is no automated support available for this kind of reasoning. The project aims to give insight in the way calculational reasoning can be supported by automatic support available for this kind of reasoning. The project aims to give insight in the way calculational reasoning can be supported by automated tools, and to develop an initial system suitable for practical use.