An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra

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)
  • Depositors only (login required):