HomeIsabelle/Phabricator
Diffusion afp-devel cb70e6f97bfa

split Count_Complex_Roots
cb70e6f97bfa
Actions

Description

split Count_Complex_Roots

Details

Provenance
Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com>Authored on
Parents
rAFP802a16fc10b0: modify JinjaDCI
Branches
Unknown
Tags
Unknown

Event Timeline

Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFPcb70e6f97bfa: split Count_Complex_Roots.Oct 24 2021, 8:58 AM

Changes (10)

PathSize

rAFPcb70e6f97bfa

View Options

thys/Count_Complex_Roots/CC_Polynomials_Extra.thy

Loading...
View Options

thys/Count_Complex_Roots/Count_Circle.thy

Loading...
View Options

thys/Count_Complex_Roots/Count_Complex_Roots.thy

Loading...
View Options

thys/Count_Complex_Roots/Count_Half_Plane.thy

Loading...
View Options

thys/Count_Complex_Roots/Count_Line.thy

Loading...
View Options

thys/Count_Complex_Roots/Count_Rectangle.thy

Loading...
View Options

thys/Count_Complex_Roots/Extended_Sturm.thy

Loading...
View Options

thys/Count_Complex_Roots/More_Polynomials.thy

Loading...