Formalizing Pfaffian in bounded arithmetic
Logic
2024-05-07 v3
Abstract
We formalize algorithms computing Pfaffian in the theory of bounded arithmetic for sharpL which is based on Berkowitz algorithm for the determinant. We also prove relations among Pfaffian properties. Furthermore, we give an algorithm for Pfaffian pairs as well.
Keywords
Cite
@article{arxiv.2404.01728,
title = {Formalizing Pfaffian in bounded arithmetic},
author = {Satoru Kuroda},
journal= {arXiv preprint arXiv:2404.01728},
year = {2024}
}