Application of complex classes to number theory

DOI10.2478/FORMA-2025-0016MaRDI QIDQ6840580zbMATH OpenFDO

Authors Rafał Ziobro

Publication date 23 March 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2025-0016

zbMATH Keywords

divisioninteger numbersmultiplicationrounding

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to sequences, series, summability (40-04) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Application of complex classes to number theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6840580)