Multiplication-related classes of complex numbers

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

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

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)