Formalizing Pfaffian in bounded arithmetic

arXiv2404.01728MaRDI QIDQ6528834FDOQ6528834

Authors: Satoru Kuroda 

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: Formalizing Pfaffian in bounded arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6528834)