هل استخدم أي شخص مساعد دليل لإثبات سلامة حساب التفاضل والتكامل العملية المكتوبة؟

Question

... وحملوا النتائج التي يمكنني فيها قراءةها؟

Answer 1

آه، هناك دليل على السلامة لعملية حساب التفاضل والتكامل تحت لغة برمجة الصورة في أطروحة ديفيد N.Turner.

Answer 2

هناك العديد من الأشخاص الذين يقومون بالأشياء على طول هذه الخطوط. انظر من خلال الأوراق في جون روسبي PVS. الموقع، وننظر إلى COQ أوراق.

يبحث سيتيسير من المحتمل أن تفعل بعض الخير أيضا - الجميع تقريبا ينشر الجميع في الوقت الحاضر أول ما يرام إلى سيتيسر، لذلك لن يحصل لك القليل من الحول على نفس الورق، أو شيء مشابه للغاية للورقة المنشورة في مجلة باهظة الثمن.

Answer 3

ال أرشيف البراهين الرسمية لديه العديد من الإدخالات في فئة "عملية Calculi العملية" المدرجة في المواضيع, ، مثل CCS و PI حساب التفاضل والتكامل.