35 citations · 38 across the 3 of their papers we have counts for
3 papers
cs.SC2021★ 2 cited
Symbolic Computation in Software Science: My Personal View
Bruno Buchberger
In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symboli…
math.CA2015★ 1 cited
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
M. Rosenkranz, J. Liu, A. Maletzky +1
We develop a new theory for treating boundary problems for linear ordinary differential equations whose fundamental system may have a singularity at one of the two endpoints of the…
cs.SC2012★ 35 cited
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
Markus Rosenkranz, Georg Regensburger, Loredana Tec +1
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain…