Formalized probability theory and applications using theorem proving
By: by Osman Hasan and Sofiène Tahar
Contributors: Tahar, Sofiène, 1966-
Publisher: Information Science Reference, and imprint of IGI Global
Published: 2015
Place of publication: Hershey, PA
Language: eng
Number of pages: 298
ISBN-13: 9781466683150; 9781466683167
Subjects: Computer systems; Stochastic analysis; Data processing; Evaluation; Automatic theorem proving
Description: "This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"--
Notes: Includes bibliographical references (pages 287-294) and index.