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
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
9 1976] Newton's Method: A Great Algebraic Algorithm – J Lipson
11 Composite polynomials with coefficients in an arbitrary field of characteristic zero – H Levi - 1942
17 Prime and composite polynomials – F Dorey, G Whaples - 1974
6 Fast algorithms for composition and reversion of multivariate power series – R P Brent, H T Kung - 1977
14 Arithmetical properties of function fields (II); generalized Schur problem – M D Fried - 1974
30 On the invariance of chains of fields – M Fried, R E MacRae - 1969
37 Permutable rational functions – J F Ritt - 1923
16 Contributions to the theory of finite fields – O Ore - 1934
156 On Fast Multiplication of Polynomials Over Arbitrary Algebras – David G. Cantor, Erich Kaltofen - 1991
13 On a special class of polynomials – Ö Øre - 1933
59 Prime and composite polynomials – J F Ritt - 1922
35 Polynomial decomposition algorithms – Dexter Kozen, Susan Landau Y - 1989
36 Solvability by radicals is in polynomial time – Susan Landau, Gary Miller - 1985