Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743447738> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2743447738 endingPage "12" @default.
- W2743447738 startingPage "1" @default.
- W2743447738 abstract "We give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over GF(2) in Hrubes-Tzameret [9]. Specifically, we show that the multiplicativity of the determinant function over the integers is provable in the bounded arithmetic theory VNC2, which is a first-order theory corresponding to the complexity class NC2. This also establishes the existence of uniform polynomial-size and O (log2n)-depth Circuit-Frege (equivalently, Extended Frege) proofs over the integers, of the basic determinant identities (previous proofs hold only over GF(2)).In doing so, we give uniform NC2-algorithms for homogenizing algebraic circuits, balancing algebraic circuits (given as input an upper bound on the syntactic-degree of the circuit), and converting circuits with divisions into circuits with a single division gate---all (ΣB1-) definable in VNC2. This also implies an NC2-algorithm for evaluating algebraic circuits of any depth.1" @default.
- W2743447738 created "2017-08-17" @default.
- W2743447738 creator A5034555443 @default.
- W2743447738 creator A5066962007 @default.
- W2743447738 date "2017-06-20" @default.
- W2743447738 modified "2023-09-23" @default.
- W2743447738 title "Uniform, integral and efficient proofs for the determinant identities" @default.
- W2743447738 cites W117725373 @default.
- W2743447738 cites W1876112628 @default.
- W2743447738 cites W1967948656 @default.
- W2743447738 cites W201320490 @default.
- W2743447738 cites W2017205387 @default.
- W2743447738 cites W2034804004 @default.
- W2743447738 cites W2048972466 @default.
- W2743447738 cites W2081256023 @default.
- W2743447738 cites W2116335551 @default.
- W2743447738 cites W2127804012 @default.
- W2743447738 cites W2165390183 @default.
- W2743447738 cites W2962731772 @default.
- W2743447738 cites W2985554528 @default.
- W2743447738 doi "https://doi.org/10.5555/3329995.3330034" @default.
- W2743447738 hasPublicationYear "2017" @default.
- W2743447738 type Work @default.
- W2743447738 sameAs 2743447738 @default.
- W2743447738 citedByCount "0" @default.
- W2743447738 crossrefType "proceedings-article" @default.
- W2743447738 hasAuthorship W2743447738A5034555443 @default.
- W2743447738 hasAuthorship W2743447738A5066962007 @default.
- W2743447738 hasConcept C108710211 @default.
- W2743447738 hasConcept C118615104 @default.
- W2743447738 hasConcept C134306372 @default.
- W2743447738 hasConcept C2524010 @default.
- W2743447738 hasConcept C311688 @default.
- W2743447738 hasConcept C33923547 @default.
- W2743447738 hasConcept C34388435 @default.
- W2743447738 hasConcept C39637292 @default.
- W2743447738 hasConcept C77553402 @default.
- W2743447738 hasConcept C90119067 @default.
- W2743447738 hasConcept C9376300 @default.
- W2743447738 hasConceptScore W2743447738C108710211 @default.
- W2743447738 hasConceptScore W2743447738C118615104 @default.
- W2743447738 hasConceptScore W2743447738C134306372 @default.
- W2743447738 hasConceptScore W2743447738C2524010 @default.
- W2743447738 hasConceptScore W2743447738C311688 @default.
- W2743447738 hasConceptScore W2743447738C33923547 @default.
- W2743447738 hasConceptScore W2743447738C34388435 @default.
- W2743447738 hasConceptScore W2743447738C39637292 @default.
- W2743447738 hasConceptScore W2743447738C77553402 @default.
- W2743447738 hasConceptScore W2743447738C90119067 @default.
- W2743447738 hasConceptScore W2743447738C9376300 @default.
- W2743447738 hasLocation W27434477381 @default.
- W2743447738 hasOpenAccess W2743447738 @default.
- W2743447738 hasPrimaryLocation W27434477381 @default.
- W2743447738 hasRelatedWork W1501855171 @default.
- W2743447738 hasRelatedWork W1539288393 @default.
- W2743447738 hasRelatedWork W2094903317 @default.
- W2743447738 hasRelatedWork W2127804012 @default.
- W2743447738 hasRelatedWork W2163168463 @default.
- W2743447738 hasRelatedWork W2182446353 @default.
- W2743447738 hasRelatedWork W2221506890 @default.
- W2743447738 hasRelatedWork W2460611553 @default.
- W2743447738 hasRelatedWork W2506657322 @default.
- W2743447738 hasRelatedWork W2514492620 @default.
- W2743447738 hasRelatedWork W2583016001 @default.
- W2743447738 hasRelatedWork W2758062840 @default.
- W2743447738 hasRelatedWork W2904278047 @default.
- W2743447738 hasRelatedWork W2951424111 @default.
- W2743447738 hasRelatedWork W2962734785 @default.
- W2743447738 hasRelatedWork W2962908760 @default.
- W2743447738 hasRelatedWork W2963746686 @default.
- W2743447738 hasRelatedWork W3105062377 @default.
- W2743447738 hasRelatedWork W3119058551 @default.
- W2743447738 hasRelatedWork W2011547806 @default.
- W2743447738 isParatext "false" @default.
- W2743447738 isRetracted "false" @default.
- W2743447738 magId "2743447738" @default.
- W2743447738 workType "article" @default.