Alex Rice

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Algebraic Geometry

Spreading Activation

Top Venues

LMS J. Comput. Math.

Publications

Eric Finster, Alex Rice, Jamie Vicary
A Syntax for Strictly Associative and Unital ∞-Categories. LICS (2024)
Eric Finster, Alex Rice, Jamie Vicary
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory. CoRR (2023)
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
A Type Theory for Strictly Unital ∞-Categories. LICS (2022)
Alex Rice
Reciprocal Sums and Counting Functions. Am. Math. Mon. 129 (10) (2022)
Eric Finster, Alex Rice, Jamie Vicary
A Type Theory for Strictly Associative Infinity Categories. CoRR (2021)
Neil Lyall, Alex Rice
A Quantitative Result on Diophantine Approximation for Intersective Polynomials. Integers (2015)
Lin-Shung Huang, Alex Rice, Erling Ellingsen, Collin Jackson
Analyzing Forged SSL Certificates in the Wild. IEEE Symposium on Security and Privacy (2014)
Pete L. Clark, Patrick Corn, Alex Rice, James Stankewicz
Computation on elliptic curves with complex multiplication. LMS J. Comput. Math. 17 (1) (2014)