39 citations · 81 across the 5 of their papers we have counts for
5 papers
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…
Satisfiability Checking meets Symbolic Computation (Project Paper)
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, impleme…
Satisfiability Checking and Symbolic Computation
E. Abraham, J. Abbott, B. Becker +12
Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of deci…
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…
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…