Algebraically Closed Fields in Isabelle/HOL

DOI10.1007/978-3-030-51054-1_12MaRDI QIDQ5049003zbMATH OpenOpenAlexFDO

Authors Paulo Emílio de Vilhena, Lawrence C. Paulson

Publication date 9 November 2022

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51054-1_12

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 794176 (Why is no real title available?)
• On roots of polynomials and algebraically closed fields
• Organizing numerical theories using axiomatic type classes

Cited in

(3)

• Simple type theory is not too simple: Grothendieck's schemes without dependent types
• Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
• Derandomization with pseudorandomness

Describes a project that uses

Uses Software

• Archive of Formal Proofs
• GitHub

This page was built for publication: Algebraically Closed Fields in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049003)