Diffusion afp-devel 74a42283f683

new entry Formal_Puiseux_Series
74a42283f683
Actions

Tags

None

Subscribers

None

Description

new entry Formal_Puiseux_Series

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPfc614d4bafa6: 2021 web pages

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP74a42283f683: new entry Formal_Puiseux_Series.Feb 24 2021, 2:57 PM

Changes (11)

Path

Size

Formal_Puiseux_Series

Formal_Puiseux_Series.thy

Puiseux_Laurent_Library.thy

Puiseux_Polynomial_Library.thy

rAFP74a42283f683

thys/Formal_Puiseux_Series/FPS_Hensel.thy

Loading...

thys/Formal_Puiseux_Series/Formal_Puiseux_Series.thy

Loading...

thys/Formal_Puiseux_Series/Puiseux_Laurent_Library.thy

Loading...

thys/Formal_Puiseux_Series/Puiseux_Polynomial_Library.thy

Loading...

thys/Formal_Puiseux_Series/ROOT

Loading...

thys/Formal_Puiseux_Series/document/root.bib

Loading...

thys/Formal_Puiseux_Series/document/root.tex

Loading...

thys/ROOTS

Loading...