Multiplication-Related Classes of Complex Numbers

[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-1Search in Google Scholar

[2] Artur Korniłowicz. On rewriting rules in Mizar. Journal of Automated Reasoning, 50(2): 203–210, 2013.10.1007/s10817-012-9261-6Search in Google Scholar

[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)2014Search in Google Scholar