Efficient and Formally Proven Reduction of Large Integers by Small Moduli

Saved in:
Bibliographic Details
Published in:ACM transactions on mathematical software 2011, Vol.37 (2)
Main Authors: RUTTEN IBM, Luc, VAN EEKELEN, Marko
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Logic and foundations
Logical, boolean and switching functions
Mathematical logic, foundations, set theory
Mathematics
Proof theory and constructive mathematics
Sciences and techniques of general use
Software
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0098-3500
1557-7295