Markus Rosenkranz
According to our database1,
Markus Rosenkranz
authored at least 27 papers
between 2004 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
2016
J. Symb. Comput., 2016
Special issue on computational aspects of differential/difference algebra and integral operators.
Adv. Appl. Math., 2016
2015
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015
2013
Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums.
SIAM J. Appl. Math., 2013
Math. Comput. Sci., 2013
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients.
Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013
2012
Transforming problems from analysis to algebra: A case study in linear boundary problems.
J. Symb. Comput., 2012
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
CoRR, 2012
ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple.
ACM Commun. Comput. Algebra, 2012
2011
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011
2010
ACM Commun. Comput. Algebra, 2010
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.
Proceedings of the Mathematical Software, 2010
2009
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009
Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009
2008
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.
J. Symb. Comput., 2008
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials.
ACM Commun. Comput. Algebra, 2008
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008
2006
J. Appl. Log., 2006
Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006
2005
A new symbolic method for solving linear two-point boundary value problems on the level of operators.
J. Symb. Comput., 2005
2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004