Special IssueFormal and Efficient Primality Proofs by Use of Computer Algebra Oracles
Under an Elsevier user license
open archive
Cited by (0)
- 1
During this work, the author was supported by the OpenMath Esprit project 24969.
Copyright © 2001 Academic Press. All rights reserved.