Algebraic numbers
From MaRDI portal
Publication:520387
DOI10.1515/FORMA-2016-0025zbMATH Open1357.11107OpenAlexW4244326957MaRDI QIDQ520387FDOQ520387
Authors: 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
Recommendations
Algebraic numbers; rings of algebraic integers (11R04) Mechanization of proofs and logical operations (03B35)
Cites Work
Cited In (19)
- Ring and field adjunctions, algebraic elements and minimal polynomials
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalization of Dedekind domains and class groups of global fields
- Title not available (Why is that?)
- Title not available (Why is that?)
- Being Rational About Algebraic Numbers
- Title not available (Why is that?)
- Sums of units in function fields II: The extension problem
- A closed formula for the product in simple integral extensions
- Title not available (Why is that?)
- All Liouville numbers are transcendental
- A Class of Algebraic Integers
- Integer Relations Among Algebraic Numbers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Large algebraic integers
This page was built for publication: Algebraic numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520387)