Login / Signup
Jure Taslak
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Theorem Proving
Association Rule Mining
Database
Graph Structure
Top Venues
CICM
Dagstuhl Reports
</>
Publications
</>
Andrej Bauer
,
Katja Bercic
,
Gauvain Devillez
,
Jure Taslak
Incorporating a Database of Graphs into a Proof Assistant.
CICM
(2024)
Andrej Bauer
,
Katja Bercic
,
Florian Rabe
,
Nicolas M. Thiéry
,
Jure Taslak
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401).
Dagstuhl Reports
13 (10) (2023)