scientific article; zbMATH DE number 1254246
From MaRDI portal
Publication:4227289
zbMath0922.68080MaRDI QIDQ4227289
Karsten Homann, Jacques Calmet, Clemens Ballarin
Publication date: 23 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Enabling Symbolic and Numerical Computations in HOL Light, Formal and efficient primality proofs by use of computer algebra oracles, Towards the Mathematics Software Bus, A bi-directional extensible interface between Lean and Mathematica, Computer algebra and artificial intelligence, Unnamed Item, Applications of real number theorem proving in PVS, Formal analysis of optical systems, Hidden verification for computational mathematics, Dealing with algebraic expressions over a field in Coq using Maple, Knowledge-based proof planning, A two-level approach towards lean proof-checking, On the role of OpenMath in interactive mathematical documents, MBase: Representing knowledge and context for the integration of mathematical software systems, Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework, Verified interactive computation of definite integrals, Combining Isabelle and QEPCAD-B in the Prover’s Palette, Modelling algebraic structures and morphisms in ACL2
Uses Software
