<--- Back to Details
First PageDocument Content
Integer sequences / Infinite group theory / Topological groups / Elementary number theory / Profinite group / Fibonacci number / Factorial / P-adic number / Integer / Mathematics / Abstract algebra / Number theory
Date: 2006-01-02 13:17:44
Integer sequences
Infinite group theory
Topological groups
Elementary number theory
Profinite group
Fibonacci number
Factorial
P-adic number
Integer
Mathematics
Abstract algebra
Number theory

Hendrik Lenstra Profinite Fibonacci numbers

Add to Reading List

Source URL: www.math.leidenuniv.nl

Download Document from Source Website

File Size: 350,53 KB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Linear programming / Linear algebra / Elementary algebra / Inequality / Linear inequality / Expected value / Simplex algorithm / Boolean satisfiability problem / Cutting-plane method / Equation solving

Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

DocID: 1xW2n - View Document

Software engineering / C++ / Computing / Computer programming / Pointer / Const / Undefined behavior / C dynamic memory allocation / Data type / Optimizing compiler / C++11 / Stack

A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗

DocID: 1xVYp - View Document

Cryptography / Mathematics / Algebra / Finite fields / Computational hardness assumptions / Integer factorization algorithms / Emerging technologies / Quantum computing / RSA / Euclidean algorithm / Quantum algorithm / XTR

Lecture 19, Thurs March 30: RSA and Shor’s Algorithm Today we’ll see Shor’s algorithm. Given a positive integer ​N​, which we’ll assume for simplicity is a product of two primes |​and , this algorithm lets

DocID: 1xVSj - View Document

Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New

DocID: 1xVFF - View Document

Mathematics / Algebra / Theoretical computer science / Logic in computer science / Satisfiability modulo theories / Alt-Ergo / Modular arithmetic / Ring / Rewriting / Linear programming / First-order logic / Interval arithmetic

A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´

DocID: 1xVkg - View Document