Algebraically Closed Fields in Isabelle/HOL

DOI10.1007/978-3-030-51054-1_12OpenAlexW3039393788MaRDI QIDQ5049003

Paulo Emílio de Vilhena, Lawrence Charles 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)

Related Items (2)

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

Uses Software

• GitHub
• Archive Formal Proofs

Cites Work

• On roots of polynomials and algebraically closed fields
• Organizing numerical theories using axiomatic type classes
• Unnamed Item
• Unnamed Item

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