Proofs as Polynomials

by Esfandiar Haghverdi , Philip J. Scott
Citations:2 - 1 self

Documents Related by Co-Citation

3 1969b], “On Curves with Separated Variables – M D Fried, R E MacRae - 1969
6 Functional Decompositions of Polynomials – J von zur Gathen, D Kozen, S Landau - 1987
2 Additive Polynomials II – T H M Crampton, G Whaples - 1955
1 zur Gathen[1986], “Parallel Arithmetic Computations: a survey – J von - 1986
1 zur Gathen[1987], “Functional Decomposition of Polynomials – J von - 1987
1 zur Gathen[1988], “Functional Decomposition of Polynomials: the wild Case,” Manuscript in preparation – J von - 1988
1 Multipikation von Polynomen über Körpern der Charakteristik 2. Acta Informatica 7 – Schnelle Schönhage - 1977
8 Newton’s method: a great algebraic algorithm – John D Lipson - 1976
16 Contributions to the theory of finite fields – O Ore - 1934
23 Polynomial decomposition algorithms – D R Barton, R Zippel - 1985
9 Fast polynomial decomposition algorithms – V S Alagar, Mai Thanh - 1985
5 Polynomial decomposition algorithms for multivariate polynomials – M Dickerson - 1987
33 Solvability by radicals is in polynomial time – S Landau, G L Miller - 1985
5 Fast algorithms for composition and reversion of multivariate power series – R P Brent, H T Kung - 1977
32 Polynomial Decomposition Algorithms – Dexter Kozen, Susan Landau
9 Arithmetical properties of function fields. II. The generalized Schur problem – M Fried - 1974
9 Composite polynomials with coefficients in an arbitrary field of characteristic zero – H Levi - 1942
14 Prime and composite polynomials – F Dorey, G Whaples - 1974
7 Polynomial substitutions – H T Engstrom