Algebraic numbers

DOI10.1515/FORMA-2016-0025MaRDI QIDQ520387zbMATH OpenOpenAlexFDO

Authors Yasushige Watase

Publication date 3 April 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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

zbMATH Keywords

algebraic numberintegral dependency

Mathematics Subject Classification ID

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

Recommendations

• Algebraic extensions
• scientific article; zbMATH DE number 3929107
• On roots of polynomials and algebraically closed fields
• Some algebraic properties of polynomial rings
• TRANSCENDENTAL AND ALGEBRAIC EXTENSIONS OF COMMUTATIVE RINGS

Cites work

• scientific article; zbMATH DE number 437289 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 3489250 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Semantics of MML query -- ordering

Cited in

(21)

• scientific article; zbMATH DE number 4154585 (Why is no real title available?)
• scientific article; zbMATH DE number 2238575 (Why is no real title available?)
• A closed formula for the product in simple integral extensions
• Integer Relations Among Algebraic Numbers
• Ring and field adjunctions, algebraic elements and minimal polynomials
• Sums of units in function fields II: The extension problem
• Gaussian integers
• Large algebraic integers
• Being Rational About Algebraic Numbers
• All Liouville numbers are transcendental
• scientific article; zbMATH DE number 1553613 (Why is no real title available?)
• scientific article; zbMATH DE number 3309311 (Why is no real title available?)
• A formalization of Dedekind domains and class groups of global fields
• ``Theory of numbers of a complete region
• scientific article; zbMATH DE number 863490 (Why is no real title available?)
• scientific article; zbMATH DE number 7607451 (Why is no real title available?)
• scientific article; zbMATH DE number 6793055 (Why is no real title available?)
• scientific article; zbMATH DE number 4144224 (Why is no real title available?)
• A Class of Algebraic Integers
• scientific article; zbMATH DE number 6778609 (Why is no real title available?)
• scientific article; zbMATH DE number 3072141 (Why is no real title available?)

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)