Login / Signup
Ryan Sandford
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Recognition Algorithm
Theoretical Basis
Convex Hull
Belief Functions
Top Venues
Maple Trans.
Log. Methods Comput. Sci.
CASC
</>
Publications
</>
Ryan Sandford
,
Jürgen Gerhard
,
Marc Moreno Maza
Computing Intersection Multiplicities with Regular Chains.
Maple Trans.
2 (1) (2022)
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)