Formal adventures in convex and conical spaces

DOI10.1007/978-3-030-53518-6_2zbMath1455.68254arXiv2004.12713OpenAlexW3042477350MaRDI QIDQ2219378

Takafumi Saikawa, Jacques Garrigue, Reynald Affeldt

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2004.12713

zbMATH Keywords

convex spacesconical spacesformalization in Coq

Mathematics Subject Classification ID

Axiomatic and generalized convexity (52A01) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Measure construction by extension in dependent type theory with application to integration ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ Formalisation of Bayesian concealment

Uses Software

• Coq

This page was built for publication: Formal adventures in convex and conical spaces