Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
暂无分享,去创建一个
[1] F. S. Macaulay,et al. The Algebraic Theory of Modular Systems , 1972 .
[2] Erich Kaltofen,et al. Essentially optimal interactive certificates in linear algebra , 2014, ISSAC.
[3] C. D'Andrea. Macaulay style formulas for sparse resultants , 2001 .
[4] Deepak Kapur,et al. Conditions for determinantal formula for resultant of a polynomial system , 2006, ISSAC '06.
[5] Andreas Griewank,et al. Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation , 1992 .
[6] Erich Kaltofen,et al. Quadratic-time certificates in linear algebra , 2011, ISSAC '11.
[7] L. Csanky,et al. Fast parallel matrix inversion algorithms , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).
[8] H. T. Kung,et al. A Regular Layout for Parallel Adders , 1982, IEEE Transactions on Computers.
[9] Erich Kaltofen,et al. On the complexity of factoring bivariate supersparse (Lacunary) polynomials , 2005, ISSAC.
[10] Christoph Koutschan,et al. Advanced Computer Algebra for Determinants , 2011, ArXiv.
[11] Erich Kaltofen,et al. Solving systems of nonlinear polynomial equations faster , 1989, ISSAC '89.
[12] Alexander L. Chistov,et al. Fast parallel calculation of the rank of matrices over a field of arbitrary characteristic , 1985, FCT.
[13] Yael Tauman Kalai,et al. Delegating computation: interactive proofs for muggles , 2008, STOC.
[14] Stephen A. Cook,et al. Log Depth Circuits for Division and Related Problems , 1986, SIAM J. Comput..
[15] Carsten Lund,et al. Algebraic methods for interactive proof systems , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
[16] Justin Thaler,et al. Time-Optimal Interactive Proofs for Circuit Evaluation , 2013, CRYPTO.
[17] Malte Sieveking. An algorithm for division of powerseries , 2005, Computing.
[18] Erich Kaltofen,et al. Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
[19] K. Mulmuley. A fast parallel algorithm to compute the rank of a matrix over an arbitrary field , 1987, Comb..
[20] J. Jouanolou,et al. Le formalisme du résultant , 1991 .
[21] Deepak Kapur,et al. Algebraic and geometric reasoning using Dixon resultants , 1994, ISSAC '94.
[22] Erich Kaltofen,et al. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix , 2016, ISSAC.
[23] Erich Kaltofen,et al. Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators , 1990, J. Symb. Comput..
[24] John F. Canny,et al. Generalised Characteristic Polynomials , 1990, J. Symb. Comput..
[25] Victor Y. Pan,et al. Processor efficient parallel solution of linear systems over an abstract field , 1991, SPAA '91.