Mirna Dzamonja, Angeliki Koutsoukou Argyraki, Lawrence C. Paulson. Formalizing Ordinal Partition Relations Using Isabelle/HOL. Experimental Mathematics, 31(2):383-400, 2022. [doi]
@article{DzamonjaKP22,
title = {Formalizing Ordinal Partition Relations Using Isabelle/HOL},
author = {Mirna Dzamonja and Angeliki Koutsoukou Argyraki and Lawrence C. Paulson},
year = {2022},
doi = {10.1080/10586458.2021.1980464},
url = {https://doi.org/10.1080/10586458.2021.1980464},
researchr = {https://researchr.org/publication/DzamonjaKP22},
cites = {0},
citedby = {0},
journal = {Experimental Mathematics},
volume = {31},
number = {2},
pages = {383-400},
}