{"inproceedings":{"@attributes":{"key":"conf\/cpp\/Thiemann016","mdate":"2020-06-15"},"author":["Ren\u00e9 Thiemann","Akihisa Yamada 0002"],"title":"Formalizing jordan normal forms in Isabelle\/HOL.","pages":"88-99","year":"2016","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/2854065.2854073","crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#Thiemann016"}}