works on
benchmark evaluation 1computer algebra systems 1large language models 1mathematical reasoning 1proof automation 1

From the 1 of 8 linked papers with an AI index.

collaborators
Showing math.ATShow all

1 paper · 1 filter

math.AT2025

-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.