nLab Patrick Massot

Redirected from "polynomial Poisson algebras".

Selected writings

Selected writings

Kevin Buzzard, Johan Commelin, Patrick Massot, Formalising perfectoid spaces, CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Pages 299-312 (doi:10.1145/3372885.3373830, arXiv:1910.12320)

category: people

Created on June 13, 2023 at 18:02:58. See the history of this page for a list of all contributions to it.