退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Groebner基算法找到不满足的证据
Matthew Clegg; Jeffery Edmonds; Russell Impagliazzo;
机译:SAT求解器中不满足证明和核生成的实用算法
机译:XL算法与Groebner基础算法之间的关系
机译:基于签名的Groebner基础算法的通用和可执行形式化
机译:使用Groebner基算法找到一组多项式的不满足核心
机译:弱有限基定理的明确证明及其在椭圆曲线秩计算中的应用。
机译:轻量级游戏证明(LPoG):工作量证明(PoW)的可扩展肾脏轻量级共识算法
机译:Groebner-Basis约简的并行算法
机译:生成格罗伯基础的方法
机译:格罗布纳基础生成方法及其装置
机译:基于零知识证明算法和投票币中间服务器,投票代币分发服务器,投票支持服务器的基于梅克尔树结构的区块链秘密电子投票服务的提供方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。