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

Showing 2023Show all

2 papers · 1 filter

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…

The sum-product problem for small sets

A Syntax for Strictly Associative and Unital ∞-Categories

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