Analytica --- an experiment in combining theorem proving and symbolic computation
type: Item
instance of: scholarly article
title: Analytica --- an experiment in combining theorem proving and symbolic computation
zbMATH Open document ID: 0916.68143
DOI: 10.1023/A:1006079212546
author: Andrej Bauer
author: Xudong Zhao
author: Edmund Clarke
published in: Journal of Automated Reasoning
publication date: 1999-06-29T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1234678
zbMATH Keywords: Analytica
zbMATH Keywords: theorem prover
zbMATH Keywords: Mathematica
describes a project that uses: IMPS
describes a project that uses: Analytica
describes a project that uses: Mathematica
describes a project that uses: LCF
MaRDI profile type: Publication
full work available at URL: a:1006079212546
OpenAlex ID: W1544772966
Wikidata QID: Q115902552
description: scientific article; zbMATH DE number 1234678