Skip to main content
SpringerLink
Log in

The Algorithmization of Physics: Math Between Science and Engineering

  • Conference paper
Book cover Artificial Intelligence and Symbolic Computation (AISC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3249))

Abstract

I give a concise description of my personal view on symbolic computation, its place within mathematics and its relation to algebra. This view is exemplified by a recent result from my own research: a new symbolic solution method for linear two-point boundary value problems. The essential features of this method are discussed with regard to a potentially novel line of research in symbolic computation.

This work is supported by the Austrian Science Foundation FWF in project F1322.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Buchberger, B.: An Algorithm for Finding a Basis for the Residual Class Ring of Zero-Dimensional Polynomial Ideal (in German). PhD Thesis, University of Innsbruck, Institute for Mathematics (1965)

    Google Scholar 

  2. Buchberger, B.: An Algorithmic Criterion for the Solvability of Algebraic Systems of Equations (in German). Æquationes Mathematicae 4, 374–383 (1970); In: [8], pp. 535– 545

    Article  MATH  MathSciNet  Google Scholar 

  3. Buchberger, B.: Editorial. Journal of Symbolic Computation 1/1 (1985)

    Google Scholar 

  4. Buchberger, B.: Logic for Computer Science. Lecture Notes, Johannes Kepler University, Linz, Austria (1991)

    Google Scholar 

  5. Buchberger, B.: Symbolic Computation (in German). In: Pomberger, G., Rechenberg, P. (eds.) Handbuch der Informatik, pp. 955–974. Birkhäuser, München (1997)

    Google Scholar 

  6. Buchberger, B.: Introduction to Gröbner Bases. In: [8], pp. 3–31

    Google Scholar 

  7. Buchberger, B.: Loos, Rüdiger: Computer Algebra – Symbolic and Algebraic Computation. In: Buchberger, B., Collins, G.E., Loos, R. (eds.) Algebraic Simplification, Springer, Wien (1982)

    Google Scholar 

  8. Buchberger, B., Winkler, F.: Gröbner Bases and Applications. London Mathematical Society Lecture Notes, vol. 251. Cambridge University Press, Cambridge (1998)

    MATH  Google Scholar 

  9. Corry, L.: Modern Algebra and the Rise of Mathematical Structures. Birkhäuser, Basel (1996)

    MATH  Google Scholar 

  10. Courant, R., Hilbert, D.: Die Methoden der mathematischen Physik, vol. 1 & 2. Springer, Berlin (1993)

    Google Scholar 

  11. Kamke, E.: Differentialgleichungen und Lösungsmethoden (Volume 1), 10th edn. Teubner, Stuttgart (1983)

    Google Scholar 

  12. Lang, S.: Algebra. Springer, New York (2002)

    MATH  Google Scholar 

  13. Lausch, H., Nöbauer, W.: Algebra of Polynomials. North-Holland, Amsterdam (1973)

    MATH  Google Scholar 

  14. Rosenkranz, M.: The Green’s Algebra – A Polynomial Approach to Boundary Value Problems. PhD Thesis, Johannes Kepler University, Linz, Austria (2003)

    Google Scholar 

  15. Rosenkranz, M.: A New Symbolic Method for Solving Linear Two-Point Boundary Value Problems on the Level of Operators. Journal of Symbolic Computation (2004) (submitted); Also available as SFB Report 2003-41, Johannes Kepler University, Linz, Austria (2003)

    Google Scholar 

  16. Rosenkranz, M., Buchberger, B., Engl, H.W.: Solving Linear Boundary Value Problems via Non-commutative Gröbner Bases. Applicable Analysis 82/7, 655–675 (2003)

    Article  MathSciNet  Google Scholar 

  17. Rosenkranz, R., Buchberger, B., Engl, H.W.: Computer Algebra for Pure and Applied Functional Analysis. An FWF Proposal for F1322 Subproject of the SFB F013, Johannes Kepler University, Linz, Austria (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, A-4040, Linz, Austria

    Markus Rosenkranz

Authors
  1. Markus Rosenkranz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

    Bruno Buchberger

  2. Department of Computer Science, University College London, Gower Street, WC1E 6BT, London, UK

    John Campbell

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rosenkranz, M. (2004). The Algorithmization of Physics: Math Between Science and Engineering. In: Buchberger, B., Campbell, J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2004. Lecture Notes in Computer Science(), vol 3249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30210-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30210-0_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23212-4

  • Online ISBN: 978-3-540-30210-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation