Origin
Definitions
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
NumThyExamples
Nuprl Section: NumThyExamples - Number Theory Examples
Selected Objects
Introduction
Introductory Remarks
THM
quot_rem_exists_n_sfa
a
:
,
b
:
.
q
:
,
r
:
b
.
a
=
q
b
+
r
THM
fib_coprime_sfa
n
:
. CoPrime(fib(
n
),fib(
n
+1))
THM
fib_coprime_sfa2
n
:
. CoPrime(fib(
n
),fib(
n
+1))
THM
fib_coprime_sfa3
n
:
. CoPrime(fib(
n
),fib(
n
+1))
THM
bezout_ident_n_sfa
b
:
,
a
:
.
u
,
v
:
. GCD(
a
;
b
;
u
a
+
v
b
)
THM
stamps_sfa
i
:{8...}.
m
,
n
:
. 3
m
+5
n
=
i
THM
stamps_why_8cents
(
m
,
n
:
. 3
m
+5
n
= 7)
THM
stamps
i
:{8...}.
m
,
n
:
. 3
m
+5
n
=
i
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Origin
Definitions
Sections
NuprlLIB
Doc