Niven's theorem
From MaRDI portal
Publication:520388
DOI10.1515/FORMA-2016-0026zbMath1357.12004OpenAlexW2592247277MaRDI QIDQ520388
Artur Korniłowicz, Adam Naumowicz
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-0026
Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Mechanization of proofs and logical operations (03B35)
Cites Work
This page was built for publication: Niven's theorem