activity
20152021
most citedA Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms

4 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing math.CAShow all

1 paper · 1 filter

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…