scientific article; zbMATH DE number 1140680
From MaRDI portal
Publication:4385445
zbMath0894.68087MaRDI QIDQ4385445
Karsten Homann, Jacques Calmet
Publication date: 19 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Formal and efficient primality proofs by use of computer algebra oracles ⋮ Towards the Mathematics Software Bus ⋮ Computer algebra and artificial intelligence ⋮ Hidden verification for computational mathematics ⋮ Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework ⋮ Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
Uses Software
This page was built for publication:
