Ryan Sandford

According to our database, Ryan Sandford authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Computing Intersection Multiplicities with Regular Chains.

Ryan Sandford, Jürgen Gerhard, Marc Moreno Maza

Maple Trans., 2022

2021

2-adjoint equivalences in homotopy type theory.

Daniel Carranza, Jonathan Chang, Chris Kapulkin, Ryan Sandford

Log. Methods Comput. Sci., 2021

Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities Beyond the Bivariate Case.

Marc Moreno Maza, Ryan Sandford

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021