scientific article; zbMATH DE number 1222425

From MaRDI portal

Publication:4217949

Jump to:navigation, search

zbMath0914.03012MaRDI QIDQ4217949

Michael J. Beeson

Publication date: 11 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic generation of proofs epsilon-delta proofs of continuity

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (4)

A fully automatic theorem prover with human-style output ⋮ Knowledge-based proof planning ⋮ Constraint solving for proof planning ⋮ Automatic derivation of the irrationality of \(e\)

Uses Software

Analytica

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4217949&oldid=18085175"

Pages with script errors