Login / Signup
Ryan Sandford
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Recognition Algorithm
Expectation Maximization
Theoretical Basis
Convex Hull
Top Venues
Log. Methods Comput. Sci.
CASC
</>
Publications
</>
Daniel Carranza
,
Jonathan Chang
,
Chris Kapulkin
,
Ryan Sandford
2-adjoint equivalences in homotopy type theory.
Log. Methods Comput. Sci.
17 (1) (2021)
Marc Moreno Maza
,
Ryan Sandford
Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case.
CASC
(2021)