JSM Preliminary Online Program
This is the preliminary program for the 2009 Joint Statistical Meetings in Washington, DC.

The views expressed here are those of the individual authors
and not necessarily those of the ASA or its board, officers, or staff.

Back to main JSM 2009 Program page

Activity Number: 219
Type: Contributed
Date/Time: Monday, August 3, 2009 : 2:00 PM to 3:50 PM
Sponsor: Section on Statistical Computing
Abstract - #304709
Title: Computer-Aided Reasoning in Statistics
Author(s): Leif Johnson*+
Companies: The University of Minnesota
Address: 313 Ford Hall, Minneapolis, MN, 55455 ,
Keywords: computer aided reasoning ; theorems ; proofs
Abstract:

We will discuss the general concept of computer theorem provers and it's application in statistics. This will include some early results and some possible eventual applications.

  • The address information is for the authors that have a + after their name.
  • Authors who are presenting talks have a * after their name.

Back to the full JSM 2009 program


JSM 2009 For information, contact jsm@amstat.org or phone (888) 231-3473. If you have questions about the Continuing Education program, please contact the Education Department.
Revised September, 2008