The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. July 18, 2017. Contributed talk at Conference for Intelligent Computer Mathematics (CICM). [url] [pdf] [bib] | |

Representation and Management of Mathematics in Theorema 2.0. September 12, 2017. Contributed talk at Minisymposium From Information to Knowledge Management, ÖMG Congress and DMV Annual Meeting. [url] [pdf] [bib] | |

Theorema 2.0: A Brief Tutorial. September 23, 2017. Invited Tutorial. Invited talk at SYNASC 2017. [url] [pdf] [bib] | |

Theorema 2.0: A Tool for Formalizing Mathematics. January 7, 2016. Contributed talk at Joint Mathematical Meeting of the AMS: Mathematical Information in the Digital Age of Science. [url] [bib] | |

Theorema 2.0: A Platform for Automated Reasoning in Natural Style. July 20, 2016. Contributed talk at Computational Origami and Applications (COA). [url] [pdf] [bib] | |

Theorema 2.0 Towards Computer-Supported "Natural-Style Mathematics". Fields Institute, December 15, 2015. Contributed talk at Workshop on Algebra, Geometry and Proofs in Symbolic Computation. [bib] | |

Mathematical Assistant Systems for Theory Exploration and Mathematics Education. June 18, 2014. Contributed talk at Johannes Kepler Symposium, JKU Linz, Austria. [url] [bib] | |

Theorema 2.0: Theorem Proving in Mathematica. October 23, 2014. Contributed talk at Wolfram Technology Conference (WTC'2014). [url] [bib] | |

Theorema 2.0: Automated and Interactive Theorem Proving in Math Education. June 10, 2013. Contributed talk at CSASC'2013, Koper, Slovenia. [bib] | |

Theorema 2.0: An Open-Source Mathematical Assistant System for Automated and Interactive Reasoning. October 24, 2013. Invited talk at PAS'2013: Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation. [url] [pdf] [bib] | |

Theorema 2.0: Current Status of the Implementation. April 18, 2012. Contributed talk at CIAO 2012. [url] [bib] | |

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. July 11, 2012. Contributed talk at UITP 2012. [url] [bib] | |

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. July 12 2012. Software presentation at CICM'2012. [url] [bib] | |

Using Theorema in the Formalization of Theoretical Economics. July 22, 2011. Contributed talk at CICM 2011. [nb] [pdf] [bib] | |

Using Theorema in the Formalization of Theoretical Economics. April 5, 2011. Contributed talk at CIAO 2011. [nb] [bib] | |

Theorema2: Some Design Considerations for the Re-Implementation of the Theorema System. August 5, 2010. Contributed talk at CIAO 2010 Workshop. [url] [bib] | |

Theorema: A System for Computer-Supported Theorem Proving and Theory Development based on Mathematica. Lebanese American University Beirut (LAU), November 14, 2009. Invited talk at Middle East Mathematica Conference 2009. [url] [bib] | |

Theorema: Automated Proving Meets Teaching of Mathematics. University of Nuevo Leon, Monterrey, Mexico, July 9, 2008. Contributed talk at International Congress on Mathematical Education, ICME 11, JEM Workshop. [bib] | |

Towards Computer-Supported Proving in Maths Education. University of Pecs, June 21, 2007. Contributed talk at First Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education (CADGME). [url] [bib] | |

CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics. University of Hradec Kralove, July 3, 2007. Contributed talk at 8th International Conference on Technology in Mathematics Teaching (ICTMT8). [url] [bib] | |

Analytica V: Towards the Mordell-Weil Theorem. July 9, 2006. Contributed talk at Calculemus'06. [pdf] [bib] | |

The Theorema System. February 20, 2006. Invited colloquium talk at Carnegie Mellon University, Computer Science seminar. [bib] | |

Computer-supported Proving in ZF Set Theory with the Theorema System. March 2, 2006. Invited colloquium talk at Carnegie Mellon University, Math Logic seminar. [bib] | |

Introduction to Theorema: An Example of a Formal Math System. March 6, 2006. Contributed talk at Special Semester on Groebner Bases: Workshop on Formal Groebner Bases Theory. RICAM, Linz. [bib] | |

Introduction to the Groebner Bases Method. April 28, 2006. Talk given in the frame of the seminar "Fast SAT Solvers and Practical Decision Procedures". Invited colloquium talk at Carnegie Mellon University, Computer Science Deptartment. [pdf] [bib] | |

Symbolic Solution Techniques for the Elastoplasticity Problem. March 31, 2005. Contributed talk at SFB Statusseminar 2005. [bib] | |

CreaComp: Neue Möglichkeiten im e-learning für Mathematik. 22. April, 2005. Invited colloquium talk at Research Net Upper Austria: Brennpunkt Forschung. [bib] | |

Theorema: A System for Mathematical Theory Exploration. April 26, 2005. Invited colloquium talk at Institute for Algebra, Charles University Prague. [bib] | |

An Automated Theorem Prover for Set Theory within the Theorema System. April 25, 2005. Invited colloquium talk at Institute for Algebra, Charles University Prague. [bib] | |

The CreaComp Project: Theorema for Computer-supported Teaching and Learning of Mathematics. November 14, 2005. Contributed talk at Theorema-Ultra-Omega'05 Workshop. [url] [pdf] [bib] | |

Formalizing Mathematics / Computer-supported Mathematics. April 25, 2003. Contributed talk at SFB Statusseminar, Strobl, Austria. [bib] | |

Exploring an Algorithm for Polynomial Interpolation in the Theorema System. September 12, 2003. Contributed talk at Calculemus'2003, Rome, Italy. [bib] | |

An Automated Prover for Set Theory in Theorema. May 26, 2003. Contributed talk at Omega-Theorema Workshop, Hagenberg, Austria. [bib] | |

An Automated Prover for Set Theory in Theorema. June 5, 2002. Contributed talk at Calculemus'2002, Marseille, France. [bib] | |

An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema. October 20, 2002. Contributed talk at LMCS'02, Hagenberg, Austria. [bib] | |

The Theorema System. September 27, 2002. Contributed talk at Calculemus Autumn School, Pisa, Italy. [ps] [bib] | |

A Set Theory Prover in Theorema. February 20, 2001. EUROCAST'01, Las Palmas, Gran Canaria. Contributed talk at CAL'01 workshop. [nb] [bib] | |

On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover. June 21, 2001. Contributed talk at Calculemus'2001, Siena, Italy. [bib] | |

Building Up Hierarchical Mathematical Domains Using Functors in Theorema. July 11, 1999. Contributed talk at Calculemus'99, Trento, Italy. [bib] | |

Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases. April 12, 1999. Contributed talk at School on Logic and Computation, Edinburgh, Scotland. [bib] | |

The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols. July 13, 1998. Contributed talk at Calculemus'98, Eindhoven, Netherlands. [bib] | |

Mathematisches Problemlösen im Netz. July 5, 1995. Hagenberg, Austria. Contributed talk at Telemedia'95. [bib] | |

Eine Einführung zur Methode der Gröbner Basen. September 26, 1995. Contributed talk at Treffen der ÖMG, Leoben, Austria. [bib] | |

Mathematisches Problemlösen im Netz. July 5, 1995. Contributed talk at Telemedia'95, Hagenberg, Austria. [bib] | |

GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB. January 11, 1994. Contributed talk at Gröbner and Related Topics, Dagstuhl, Germany. [ps] [bib] | |

An Introduction to Gröbner Bases. September 13, 1993. Invited colloquium talk at Dept. of Mathematics, University of Pretoria, South Africa. [bib] | |

Symbolic Computation: The Interplay between Mathematics and Computer Science. September 6, 1993. Invited colloquium talk at Dept. of Mathematics, University of Pretoria, South Africa. [bib] |