![](/images/graphics-bg.png)
The Gauge Integral Theory in HOL4
المؤلفون المشاركون
Li, Xiaojuan
Wei, Hongxing
Ye, Shiwei
Zhang, Jie
Guan, Yong
Gu, Weiqing
Shi, Zhiping
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-7، 7ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-05-02
دولة النشر
مصر
عدد الصفحات
7
التخصصات الرئيسية
الملخص EN
The integral is one of the most important foundations for modeling dynamical systems.
The gauge integral is a generalization of the Riemann integral and the Lebesgue integral and applies to a much wider class of functions.
In this paper, we formalize the operational properties which contain the linearity, monotonicity, integration by parts, the Cauchy-type integrability criterion, and other important theorems of the gauge integral in higher-order logic 4 (HOL4) and then use them to verify an inverting integrator.
The formalized theorem library has been accepted by the HOL4 authority and will appear in HOL4 Kananaskis-9.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Shi, Zhiping& Gu, Weiqing& Li, Xiaojuan& Guan, Yong& Ye, Shiwei& Zhang, Jie…[et al.]. 2013. The Gauge Integral Theory in HOL4. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-7.
https://search.emarefa.net/detail/BIM-450700
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Shi, Zhiping…[et al.]. The Gauge Integral Theory in HOL4. Journal of Applied Mathematics No. 2013 (2013), pp.1-7.
https://search.emarefa.net/detail/BIM-450700
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Shi, Zhiping& Gu, Weiqing& Li, Xiaojuan& Guan, Yong& Ye, Shiwei& Zhang, Jie…[et al.]. The Gauge Integral Theory in HOL4. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-7.
https://search.emarefa.net/detail/BIM-450700
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-450700
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)