Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case. - Marc Moreno Maza; Ryan Sandford (CASC, 2021)

2-adjoint equivalences in homotopy type theory. - Daniel Carranza; Jonathan Chang; Chris Kapulkin; Ryan Sandford (Log. Methods Comput. Sci., 2021)

Computing Intersection Multiplicities with Regular Chains. - Ryan Sandford; Jürgen Gerhard; Marc Moreno Maza (Maple Trans., 2022)