scientific article; zbMATH DE number 1341611
From MaRDI portal
Publication:4263160
zbMath0943.68152MaRDI QIDQ4263160
Hanne Gottliebsen, Andrew A. Adams, Steve Linton, Ursula Martin Webb
Publication date: 17 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Applications of real number theorem proving in PVS ⋮ Hidden verification for computational mathematics ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems
Uses Software
This page was built for publication:
