Algebraic numbers

DOI10.1515/forma-2016-0025zbMath1357.11107OpenAlexW4244326957MaRDI QIDQ520387

Yasushige Watase

Publication date: 3 April 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0025

zbMATH Keywords

algebraic numberintegral dependency

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Algebraic numbers; rings of algebraic integers (11R04)

Related Items (2)

A formalization of Dedekind domains and class groups of global fields ⋮ All Liouville numbers are transcendental

Cites Work

• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic numbers