List of Accepted Posters
-
Partha Kumbhakar
New and General Type Meromorphic 1-forms on Curves
-
Chitrarekha Sahu, Matthias Seiss and Varadharaj Ravi Srinivasan
Iterated and Generalized Iterated Integrals
-
Manuel Kauers and Isaac Wood
Consequences of the Moosbauer-Poole Algorithms
-
Carles Checa and Elisenda Feliu
An effective criterion for multiple positive solutions of vertically parametrized polynomial systems
-
Sammy Khalife and Josué Tonelli-Cueto
Expressivity of Graph Neural Networks: ReLU vs. Sigmoid GNNs
-
Dongchen Jiang and Yiming Hou
Automatic Verification of Mathematical Texts
-
Shaoshi Chen, Hao Du, Yiman Gao, Hui Huang, Wenqiao Li and Ziming Li
A Complete Reduction for Derivatives in Transcendental Liouvillian Extensions
-
Bo Huang and Xinyu Wang
Jacobi Stability Analysis of Dynamical Systems: A Computational Algebra Approach
-
Jeferson Zapata, Vladimir Kolmogorov and Simone Naldi
Certifying solutions of degenerate semidefinite programs
-
Muhammad Qureshi
Computing canonical Calabi–Yau 3-folds
-
Éric Schost
Modular composition for decomposable polynomials
-
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din and Éric Schost
Heights of degeneracy loci
-
Ryan Sandford
Complexity Bounds for the Generalization of Fulton's Intersection Multiplicity Algorithm
-
Surabhi Chakrabartty and Ranveer Singh
Computing the permanental polynomial of bipartite graphs
-
Hiroshi Kera, Shun Arakawa and Yuta Sato
CALT: A Library for Computer Algebra with Transformer
-
Hareshkumar Jadav and Ranveer Singh
Strengthening Wilf's Lower Bound on Clique Number
-
Abhinav Bitragunta, Hareshkumar Jadav and Ranveer Singh
Cartesian Prime Graphs and Cospectral Families
-
Joshua Goldstein, J. Maurice Rojas, Henry Stone and Arnaldo Vera
New Explicit Root Counts for p-adic Circuit Systems
-
Demin Aleksandr and Gleb Pogudin
Finding simple generators of rational function fields
