304 citations · 337 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
GPP, the Generic Preprocessor
Tristan Miller, Denis Auroux
In computer science, a preprocessor (or macro processor) is a tool that programatically alters its input, typically on the basis of inline annotations, to produce data that serves…
math.SG2020
Fukaya categories of surfaces, spherical objects, and mapping class groups
Denis Auroux, Ivan Smith
We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class…