Alex Rice

activity

20112023

most citedComputation on Elliptic Curves with Complex Multiplication

19 citations · 37 across the 20 of their papers we have counts for

collaborators

24 papers

math.CO2023

The sum-product problem for small sets

Ginny Ray Clevenger, Haley Havard, Patch Heard +3

For $A \subseteq R$ , let $A + A = {a + b : a, b \in A}$ and $AA = {ab : a, b \in A}$ . For $k \in N$ , let $S P (k)$ denote the minimum value of $max {∣ A + A ∣, ∣ AA ∣}$ over all $A…

math.CT2023

A Syntax for Strictly Associative and Unital $\infty$ -Categories

Eric Finster, Alex Rice, Jamie Vicary

We present the first definition of strictly associative and unital $\infty$ -category. Our proposal takes the form of a type theory whose terms describe the operations of such struc…

math.NT2022

Computations and observations on congruence covering systems

Raj Agrawal, Prarthana Bhatia, Kratik Gupta +4

A $covering system$ is a collection of integer congruences such that every integer satisfies at least one congruence in the collection. A covering system is called $\texti…

math.CO2021

Schur's theorem in integer lattices

Vishal Balaji, Andrew Lott, Alex Rice

A standard proof of Schur's Theorem yields that any $r$ -coloring of ${1, 2, \dots, R_{r} - 1}$ yields a monochromatic solution to $x + y = z$ , where $R_{r}$ is the classical $r$ -color Ramsey…

cs.LO2021

Enumerating Independent Linear Inferences

Anupam Das, Alex Rice

A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical represent…

math.CT2021

A Type Theory for Strictly Associative Infinity Categories