3 papers
math.AT2025
SeqSee: A schema-based approach to spectral sequence visualization
Joey Beauvais-Feisthauer, Dan Isaksen
We present SeqSee, a software system that addresses spectral sequence visualization through a schema-based approach. By introducing a standardized JSON schema as an intermediate re…
math.AT2022
Automated differential computation in the Adams spectral sequence
Joey Beauvais-Feisthauer
We describe an algorithm for the automated deduction of many differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
math.RA2022
Milnor-Moore theorems for bialgebras in characteristic zero
Joey Beauvais-Feisthauer, Yatin Patel, Andrew Salch
Over fields of characteristic zero, we construct equivalences between certain categories of bialgebras which are generated by grouplikes and generalized primitives, and certain cat…