Verifying the Smallest Interesting Colour Code with Quantomatic
نشر في EPTCS
بتاريخ 2017
في مجال فيزياء
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
In this paper we present a Quantomatic case study, verifying the basic properties of the Smallest Interesting Colour Code error detecting code.
تحميل البحث