Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 10.

Article

Buchberger, Bruno and Rosenkranz, Markus (2012) Transforming boundary problems from analysis to algebra: A case study in boundary problems. Journal of Symbolic Computation, 47 (6). pp. 589-609. ISSN 0747-7171. (The full text of this publication is not available from this repository)

Rosenkranz, Markus and Buchberger, Bruno (2012) Transforming problems from analysis to algebra: A case study in linear boundary problems. Journal of Symbolic Computation, 47 (6). pp. 589-609. ISSN 0747-7171. (The full text of this publication is not available from this repository)

Buchberger, Bruno and Regensburger, Georg and Rosenkranz, Markus and Tec, Loredana (2008) General polynomial reduction with Theorema functors: Applications to integro-differential operators and polynomials. ACM Communications in Computer Algebra, 42 (3). pp. 135-137. ISSN 1932-2240 . (The full text of this publication is not available from this repository)

Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (The full text of this publication is not available from this repository)

Rosenkranz, Markus and Buchberger, Bruno and Engl, Heinz W. (2003) Solving linear boundary value problems via non-commutative Groebner bases. Applicable Analysis , 82 (7). pp. 655-675. ISSN 0003-6811. (The full text of this publication is not available from this repository)

Book section

Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno (2012) Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Langer, Ulrich and Paule, Peter, eds. Numerical and Symbolic Scientific Computing: Progress and Prospects. Texts and Monographs in Symbolic Computation . Springer, Wien, pp. 273-331. ISBN 0943-853X. (Full text available)
[img]
Preview

Tec, Loredana and Regensburger, Georg and Rosenkranz, Markus and Buchberger, Bruno (2010) An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra. In: Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki, eds. Proceedings of the Third international congress conference on Mathematical software. Lecture Notes in Computer Science, 6327 . Springer, Berlin, pp. 245-248. ISBN 9783642155819. (The full text of this publication is not available from this repository)

Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno (2009) A symbolic framework for operations on linear boundary problems. In: Gerdt, V.P. and Mayr, E.W. and Vorozhtsov, E.V., eds. Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing. Lecture Notes in Computer Science, 5743 . Springer, pp. 269-283. ISBN 9783642041020. (The full text of this publication is not available from this repository)

Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus (2006) Theorema. In: Wiedijk, Freek, ed. The Seventeen Provers of the World. Lecture Notes in Artificial Intelligence, 3600 . Springer, pp. 96-107. ISBN 9783540307044. (The full text of this publication is not available from this repository)

Rosenkranz, Markus (2004) The Algorithmization of Physics: Math Between Science and Engineering. In: Buchberger, Bruno and Campbell, John, eds. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. Lecture Notes in Computer Science, 3249 . Springer, pp. 1-7. ISBN 9783540232124. (The full text of this publication is not available from this repository)

This list was generated on Wed Oct 1 05:10:35 2014 BST.