scientific article; zbMATH DE number 2079832

zbMath1042.00510MaRDI QIDQ4471939

Martijn Oostdijk, Olga Caprotti

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1930/19300053.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General and miscellaneous specific topics (00A99)

Related Items

Formal and efficient primality proofs by use of computer algebra oracles, A scalable module system

Uses Software

• Cinderella
• OMRS
• Nuprl