Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

TIP: Tons of Inductive Pr… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

TIP: Tons of Inductive Problems

Paper i proceeding
Författare Koen Claessen
Moa Johansson
Dan Rosén
Nicholas Smallbone
Publicerad i Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM)
Volym 9150
Sidor 332-336
ISBN 978-3-319-20615-8
ISSN 0302-9743
Publiceringsår 2015
Publicerad vid
Sidor 332-336
Språk en
Ämneskategorier Programvaruteknik, Datorseende och robotik (autonoma system)

Sammanfattning

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.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?