Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno
(2010)
*An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra.*
In: Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki, eds.
Proceedings of the Third international congress conference on Mathematical software.
Lecture Notes in Computer Science, 6327
.
Springer, Berlin, pp. 245-248.
ISBN 9783642155819.
(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://dl.acm.org/citation.cfm?id=1888444 |

Item Type: | Book section |
---|---|

Uncontrolled keywords: | Symbolic computation; computer algebra; symbolic analysis; differential equations; boundary problems |

Subjects: | Q Science > QA Mathematics (inc Computing science) > QA150 Algebra Q Science > QA Mathematics (inc Computing science) > QA372 Ordinary differential equations Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |

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 15:29 |

Last Modified: | 13 Aug 2012 10:20 |

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

- Export to:
- RefWorks
- EPrints3 XML
- CSV

- Depositors only (login required):