The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Markus Rosenkranz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Markus Rosenkranz
    The Algorithmization of Physics: Math Between Science and Engineering. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:1-7 [Conf]
  2. Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
    Theorema. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:96-107 [Conf]
  3. Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz
    Theorema: Towards computer-aided mathematical theory exploration. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
  4. Markus Rosenkranz
    A new symbolic method for solving linear two-point boundary value problems on the level of operators. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2005, v:39, n:2, pp:171-199 [Journal]

  5. A Symbolic Framework for Operations on Linear Boundary Problems. [Citation Graph (, )][DBLP]


  6. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. [Citation Graph (, )][DBLP]


  7. Integro-differential polynomials and operators. [Citation Graph (, )][DBLP]


  8. A skew polynomial approach to integro-differential operators. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002