Multiplication-Related Classes of Complex Numbers

.blurhash-client-img { display: none !important; }

Open Access

|Jan 2021

References

[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 Scholar Back to article
[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 Scholar Back to article
[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 Scholar Back to article