126 citations
- A. Polonski2 profiles21 · h 23
- B. Krusche2 profiles21 · h 46
- D. Hornidge2 profiles21 · h 28
- I. Supek2 profiles21 · h 26
- M. Korolija2 profiles21 · h 30
- P. Pedroni2 profiles21 · h 31
- R. Kondratiev2 profiles21 · h 28
- S. Prakhov2 profiles21 · h 25
- T. Rostomyan2 profiles21 · h 28
- V. Lisin2 profiles21 · h 28
- K. Livingston2 profiles20 · h 38
- M. Unverzagt20
- George Washington UniversityUS22 papers
- Kent State UniversityUS22 papers
- University of BaselCH22 papers
- University of EdinburghGB22 papers
- University of GlasgowGB22 papers
- Institute for Nuclear ResearchRU21 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT21 papers
- Johannes Gutenberg University MainzDE21 papers
- Ruđer Bošković InstituteHR21 papers
- University of BonnDE21 papers
- University of California, Los AngelesUS21 papers
- P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU18 papers
Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021★ 3 cited
Categorical semantics of a simple differential programming language
Geoffrey Cruttwell, Jonathan Gallagher, Dorette Pronk
With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been t…
math.CT2021★ 2 cited
The more legs the merrier: A new composition for symmetric (multi-)lenses
Michael Johnson, Robert Rosebrugh
Lenses are a category theoretic construct and are used in a wide variety of applications. Symmetric lenses compose to, of course, form new symmetric lenses. Symmetric lenses are us…