benchmark evaluation 1computer algebra systems 1large language models 1mathematical reasoning 1proof automation 1
From the 1 of 8 linked papers with an AI index.
Showing math.AGShow all
2 papers · 1 filter
math.AG2026
Oriented Cohomology Rings of Some Moduli Spaces via Blowups
Arkamouli Debnath, Michael Ruofan Zeng
Oriented cohomology theories provide a general framework to perform intersection-theory-type calculus. The Chow ring, algebraic -theory, and Levine--Morel's algebraic cobordism…
math.AG2025
Brackets and Projective Geometry in Macaulay2
Dalton Bidleman, Timothy Duff, Jack Kendrick +1
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special lin…