Zobrazeno 1 - 10
of 30
pro vyhledávání: '"proof complexity of linear algebra"'
Autor:
Soltys, Michael, Cook, Stephen
Publikováno v:
In Annals of Pure and Applied Logic 2004 130(1):277-323
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Michael Soltys, Stephen A. Cook
Publikováno v:
LICS
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hami
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0b2fe815938789aa090ebd8700060d2
https://doi.org/10.1016/j.apal.2003.10.018
https://doi.org/10.1016/j.apal.2003.10.018
The Tensor Isomorphism problem (TI) has recently emerged as having connections to multiple areas of research within complexity and beyond, but the current best upper bound is essentially the brute force algorithm. Being an algebraic problem, TI (or r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d04eef1c7dbbc32f5dc1d8aebe3b63bf
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
TZAMERET, IDDO1 Iddo.Tzameret@gmail.com, COOK, STEPHEN A.2 sacook@cs.toronto.edu
Publikováno v:
Journal of the ACM. Mar2021, Vol. 68 Issue 2, p1-80. 80p.
Autor:
Grochow, Joshua A., Pitassi, Toniann
Publikováno v:
Journal of the ACM; Nov2018, Vol. 65 Issue 6, p1-59, 59p
Autor:
Sandrasagra, Barbara, Soltys, Michael1 michael.soltys@csuci.edu
Publikováno v:
Fundamenta Informaticae. 2016, Vol. 144 Issue 3-4, p223-240. 18p.
Autor:
Soltys, Michael1 michael.soltys@csuci.edu
Publikováno v:
International Journal of Knowledge Based Intelligent Engineering Systems. 2015, Vol. 19 Issue 4, p225-234. 10p.
Autor:
Thapen, Neil1 neil.thapen@st-hildas.ox.ac.uk, Soltys, Michael2 soltys@mcmaster.ca
Publikováno v:
Archive for Mathematical Logic. Feb2005, Vol. 44 Issue 2, p195-208. 14p.