Incorporating decision procedures in implicit induction.
type: Item
instance of: scholarly article
title: Incorporating decision procedures in implicit induction.
zbMATH Open document ID: 1037.68129
author: Alessandro Armando
author: Michaël Rusinowitch
author: Sorin Stratulat
published in: Journal of Symbolic Computation
publication date: 2003-08-21T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1968940
zbMATH Keywords: Buchberger algorithm
describes a project that uses: PVS
describes a project that uses: STeP
MaRDI profile type: Publication
OpenAlex ID: W2031385999
cites work: Q4518863
cites work: Q4785507
cites work: Automated theorem proving by test set induction
cites work: Implicit induction in conditional theories
cites work: Q3894958
cites work: Q4377762
cites work: Q3999156
cites work: Q3998976
cites work: On Fourier's algorithm for linear arithmetic constraints
cites work: Q2754095
cites work: A general framework to build contextual cover set induction provers
cites work: Modern computer algebra
cites work: Q4847001
cites work: Q3696496
DOI: 10.1006/JSCO.2002.0549
description: scientific article; zbMATH DE number 1968940