A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers.

Benjamin Grégoire Laurent Théry

Published in: IJCAR (2006)

Keyphrases

data sets
modular structure
database
real world
e learning
database systems
real numbers
highly flexible
functional analysis
public libraries