Katja Bercic

According to our database, Katja Bercic authored at least 13 papers between 2012 and 2024.

Collaborative distances:

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

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

2022

Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR.

Katja Bercic, Filip Koprivec

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2020

DiscreteZOO: A Fingerprint Database of Discrete Objects.

Katja Bercic, Janos Vidali

Math. Comput. Sci., 2020

(Deep) FAIR mathematics.

Katja Bercic, Michael Kohlhase, Florian Rabe

it Inf. Technol., 2020

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.

Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda

CoRR, 2020

Towards a Heterogeneous Query Language for Mathematical Knowledge.

Katja Bercic, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation.

Katja Bercic, Michael Kohlhase, Florian Rabe

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

Towards a Census of Relational Data in Mathematics.

Katja Bercic

Proceedings of the Conference on "Lernen, Wissen, Daten, Analysen", Berlin, Germany, September 30, 2019

2018

DiscreteZOO: Towards a Fingerprint Database of Discrete Objects.

Katja Bercic, Janos Vidali

Proceedings of the Mathematical Software - ICMS 2018, 2018

2016

Two-arc-transitive two-valent digraphs of certain orders.

Primoz Potocnik, Katja Bercic

Ars Math. Contemp., 2016

2015

3XL News: A Cross-lingual News Aggregator and Reader.

Evgenia Belyaeva, Jan Bercic, Katja Bercic, Flavio Fuart, Aljaz Kosmerlj, Andrej Muhic, Aljosa Rehar, Jan Rupnik, Mitja Trampus

Proceedings of the Semantic Web: ESWC 2015 Satellite Events - ESWC 2015 Satellite Events Portorož, Slovenia, May 31, 2015

2012

Tetravalent arc-transitive graphs of order twice a product of two primes.

Katja Bercic, Mohsen Ghasemi

Discret. Math., 2012