Publication

Computer Supported Formal Work: Towards a Digital Mathematical Assistant

Jörg Siekmann, Serge Autexier

In: Roman Matuszewski, Anna Zalewska (editor). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248 Studies in Logic, Grammar and Rhetoric 10 (23) University of Bialystok 7/2007.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz