Diffusion afp-devel 82a159e398cf

solved the roots-on-the-border problem
82a159e398cf
Actions

Tags

None

Subscribers

None

Description

solved the roots-on-the-border problem

Details

Provenance

Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com>

Authored on

Parents

rAFPcb70e6f97bfa: split Count_Complex_Roots

Branches

Unknown

Tags

Unknown

Event Timeline

Wenda Li <wl302@cam.ac.uk / liwenda1990@hotmail.com> committed rAFP82a159e398cf: solved the roots-on-the-border problem.Oct 26 2021, 6:43 AM

Changes (8)

Path

Size

thys/

Count_Complex_Roots/

CC_Polynomials_Extra.thy

Count_Circle.thy

Count_Complex_Roots_Examples.thy

Count_Half_Plane.thy

Count_Rectangle.thy

Extended_Sturm.thy

rAFP82a159e398cf

thys/Count_Complex_Roots/CC_Polynomials_Extra.thy

Loading...

thys/Count_Complex_Roots/Count_Circle.thy

Loading...

thys/Count_Complex_Roots/Count_Complex_Roots_Examples.thy

Loading...

thys/Count_Complex_Roots/Count_Half_Plane.thy

Loading...

thys/Count_Complex_Roots/Count_Line.thy

Loading...

thys/Count_Complex_Roots/Count_Rectangle.thy

Loading...

thys/Count_Complex_Roots/Extended_Sturm.thy

Loading...

thys/Count_Complex_Roots/ROOT

Loading...