@第{zbMATH07771365条，作者={Endou，Noboru}，标题={区间微分}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={31}，数字={1}，页码={9--21}，年份={2023}，语言={英语}，DOI＝{10.2478/形式-2023-0002}，关键词={68V20,26A06}，zbMATH={7771365}}