Ryan Sandford

dblp:283/7375 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2021
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2021 Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case
Marc Moreno Maza, Ryan Sandford
CASC2
2021 2-adjoint equivalences in homotopy type theory
Daniel Carranza, Chris Kapulkin, Ryan Sandford
Log. Methods Comput. Sci.4