Title | ||
---|---|---|
An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra |
Year | Venue | Keywords |
---|---|---|
2010 | ICMS | automated confluence proof,integro-differential algebra,boundary condition,differential operators,differential equation,ordinary differential equation,differential algebra |
Field | DocType | Volume |
Fourier integral operator,Discrete mathematics,Boundary value problem,Algebra,Ordinary differential equation,Linear differential equation,Algebraic differential equation,Differential algebraic geometry,Differential algebraic equation,Integrating factor,Mathematics | Conference | 6327 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-15581-2 | 0 |
PageRank | References | Authors |
0.34 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Loredana Tec | 1 | 42 | 7.75 |
Georg Regensburger | 2 | 141 | 19.60 |
Markus Rosenkranz | 3 | 175 | 16.66 |
Bruno Buchberger | 4 | 847 | 168.26 |