Publication:4263160
From MaRDI portal
zbMath0943.68152MaRDI QIDQ4263160
Hanne Gottliebsen, Andrew A. Adams, Steve Linton, Ursula Martin Webb
Publication date: 17 February 2000
68W30: Symbolic computation and algebraic computation
Related Items
MBase: Representing knowledge and context for the integration of mathematical software systems, Applications of real number theorem proving in PVS, Hidden verification for computational mathematics
Uses Software