scientific article

zbMath0988.68166MaRDI QIDQ2766799

Gertrud Bauer, Markus Wenzel

Publication date: 8 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to functional analysis (46-04)

Related Items

Formalization of functional variation in HOL Light, A mechanized proof of the basic perturbation lemma

Uses Software

• Isabelle
• Isabelle/HOL