Integrating computer algebra into proof planning
type: Item
instance of: scholarly article
title: Integrating computer algebra into proof planning
zbMATH Open document ID: 0916.68144
DOI: 10.1023/A:1006059810729
author: Manfred Kerber
author: Michael Kohlhase
author: Volker Sorge
published in: Journal of Automated Reasoning
publication date: 1999-01-03T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1234679
zbMATH Keywords: mechanized reasoning systems
zbMATH Keywords: computer algebra systems
describes a project that uses: AXIOM
describes a project that uses: Mathematica
describes a project that uses: Nuprl
describes a project that uses: REDUCE
describes a project that uses: OMRS
describes a project that uses: MuPAD
describes a project that uses: Analytica
MaRDI profile type: Publication
full work available at URL: a:1006059810729
OpenAlex ID: W1881765559
Recommended article: Proof planning: A practical approach to mechanized reasoning in mathematics
Recommended article: An integral theorem prover and the role of proof planning
Recommended article: Q4217952
Recommended article: Q4934140
Recommended article: Q4790649
Recommended article: Q3002926
Recommended article: Q4518867
Recommended article: Q3831934
Recommended article: Computer-assisted proofs in analysis
Recommended article: Q4518862
description: scientific article; zbMATH DE number 1234679