To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

TIP: Tons of Inductive Pr… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Contact form


Note! If you want an answer on a question you must specify your email address

TIP: Tons of Inductive Problems

Conference paper
Authors Koen Claessen
Moa Johansson
Dan Rosén
Nicholas Smallbone
Published in Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM)
Volume 9150
Pages 332-336
ISBN 978-3-319-20615-8
ISSN 0302-9743
Publication year 2015
Published at
Pages 332-336
Language en
Subject categories Software Engineering, Computer Vision and Robotics (Autonomous Systems)


This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem proving has increased the demands for evaluation and comparison between systems. We expect the benchmark suite to continually grow as more problems are submitted by the community. New challenge problems will promote further development of provers which will greatly benefit both developers and users of inductive theorem provers.

Page Manager: Webmaster|Last update: 9/11/2012

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?