6 citations · 12 across the 5 of their papers we have counts for
5 papers
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
Serge Autexier, Pedro Quaresma
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof ass…
Structure Formation in Large Theories
Serge Autexier, Dieter Hutter
Structuring theories is one of the main approaches to reduce the combinatorial explosion associated with reasoning and exploring large theories. In the past we developed the notion…
Towards an Intelligent Tutor for Mathematical Proofs
Serge Autexier, Dominik Dietrich, Marvin Schiller
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel ap…
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Serge Autexier, Catalin David, Dominik Dietrich +2
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published researc…
Lectures on Jacques Herbrand as a Logician
Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller +1
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from student…