Skip to main content Skip to main navigation


Computer Supported Formal Work: Towards a Digital Mathematical Assistant

Jörg Siekmann; Serge Autexier
In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.