A mechanized proof of the basic perturbation lemma

From MaRDI portal
Publication:928666

DOI10.1007/s10817-007-9094-xzbMath1140.68059OpenAlexW2027737519WikidataQ57721926 ScholiaQ57721926MaRDI QIDQ928666

Clemens Ballarin, Jesús Aransay, Julio Jesús Rubio García

Publication date: 11 June 2008

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-007-9094-x



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (14)


Uses Software


Cites Work


This page was built for publication: A mechanized proof of the basic perturbation lemma