Jure Taslak

According to our database, Jure Taslak authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Incorporating a Database of Graphs into a Proof Assistant.

Andrej Bauer, Katja Bercic, Gauvain Devillez, Jure Taslak

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024

2023

Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401).

Andrej Bauer, Katja Bercic, Florian Rabe, Nicolas M. Thiéry, Jure Taslak

Dagstuhl Reports, 2023