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 2020Show all

3 papers · 1 filter

math.CT2020

Coinductive Invertibility in Higher Categories

Alex Rice

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditi…

cs.LO2020★ 7 cited

A Type Theory for Strictly Unital $\infty$ -Categories

Eric Finster, David Reutter, Alex Rice +1

We use type-theoretic techniques to present an algebraic theory of $\infty$ -categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$ -c…

math.NT2020

Multivariate Polynomial Values in Difference Sets

John R. Doyle, Alex Rice

For $ℓ \geq 2$ and $h \in Z [x_{1}, \dots, x_{ℓ}]$ of degree $k \geq 2$ , we show that every set $A \subseteq {1, 2, \dots, N}$ lacking nonzero differences in $h(\mathbb{Z}^{\e…

Coinductive Invertibility in Higher Categories

A Type Theory for Strictly Unital ∞-Categories

Multivariate Polynomial Values in Difference Sets

A Type Theory for Strictly Unital $\infty$ -Categories