Distributed Mathematical Problem Solving

Jacques Calmet, Karsten Homman

Coupling computer algebra systems and theorem provers enables to extend the capabilities they have when standing alone. We report on an ongoing research project whose long term goal is to provide an open environment for doing mathematics including reasoners and symbolic calculators. It is extensible by users which can construct complex systems by combination and insertion of existing packages. These systems may be based on different logics, formalisms, data structures, interfaces. A result of this work is illustrated by a prototype implementation of an interface between Isabelle and Maple.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.