Complexity theory; Boolean functions; Mathematical model; Cryptography; Standards; Logic gates; Computational modeling;
机译:关于代数自然证据的存在
机译:交换经济中竞争均衡存在的代数证明
机译:自由李代数存在的新证明及其应用
机译:Web页面的存在证明服务新的Web服务,以获得网页存在的理由
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:具有正零索引的一般类型的简单连接代数曲面的存在
机译:乔丹算子和实冯·诺依曼代数上迹线存在性的新证明