Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Developing an Auction Theory Toolbox, , , and . Enabling Domain Experts to use Formalised Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), (2013)Computational Logic in the First Semester of Computer Science: An Experience Report., , , , and . CSEDU (2), page 374-381. SCITEPRESS, (2020)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , and . Intelligent Computer Mathematics, 7961, page 200--215. Springer, (2013)Auction Theory Toolbox, , , , , , and . (2015)Automated Theorem Proving in the Classroom.. ADG, volume 352 of EPTCS, page 54-63. (2021)Theorema 2.0: A System for Mathematical Theory Exploration.. ICMS, volume 8592 of Lecture Notes in Computer Science, page 49-52. Springer, (2014)Theorema 2.0: Computer-Assisted Natural-Style Mathematics., , , , and . J. Formaliz. Reason., 9 (1): 149-185 (2016)Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System.. UITP, volume 118 of EPTCS, page 72-82. (2012)A Set Theory Prover Within Theorema.. EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 525-539. Springer, (2001)The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema., and . CICM, volume 10383 of Lecture Notes in Computer Science, page 25-39. Springer, (2017)