Multiplication-related classes of complex numbers

DOI10.2478/forma-2020-0017OpenAlexW3124804590WikidataQ114041349 ScholiaQ114041349MaRDI QIDQ2113836

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

ordermultiplicationcomplex 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

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