摘要
B.贝克曼和G.拉巴恩。 一种快速计算矩阵型Padé逼近的统一方法。 SIAM矩阵分析与应用杂志,15(3):804--8231994年7月。 谷歌学者 数字图书馆 G.Bertoni、J.Daemen、M.Peeters和G.Assche。 基于Sponge的伪随机数生成器。 S.Mangard和F.-X.Standaert,CHES 2010编辑,第33-47页。 施普林格,2010年。 谷歌学者 数字图书馆 L.Chen、W.Eberly、E.L.Kaltofen、B.D.Saunders、W.J.Turner和G.Villard。 黑箱线性代数的有效矩阵预条件。 线性代数应用。, 343-344:119--146, 2002. www.math.ncsu.edu/kaltofen/observatory/02/CEKSTV02.pdf。 谷歌学者 交叉引用 K.-M.Chung、Y.T.Kalai和S.P.Vadhan。 使用全同态加密改进了计算委托。 在T.Rabin,CRYPTO 2010编辑,《计算机科学讲义》第6223卷,第483-501页。 施普林格,2010年。 谷歌学者 数字图书馆 D.铜匠。 用块Wiedemann算法求解GF(2)上的齐次线性方程组。 计算数学,62(205):333--3501994年1月。 谷歌学者 数字图书馆 R.J.F.克雷默。 安全实用密码协议的模块化设计。 1997年1月,阿姆斯特丹大学博士论文。 谷歌学者 R.A.DeMillo和R.J.Lipton。 代数程序测试的概率注释。 信息处理。 信件,7(4):193--1951978年6月。 谷歌学者 交叉引用 J.-G Dumas、E.Kalthen和E.Thomé。 维德曼Krylov序列验证证书。 技术报告,arXiv:,2016年1月。 arxiv.org/abs/1507.01083。 谷歌学者 J.-G.Dumas和E.L.Kaltofen。 线性代数中的基本最优交互式证书。 2014年ISSAC编辑K.Nabeshima,第146-153页。 ACM出版社,纽约,2014年7月。 www.math.ncsu.edu/kaltofen/observatory/14/DuKa14.pdf。 谷歌学者 数字图书馆 W.Eberly和E.Kaltoffen。 关于随机Lanczos算法。 在Küchlin{21}中,第176-183页。 www.math.ncsu.edu/kaltofen/observatory/97/EbKa97.pdf。 谷歌学者 数字图书馆 A.菲亚特和A.沙米尔。 如何证明自己:识别和签名问题的实用解决方案。 在A.M.Odlyzko编辑的《密码进展-密码》86,《计算机科学讲义》第263卷,第186-194页。 施普林格,1986年8月11日至15日。 谷歌学者 数字图书馆 D.Fiore和R.Gennaro。 大型多项式和矩阵计算的公开可验证委托及其应用。 ACM CCS’12,第501-512页,美国纽约州纽约市,2012年。 ACM公司。 谷歌学者 数字图书馆 R.Freivalds公司。 快速概率算法。 J.Becvár,编辑,《1979年计算机科学数学基础》,《计算机科学讲义》第74卷,第57-69页,捷克斯洛伐克奥洛莫克,1979年9月。 斯普林格。 谷歌学者 C.Gentry、J.Groth、Y.Ishai、C.Peikert、A.Sahai和A.Smith。 使用完全同态混合加密来最小化非交互式零知识证明。 《密码学杂志》,2014年第1-24页。 谷歌学者 数字图书馆 S.Goldwasser、Y.T.Kalai和G.N.Rothblum。 授权计算:麻瓜的交互式证明。 编者C.Dwork,STOC’2008,第113-122页。 ACM出版社,2008年5月。 谷歌学者 数字图书馆 E.卡尔托芬。 稀疏线性系统并行解的Coppersmith分块Wiedemann算法分析。 计算数学,64(210):777--8061995年4月。 www.math.ncsu.edu/kaltofen/observatory/95/Ka95_mathcomp.pdf。 谷歌学者 数字图书馆 E.Kaltofen和V.Pan。 抽象域上线性系统的处理器高效并行解。 1991年纽约ACM SPAA第180-191页。 ACM出版社。 www.math.ncsu.edu/kaltofen/书目/91/KaPa91.pdf。 谷歌学者 数字图书馆 E.Kalthen和G.Villard。 关于计算行列式的复杂性。 计算复杂性,13(3):91-1302005。 www.math.ncsu.edu/kaltofen/observatory/04/KaVi04_2697263.pdf。 谷歌学者 数字图书馆 E.L.Kaltofen、B.Li、Z.Yang和L.Zhi。 利用有理系数有理函数的平方和对全局多项式优化进行精确证明。 符号计算杂志,47(1):1-152012年1月。 www.math.ncsu.edu/kaltofen/observatory/09/KLYZ09.pdf。 谷歌学者 数字图书馆 E.L.Kaltofen、M.Nehring和B.D.Saunders。 线性代数中的二次时间证书。 摘自2011年ISSAC编辑A.Leykin,第171-176页。 ACM出版社,纽约,2011年6月。 www.math.ncsu.edu/kaltofen/accolbitory/11/KNS11.pdf。 谷歌学者 数字图书馆 W·W·Küchlin,编辑。 ISSAC’97。 ACM出版社,纽约,1997年7月。 谷歌学者 E.W.Ng,编辑。 EUROSAM’79,符号和代数计算国际研讨会,法国马赛,1979年6月,计算机科学讲稿第72卷,会议记录。 施普林格,1979年。 谷歌学者 数字图书馆 NIST。 FIPS出版物202:SHA-3标准:基于排列的散列和可扩展输出函数,2015年8月。 谷歌学者 B.Parno、J.Howell、C.Gentry和M.Raykova。 皮诺奇:几乎实用的可验证计算。 IEEE SP’13,第238-252页,美国华盛顿特区,2013年。 IEEE计算机学会。 谷歌学者 数字图书馆 J.T.施瓦茨。 多项式恒等式验证的概率算法。 在Ng{22}中,第200-215页。 谷歌学者 数字图书馆 J.泰勒。 电路评估的时间最优交互证明。 在R.Canetti和J.A.Garay,《计算机科学讲义》第8043卷《密码》编辑,第71-89页。 施普林格,2013年。 谷歌学者 G.维拉德。 进一步分析了求解稀疏线性系统的Coppersmith块Wiedemann算法。 在Küchlin{21}中,第32-39页。 perso.ens-lyon.fr/gilles.villard/BIBLIOGRAPHIE/PDF/issac97.PDF。 谷歌学者 数字图书馆 G.维拉德。 计算稀疏矩阵的Frobenius范式。在CASC'00中,第395-407页。 斯普林格,2000年。 perso.ens-lyon.fr/gilles.villard/BIBLIOGRAPHIE/PDF/casc.PDF。 谷歌学者 交叉引用 D.H.魏德曼。 求解有限域上的稀疏线性方程组。 IEEE信息理论汇刊,32(1):54-621986年1月。 谷歌学者 数字图书馆 R.Zippel。 稀疏多项式的概率算法。 在Ng{22}中,第216--226页。 谷歌学者 数字图书馆
建议
线性代数中的本质最优交互式证书 ISSAC’14:第39届符号和代数计算国际研讨会论文集 线性代数计算的证书是每个输出的附加数据结构,可以由证明每个输出正确性的--可能是随机的--验证算法使用。 如果……,证书基本上是最佳的。。。 三角等价和秩剖面证书 ISSAC’17:2017 ACM符号和代数计算国际研讨会论文集 本文给出了三角等价和秩轮廓的新证明。 这些证书能够比重新计算它们更快地验证行或列的排名配置文件或整个排名配置文件矩阵,总体上可以忽略不计。。。 线性代数中的二次时间证明 ISSAC’11:第36届符号和代数计算国际研讨会论文集 我们给出了一个正半定性的证明 n个 通过 n个 矩阵 A类 ,其条目是二进制长度日志的整数|| A类 ||,可以在中进行验证 O(运行) ( n个 (2+µ) (日志|| A类 ||) (1+µ) 任何µ>0的二进制操作。 这个问题出现在希尔伯特/。。。