Samuel Novotný

According to our database, Samuel Novotný authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs.

Ján Perhác, Samuel Novotný, Sergej Chodarev, Joachim Tilsted Kristensen, Lars Tveito, Oleks Shturmov, Michael Kirkedal Thomsen

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

2022

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic.

Samuel Novotný, Miroslav Michalko, Ján Perhác, Valerie Novitzká, Frantisek Jakab

Symmetry, 2022