Publication:2766799
From MaRDI portal
zbMath0988.68166MaRDI QIDQ2766799
Publication date: 8 July 2002
46-04: Software, source code, etc. for problems pertaining to functional analysis
Related Items
A mechanized proof of the basic perturbation lemma, Formalization of functional variation in HOL Light
Uses Software