Diffusion Isabelle 76720aeab21e

New material about transcendental functions, polynomials, et cetera, thanks to…
76720aeab21e
Actions

Tags

None

Subscribers

None

Description

New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE1d0cb3f003d4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE76720aeab21e: New material about transcendental functions, polynomials, et cetera, thanks to….Feb 21 2024, 11:46 AM

Changes (3)

Path

Size

src/

HOL/

Computational_Algebra/

Real_Asymp/

Multiseries_Expansion_Bounds.thy

Transcendental.thy

rISABELLE76720aeab21e

src/HOL/Computational_Algebra/Polynomial.thy

Loading...

src/HOL/Real_Asymp/Multiseries_Expansion_Bounds.thy

Loading...

src/HOL/Transcendental.thy

Loading...