Rosenkranz, Markus
(2004)
*The Algorithmization of Physics: Math Between Science and Engineering.*
In: Buchberger, Bruno and Campbell, John, 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: | 18 Jun 2014 11:08 |

Resource URI: | http://kar.kent.ac.uk/id/eprint/29977 (The current URI for this page, for reference purposes) |

- Export to:
- RefWorks
- EPrints3 XML
- CSV

- Depositors only (login required):