An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

First Page		Document Content
Date: 2010-07-11 12:18:59 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra		An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt Add to Reading List Source URL: dream.inf.ed.ac.uk Download Document from Source Website File Size: 105,82 KB Share Document on Facebook

	Monatsh Math:203–233 DOIs00605Parametric nonlinear nonhomogeneous Neumann equations involving a nonhomogeneous differential operator DocID: 1viF4 - View Document
	Michael Filippakis* (), Department of Digital Systems, University of Piraeus, 18534 Piraeus, Greece. Nodal Solutions for Neumann Problems with a Nonhomogeneous Differential Operator. We consi DocID: 1uiHO - View Document
	A Differential Operator Approach to Equational Differential Invariants? (Invited Paper) Andr´e Platzer Computer Science Department, Carnegie Mellon University, Pittsburgh, USA DocID: 1sRMZ - View Document
	Analysis of operator differential-algebraic equations arising in fluid dynamics. Part I. The finite dimensional case Etienne Emmrich∗ Volker Mehrmann‡ DocID: 1s6xb - View Document
	doi:ipiInverse Problems and Imaging Volume 10, No. 1, 2016, 195–225 PRECONDITIONED CONJUGATE GRADIENT METHOD FOR DocID: 1rsPA - View Document