Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 6)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030784089, 9783030784096
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of Stability Theory

2021 ◽  
pp. 31-45
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki
Keyword(s):  
Stability Theory

Introduction

2021 ◽  
pp. 1-22
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki

Conclusions

2021 ◽  
pp. 77-79
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki

Formalization of Asymptotic Notations

2021 ◽  
pp. 61-76
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki

scholarly journals Formalization of Cost and Utility in Microeconomics

2021 ◽  
pp. 47-60
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki

Interactive Theorem Proving

2021 ◽  
pp. 23-29
Author(s):  
Asad Ahmed ◽  
Osman Hasan ◽  
Falah Awwad ◽  
Nabil Bastaki
Keyword(s):  
Theorem Proving ◽  
Interactive Theorem Proving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document