publications

2021

1. CASC

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

   Moreno-Maza, Marc, and Sandford, Ryan

   In Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings 2021

   Bib Author's Version Slides

   @inproceedings{conf/casc/MazaS21,
     abbr = {CASC},
     bibtex_show = {true},
     author = {Moreno-Maza, Marc and Sandford, Ryan},
     editor = {Boulier, Fran{\c{c}}ois and England, Matthew and Sadykov, Timur M. and Vorozhtsov, Evgenii V.},
     title = {Towards Extending Fulton's Algorithm for Computing Intersection Multiplicities
                    Beyond the Bivariate Case},
     booktitle = {Computer Algebra in Scientific Computing - 23rd International Workshop,
                    {CASC} 2021, Sochi, Russia, September 13-17, 2021, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {12865},
     pages = {232--251},
     publisher = {Springer},
     year = {2021},
     auth = {im_author_version.pdf},
     slides = {im_casc_slides.pdf},
     url = {https://doi.org/10.1007/978-3-030-85165-1\_14},
     doi = {10.1007/978-3-030-85165-1\_14},
     timestamp = {Fri, 20 Aug 2021 08:50:11 +0200}
   }

2. LMCS

   2-adjoint equivalences in homotopy type theory

   Carranza, Daniel, Chang, Jonathan, Kapulkin, Chris, and Sandford, Ryan

   Logical Methods in Computer Science 2021

   Bib PDF Slides

   @article{journals/lmcs/CarranzaCKS21,
     abbr = {LMCS},
     bibtex_show = {true},
     author = {Carranza, Daniel and Chang, Jonathan and Kapulkin, Chris and Sandford, Ryan},
     title = {2-adjoint equivalences in homotopy type theory},
     journal = {Logical Methods in Computer Science},
     volume = {17},
     number = {1},
     year = {2021},
     pdf = {2adj.pdf},
     slides = {2adj_slides.pdf},
     url = {https://lmcs.episciences.org/7124},
     timestamp = {Tue, 26 Jan 2021 15:58:27 +0100}
   }

2022

1. MT

   Computing Intersection Multiplicities with Regular Chains

   Gerhard, Jürgen, Moreno-Maza, Marc, and Sandford, Ryan

   In Maple Transactions 2022

   Bib PDF Slides

   @inproceedings{conf/mt/Gerhard22,
     abbr = {MT},
     bibtex_show = {true},
     author = {Gerhard, Jürgen and Moreno-Maza, Marc and Sandford, Ryan},
     editor = {Corless, Robert M.},
     title = {Computing Intersection Multiplicities with Regular Chains},
     booktitle = {Maple Transactions},
     volume = {2},
     issue = {1},
     year = {2022},
     month = sep,
     pdf = {MT2021.pdf},
     slides = {MT2021_slides.pdf},
     url = {https://doi.org/10.5206/mt.v2i1.14463},
     doi = {10.5206/mt.v2i1.14463}
   }

2. THESIS

   Towards a Generalization of Fulton’s Intersection Multiplicity Algorithm

   Sandford, Ryan

   2022

   Bib PDF Slides

   @mastersthesis{sandford_2022,
     abbr = {THESIS},
     bibtex_show = {true},
     author = {Sandford, Ryan},
     title = {Towards a Generalization of Fulton's Intersection Multiplicity Algorithm},
     school = {The University of Western Ontario},
     year = {2022},
     month = apr,
     url = {https://ir.lib.uwo.ca/etd/8506/},
     pdf = {thesis.pdf},
     slides = {thesis_slides.pdf}
   }