Jonad Pulaj: Machine Assisted Reasoning in Combinatorics: Theory and Practice
UofSC Discrete Mathematics Seminar
0:00 / 0:00
Jonad Pulaj: Machine Assisted Reasoning in Combinatorics: Theory and Practice
30 просмотров · 8 дн. назад
UofSC Discrete Mathematics Seminar
152 подписчика
30 просмотров · 8 дн. назад
UofSC Discrete Mathematics Seminar
April 19, 2024
Speaker: Jonad Pulaj, Davidson College
Title: Machine Assisted Reasoning in Combinatorics: Theory and Practice
