Skip to main content
Have a personal or library account? Click to login
Multiplication-Related Classes of Complex Numbers Cover

Multiplication-Related Classes of Complex Numbers

Formalized Mathematics
Volume 28 (2020): Issue 2 (July 2020)
By: Rafał Ziobro  
Open Access
|Jan 2021
References

References

  1. [1] Marco B. Caminati and Giuseppe Rosolini. Custom automations in Mizar. Journal of Automated Reasoning, 50(2):147–160, 2013.10.1007/s10817-012-9266-1
    Search in Google ScholarBack to article
  2. [2] Artur Korniłowicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203–210, 2013.10.1007/s10817-012-9261-6
    Search in Google ScholarBack to article
  3. [3] Karol Pąk. Improving legibility of natural deduction proofs is not trivial. Logical Methods in Computer Science, 10, 2014.10.2168/LMCS-10(3:23)2014
    Search in Google ScholarBack to article
DOI: https://doi.org/10.2478/forma-2020-0017 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 197 - 210
Accepted on: May 31, 2020
Published on: Jan 9, 2021
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
complex numbers,
multiplication,
order
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2021 Rafał Ziobro, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 28 (2020): Issue 2 (July 2020)
Previous article
Next article