Conjecture synthesis for inductive theories
type: Item
instance of: scholarly article
title: Conjecture synthesis for inductive theories
zbMATH Open document ID: 1243.68268
author: Moa Johansson
author: Lucas Dixon
author: Alan Bundy
published in: Journal of Automated Reasoning
publication date: 2012-07-31T00:00:00Z
full work available at URL: http://hdl.handle.net/1842/4746
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6062051
zbMATH Keywords: theory formation
zbMATH Keywords: induction
zbMATH Keywords: synthesis
zbMATH Keywords: theorem proving
zbMATH Keywords: lemma discovery
Wikidata QID: Q122961283
describes a project that uses: TPTP
describes a project that uses: Isabelle
describes a project that uses: Theorema
describes a project that uses: IsaPlanner
describes a project that uses: HR
describes a project that uses: MATHsAiD
MaRDI profile type: Publication
OpenAlex ID: W2014136929
cites work: \textit{Theorema}: Towards computer-aided mathematical theory exploration
cites work: Q3804239
cites work: Rippling: Meta-Level Guidance for Mathematical Reasoning
cites work: Experiments with proof plans for induction
cites work: Q3006508
cites work: Theorem Proving in Higher Order Logics
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q5581665
cites work: Q3938537
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: The TPTP problem library. CNF release v1. 2. 1
DOI: 10.1007/S10817-010-9193-Y
description: scientific article; zbMATH DE number 6062051