eng Science and Education Publishing Automatic Control and Information Sciences 2014-07-08 2 3 49 52 10.12691/acis-2-3-1 ACIS2014231 article Chii-Huei Yu chiihuei@nju.edu.tw 1 Department of Management and Information, Nan Jeon University of Science and Technology, Tainan City, Taiwan This paper studies two types of definite integrals and uses Maple for verification. The closed forms of these definite integrals can be obtained using Poisson integral formula. On the other hand, some examples are used to demonstrate the calculations. http://pubs.sciepub.com/acis/2/3/1/acis-2-3-1.pdf definite integrals closed forms Poisson integral formula Maple