Multiplication-related classes of complex numbers

DOI10.2478/FORMA-2020-0017OpenAlexW3124804590WikidataQ114041349 ScholiaQ114041349MaRDI QIDQ2113836FDOQ2113836

Authors: Rafał Ziobro 

Publication date: 14 March 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2020-0017

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

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)

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic substantiation of complex multiplication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)