nach oben

Erschienen in:

2014 | OriginalPaper | Buchkapitel

Symbolic Computation and Complexity Theory Transcript of My Talk

verfasst von : Erich L. Kaltofen

Erschienen in: Computer Mathematics

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

I gave talks at the conference Alan Turing’s Heritage: Logic, Computation & Complexity in Lyon, France on July 3, 2012, at the Pierre and Marie Curie University (UPMC) Paris 6, France on July 17, 2012, and at the Tenth Asian Symposium on Computer Mathematics (ASCM) in Beijing, China, on October 26, 2012 on the complexity theoretic hardness of many problems that the discipline of symbolic computation tackles.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nächstes Kapitel Factorization of Motions

Fischer, M.J., Rabin, M.O.: Super-exponential complexity of presburger arithmetic. In: R. M. Karp, editor, Complexity of Computation, pp. 27–41. Amer. Math. Soc. (1974)

Mayr, E.W., Meyer, A.R.: The complexity of the word problem for commutative semigroups and polynomial ideals. Advances Math. 46, 305–329 (1982)MathSciNetCrossRefMATH

Fröhlich, A., Shepherdson, J.C.: Effective procedures in field theory. Phil. Trans. Roy. Soc. Ser. A 248, 407–432 (1955/1956)

Cook, S.A.: Computational complexity of higher type functions. In: Proceedings of the ICM Kyoto Japan, ICM Series, pp. 55–69 (1990)

Kaltofen, E., Trager, B.: Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators. J. Symbolic Comput., 9(3):301–320 (1990) URL: http://www.math.ncsu.edu/kaltofen/bibliography/90/KaTr90.pdf

Kaltofen, E., Koiran, P.: Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields. In: Jean-Guillaume Dumas, editor, ISSAC MMVI Proceedings of the 2006 International Symposium Symbolic Algebraic Computation, pp. 162–168, New York, N. Y., 2006. ACM Press. ISBN 1-59593-276-3. URL: http://www.math.ncsu.edu/kaltofen/bibliography/06/KaKoi06.pdf

Guo, F., Kaltofen, E.L., Zhi, L.: Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. In: Joris van der Hoeven and Mark van Hoeij, editors, ISSAC 2012 Proceedings of the 37th International Symposium Symbolic Algebraic Computation, pp. 195–202, New York, N. Y., July 2012. Association for Computing Machinery. ISBN 978-1-4503-1269. URL: http://www.math.ncsu.edu/kaltofen/bibliography/12/GKZ12.pdf;URL: http://arxiv.org/abs/1203.0253

Faugère, J.-C., Otmani, A., Perret, L., Tillich, J.-P.: Algebraic cryptanalysis of McEliece variants with compact keys. In: Proceedings of the Eurocrypt 2010, volume 6110 of Lecture Notes in Computer Science, pp. 279–298, Heidelberg, Germany, 2010. Springer Verlag

Guo, Q., Safey El Din, M., Zhi, L.: Computing rational solutions of linear matrix inequalities. In: Manuel Kauers, editor, ISSAC 2013 Proceedings of the 38th International Symposium Symbolic Algebraic Computation, New York, N. Y., 2013. Association for Computing Machinery

10.

Villard, G.: Computing the Frobenius normal form of a sparse matrix. In: Proceedings of the Third International Workshop on Computer Algebra in Scientific Computing, pp. 395–407, Heidelberg, Germany, 2000. Springer Verlag

11.

Kaltofen, E., Shoup, V.: Subquadratic-time factoring of polynomials over finite fields. Math. Comput., 67(223):1179–1197, July 1998. URL: http://www.math.ncsu.edu/kaltofen/bibliography/98/KaSh98.pdf

Titel: Symbolic Computation and Complexity Theory Transcript of My Talk
verfasst von: Erich L. Kaltofen
Verlag: Springer Berlin Heidelberg
Buch: Computer Mathematics
Print ISBN: 978-3-662-43798-8

Electronic ISBN: 978-3-662-43799-5

Copyright-Jahr: 2014
DOI: https://doi.org/10.1007/978-3-662-43799-5_1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner