Diffusion afp-devel 149d79fb9a89

new entry BenOr_Kozen_Reif
149d79fb9a89
Actions

Tags

None

Subscribers

None

Description

new entry BenOr_Kozen_Reif

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP141f2e614ae3: Slight tidying to shorten too-long lines

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP149d79fb9a89: new entry BenOr_Kozen_Reif.Apr 25 2021, 5:05 PM

Changes (15)

Path

Size

BenOr_Kozen_Reif

BKR_Algorithm.thy

BKR_Decision.thy

Matrix_Equation_Construction.thy

More_Matrix.thy

Renegar_Algorithm.thy

Renegar_Decision.thy

Renegar_Proofs.thy

rAFP149d79fb9a89

thys/BenOr_Kozen_Reif/BKR_Algorithm.thy

Loading...

thys/BenOr_Kozen_Reif/BKR_Decision.thy

Loading...

thys/BenOr_Kozen_Reif/BKR_Proofs.thy

Loading...

thys/BenOr_Kozen_Reif/Matrix_Equation_Construction.thy

Loading...

thys/BenOr_Kozen_Reif/More_Matrix.thy

Loading...

thys/BenOr_Kozen_Reif/ROOT

Loading...

thys/BenOr_Kozen_Reif/Renegar_Algorithm.thy

Loading...

thys/BenOr_Kozen_Reif/Renegar_Decision.thy

Loading...

thys/BenOr_Kozen_Reif/Renegar_Proofs.thy

Loading...

thys/BenOr_Kozen_Reif/document/root.bib

Loading...

thys/BenOr_Kozen_Reif/document/root.tex

Loading...

thys/ROOTS

Loading...