AIRIM Program
16:30-18:30 | Sunday 3.09.2017. Chair: Roussanka Loukanova |
16:30-16:55 |
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle Authors: Cezary Kaliszyk and Karol Pąk |
16:55-17:20 |
Formalization of the Algebra of Nominative Data in Mizar Authors: Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov |
17:20-17:35 |
Formalization of Pell`s Equations in the Mizar System Authors: Marcin Acewicz and Karol Pąk |
17:35-17:50 |
Introducing Euclidean Relations to Mizar Authors: Adam Naumowicz and Artur Kornilowicz |
17:50-18:15 |
Is there a computable upper bound on the heights of rational solutions of a Diophantine equation with a finite number of solutions? Author: Jerzy Małopolski, Krzysztof Molenda, Agnieszka Peszek, Maciej Sporysz, Apoloniusz Tyszka |
18:15-18:30 |
Modeling value-based reasoning for autonomous agents Author: Tomasz Zurek and Michail Mokkas |