New Lower Bounds for Polynomial Calculus over Non-Boolean Bases

被引：0
|
作者：
The Institute of Mathematical Sciences , Chennai, India [1 ]
不详 [2 ]
机构：
来源：
Leibniz Int. Proc. Informatics, LIPIcs |
基金：
新加坡国家研究基金会;
关键词：
Boolean algebra - Differentiation (calculus) - Digital arithmetic - Theorem proving;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 39 条
  • [31] New lower bounds on the error probability for signals over an AWGN channel
    Cohen, A
    Merhav, N
    2003 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 2003, : 10 - 10
  • [32] New lower bounds on scattering amplitudes: non-locality constraints
    Buoninfante, Luca
    Tokuda, Junsei
    Yamaguchi, Masahide
    JOURNAL OF HIGH ENERGY PHYSICS, 2024, 2024 (01)
  • [33] New lower bounds on scattering amplitudes: non-locality constraints
    Luca Buoninfante
    Junsei Tokuda
    Masahide Yamaguchi
    Journal of High Energy Physics, 2024
  • [34] New type of canonical Grobner bases in polynomial rings over Von Neumann regular rings
    Sato, Yosuke
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 317 - 321
  • [35] New type of canonical Grobner bases in polynomial rings over Von Neumann regular rings
    Sato, Yosuke
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 317 - 321
  • [36] Grammar Boosting: A New Technique for Proving Lower Bounds for Computation over Compressed Data
    De, Rajat
    Kempa, Dominik
    PROCEEDINGS OF THE 2024 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2024, : 3376 - 3392
  • [37] On strongly polynomial variants of the MBU-simplex algorithm for a maximum flow problem with non-zero lower bounds
    Illes, Tibor
    Molnar-Szipai, Richard
    OPTIMIZATION, 2014, 63 (01) : 39 - 47
  • [38] Non-Commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs
    Li, Fu
    Tzameret, Iddo
    Wang, Zhengyu
    30TH CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC 2015), 2015, 33 : 412 - 432
  • [39] Bundles with Non-multiplicative (A)over-cap-Genus and Spaces of Metrics with Lower Curvature Bounds
    Frenck, Georg
    Reinhold, Jens
    INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2022, 2022 (10) : 7873 - 7892
1234