HomeIsabelle/Phabricator
Diffusion afp-devel 83d6170644f2

New entry "Continued_Fractions"
83d6170644f2
Actions

Description

New entry "Continued_Fractions"

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPdbea0a138a7e: sitegen for Approximate_Model_Counting
Branches
Unknown
Tags
Unknown

Changes (16)

PathSize

rAFP83d6170644f2

View Options

thys/Continued_Fractions/Continued_Fraction_Approximation.thy

Loading...
View Options

thys/Continued_Fractions/Continued_Fractions.thy

Loading...
View Options

thys/Continued_Fractions/E_CFrac.thy

Loading...
View Options

thys/Continued_Fractions/Pell_Continued_Fraction.thy

Loading...
View Options

thys/Continued_Fractions/Pell_Continued_Fraction_Tests.thy

Loading...
View Options

thys/Continued_Fractions/Pell_Lifting.thy

Loading...
View Options

thys/Continued_Fractions/Quadratic_Irrationals.thy

Loading...
View Options

thys/Continued_Fractions/ROOT

Loading...
View Options

thys/Continued_Fractions/Sqrt_Nat_Cfrac.thy

Loading...
View Options

thys/Continued_Fractions/approximation_cfrac.ML

Loading...
View Options

thys/Continued_Fractions/document/root.bib

Loading...
View Options

thys/Continued_Fractions/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...