Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

math-comp/analysis: MathComp Analysis 1.16.0

20260 citationsOthergreen Open Access

Authors

Cyril Cohen · Institut national de recherche en sciences et technologies du numérique

Pierre Roux · Office National d'Études et de Recherches Aérospatiales

Pierre-Yves Strub

Kazuhiko Sakaguchi · Université Claude Bernard Lyon 1

Laurent Théry · Institut national de recherche en sciences et technologies du numérique

Abstract

Compatible with Rocq 9.0 and 9.1 and MathComp 2.4.0--2.5.0. See the changelog

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19053896

math-comp/analysis: MathComp Analysis 1.16.0 | Researchclopedia

Alessandro Bruni

Yves Bertot · Institut national de recherche en sciences et technologies du numérique

Takafumi Saikawa

Yosuke Ito · New York Life Insurance Company (United States)

Damien Rouhling

Quentin VERMANDE

YOSHIHIRO Imai · Prevention of Organ Failure

Lynda · Université Paris Cité

Alistair Sirman · University of Southampton

Marco Molè · Politecnico di Milano

Théo Zimmermann · Télécom Paris

The Gitter Badger · Twitter (United States)

Magnus Brun Larsen

Jacques Garrigue · Nagoya University

Enrico Tassi · Mathys (Netherlands)

Anton Trunov · Meta (Israel)