Multiplication-related classes of complex numbers

DOI10.2478/FORMA-2020-0017MaRDI QIDQ2113836zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Ziobro

Publication date 14 March 2022

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-2020-0017

zbMATH Keywords

multiplicationordercomplex numbers

Mathematics Subject Classification ID

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

Recommendations

• Organizing numerical theories using axiomatic type classes
• Prime factorization of sums and differences of two like powers
• Extending numeric automation for number theory formalizations in Mizar
• Theory Is Forever
• Arithmetic operations on short finite sequences

Cites work

• Custom automations in Mizar
• Improving legibility of natural deduction proofs is not trivial
• On rewriting rules in Mizar

Cited in

(6)

• scientific article; zbMATH DE number 5173407 (Why is no real title available?)
• scientific article; zbMATH DE number 742871 (Why is no real title available?)
• Algebraic substantiation of complex multiplication
• scientific article; zbMATH DE number 1832919 (Why is no real title available?)
• scientific article; zbMATH DE number 2066358 (Why is no real title available?)
• scientific article; zbMATH DE number 5995058 (Why is no real title available?)

This page was built for publication: Multiplication-related classes of complex numbers

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