The Algorithmization of Physics: Math Between Science and Engineering

Rosenkranz, Markus (2004) The Algorithmization of Physics: Math Between Science and Engineering. In: Buchberger, B. and Campbell, J.A., eds. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Lecture Notes in Computer Science, 3249 . Springer, pp. 1-7. ISBN 9783540232124. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/978-3-540-30210-0_1

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.

Item Type: Book section
Uncontrolled keywords: Symbolic computation; symbolic analysis; axiomatization; algebraic structures
Subjects: Q Science > QA Mathematics (inc Computing science) > QA150 Algebra
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems)
Q Science > QA Mathematics (inc Computing science) > QA 8 Philosophy of mathematics
Divisions: Faculties > Science Technology and Medical Studies > School of Mathematics Statistics and Actuarial Science > Applied Mathematics
Depositing User: Markus Rosenkranz
Date Deposited: 27 Jul 2012 17:54
Last Modified: 13 Aug 2012 10:44
Resource URI: http://kar.kent.ac.uk/id/eprint/29977 (The current URI for this page, for reference purposes)
  • Depositors only (login required):