5 papers
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…
CircuitBuilder: From Polynomials to Circuits via Reinforcement Learning
Weikun K. Zhang, Rohan Pandey, Bhaumik Mehta +5
Motivated by auto-proof generation and Valiant's VP vs. VNP conjecture, we study the problem of discovering efficient arithmetic circuits to compute polynomials, using addition and…
The Grothendieck Group of the Variety of Spanning Line Configurations
Michael Ruofan Zeng
We study the Grothendieck group of the variety of spanning line configurations introduced by Pawlowski--Rhoades [arXiv:1711.08301] as a geometric model for the generalize…
-Mackey functors in Macaulay2
Thomas Brazelton, David Chan, Benjamin Mudrak +5
We introduce the CpMackeyFunctors package for Macaulay2, which allows for computations with Mackey functors over a cyclic group of prime order.
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…