Software Presentations

List of Accepted Software Presentations

Bertrand Teguia Tabuguia.
Guessing with quadratic differential equations
Marta Panizzut and Yue Ren.
Tropical Geometry in OSCAR
Chiang-Heng Chien, Hongyi Fan, Elias Tsigaridas, Ahmad Abdelfattah, Stanimire Tomov and Benjamin Kimia.
Parallel Path Tracking for Homotopy Continuation using GPU
Philipp Nuspl.
$C$-finite and $C^2$-finite Sequences in SageMath
Victor Ramos-Gonzalez, Joaquin Borrego-Diaz and Fernando Sancho-Caparrini.
LogicUS: A functional web-based tool for teaching Logic