A collection of publications and talks. The names of the entries either lead to a post containig more details or the PDFs/preprints.

Publications

  1. Yutaka Nagashima, Julian Parsert
    Goal-Oriented Conjecturing for Isabelle/HOL
    Conference on Intelligent Computer Mathematics (CICM) 2018
    [ PDF | BibTeX | Publisher ]
  2. Florian Meßner, Julian Parsert,
    Jonas Schöpf, and Christian Sternagel
    A Formally Verified Solver for
    Homogeneous Linear Diophantine Equations

    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  3. Julian Parsert, and Cezary Kaliszyk
    Towards Formal Foundations for Game Theory
    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  4. Julian Parsert, and Cezary Kaliszyk
    Formal Microeconomic Foundations and the First Welfare Theorem
    7th ACM Conference on Certified Programs and Proofs (CPP) 2018
    [ PDF | BibTeX | Publisher ]

Talks and Presentations

  1. Presentation at VINO2017 discussing research on Formal Microeconomic Foundations. [Slides]