Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mathieu Huot
Map detail
Mathieu Huot3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipMathieu HuotAMathieu HuotResearcherCorrectness of Automatic Differentiation via Diffeologies and Categorical GluingWCorrectness of Automati...preprint / 2020Functional Collection Programming with Semi-Ring DictionariesWFunctional Collection P...preprint / 2022
Person2 links

Mathieu Huot

Researcher