Spanish 
Chinese 
Russian 
German 
French 
Japanese 
Portuguese 
Hindi Research and Reports on Mathematics
Yunaf Shaik. Author
Subjects of specialization
Affiliation
Power System, electronics
Associate Professor, Department of Electrical Engineering, IIT Jodhpur, Rajasthan, India - 342037
Biography
He is affiliated to Department of electrical engineering Associate Professor IIT Jodhpur. He is a recipient of many awards and grants for his valuable contributions and discoveries in major area of subject research. His international experience includes various programs, contributions and participation in different countries for diverse fields of study. His research interests reflect in his wide range of publications in various national and international journals
Publications
Book Review Open Access
Formalizing Calculus while not Limit Theory in Coq
Author(s): Yunaf Shaik
The rationalisation of the basic theory can contribute to the event of huge comes. During this paper, we tend to gift the rationalisation in Coq of calculus while not limit theory. The idea aims to found a replacement variety of calculus additional simply however strictly. This theory as Associate in Nursing innovation differs from ancient calculus however is equivalent and additional clear. First, the definition of the difference-quotient operation is given intuitively from the physical facts. Further, conditions area unit other to that to urge the spinoff, and outline the integral by the axiomatization. Then some vital conclusions in calculus like the Newton–Leibniz formula and therefore the Taylor formula will be formally verified. This shows that this theory will be freelance ... view more»
Social Media
Google Scholars / Researchers Sites
