scientific article; zbMATH DE number 1863375
From MaRDI portal
zbMath1005.68997MaRDI QIDQ4790649
Sam Owre, Hanne Gottliebsen, Andrew A. Adams, Martin Dunstan, Tom Kelsey, Ursula Martin Webb
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520027
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Enabling Symbolic and Numerical Computations in HOL Light, The formalization of discrete Fourier transform in HOL, Providing a formal linkage between MDG and HOL, A bi-directional extensible interface between Lean and Mathematica, Applications of real number theorem proving in PVS, A Brief Overview of PVS, Hidden verification for computational mathematics, Dealing with algebraic expressions over a field in Coq using Maple, Proof verification and proof discovery for relativity, Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework, Proof Assistant Decision Procedures for Formalizing Origami, Verified interactive computation of definite integrals, PVS, Modelling algebraic structures and morphisms in ACL2
Uses Software
