SpezialForschungsBereich SFB F013: Publication Lists

Publications of the Project F1322
September 27, 2008

Bibliography

1: B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, and W. Windsteiger.
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic, 4(4):470-504, 2006.
2: B. Buchberger and M. Rosenkranz.
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic, 4(4):359-652, December 2006.
ISSN 1570-8683.
3: H. Egger and G. Regensburger.
Decomposition of noncommutative polynomials in the convergence analysis of iterative regularization methods.
SFB Statusseminar, Strobl, April 2005.
4: H. Park and G. Regensburger, editors.
Gröbner Bases in Control Theory and Signal Processing, volume 3 of Radon Series on Computational and Applied Mathematics, Berlin, 2007. Walter de Gruyter & Co.
To appear.
5: G. Regensburger.
Construction and applications of parametrized wavelets.
Workshop on Inverse Problems, Obergurgl, April 2005.
6: G. Regensburger.
Construction of parameterized wavelets using Gröbner bases.
ACA 2005, Conference on Applications of Computer Algebra, Nara, Japan, August 2005.
7: G. Regensburger.
Parametrized wavelets and algebraic curves.
Workshop on Resolution of Algebraic Varieties, Kaiserhaus, September 2005.
8: G. Regensburger.
Parametrizing compactly supported orthonormal wavelets by discrete moments.
Technical Report 2005-23, SFB F013, 2005.
9: G. Regensburger.
Semirings, idempotent analysis and differential equations.
Workshop on ``Level Set Methods for Direct and Inverse Problems'', Special Session on Symbolic Computation and PDEs, RICAM Linz, September 2005.
10: G. Regensburger.
Boundary value problems for nonlinear first-order ODEs--constructing generalised solutions via the max-plus algebra.
Workshop on the Algebraic Theory of Differential Equations, Edinburgh, Scotland, August 2006.
11: G. Regensburger.
Max-plus linear algebra and nonlinear ordinary BVPs.
GAMM, Berlin, March 2006.
12: G. Regensburger.
Nonlinear first-order ordinary BVPs via max-plus interpolation.
SFB Status Seminar, Strobl, Austria, April 2006.
13: G. Regensburger.
Parametrizing orthonormal wavelets by moments.
Special Semester on Gröbner Bases Workshop D3: Gröbner Bases in Control Theory and Signal Processing, Linz, Austria, May 2006.
14: G. Regensburger.
Applications of filter coefficients and wavelets parametrized by moments.
Technical Report 2007-5, SFB F013, 2007.
15: G. Regensburger.
Applications of filter coefficients and wavelets parametrized by moments.
In H. Park and G. Regensburger, editors, Gröbner Bases in Control Theory and Signal Processing, volume 3 of Radon Series on Computational and Applied Mathematics, Berlin, 2007. Walter de Gruyter & Co.
To appear.
16: G. Regensburger.
Applications of wavelets parametrized by moments.
SFB Status Seminar, Strobl, Austria, April 2007.
17: G. Regensburger.
Generalized solutions for nonlinear first-order ODEs and max-plus interpolation.
Workshop Algebraic Geometry, Nova Hrady, Czech Republic, May 2007.
18: G. Regensburger.
Optimal filter design with parametrized wavelets.
ACA07, Applications of Computer Algebra, Oakland University, Rochester, MI, USA, July 2007.
19: G. Regensburger.
Parametrizing compactly supported orthonormal wavelets by discrete moments.
Appl. Algebra Engrg. Comm. Comput., 2007.
DOI: 10.1007/s00200-007-0054-9.
20: G. Regensburger and M. Rosenkranz.
Abstract boundary problems and applications.
SFB Status Seminar, Strobl, Austria, April 2007.
21: G. Regensburger and M. Rosenkranz.
An algebraic foundation for factoring linear boundary problems.
Technical Report 2007-9, SFB F013, 2007.
22: G. Regensburger and M. Rosenkranz.
An algebraic foundation for factoring linear boundary problems.
Ann. Mat. Pura Appl. (4), 2007.
Accepted.
23: M. Rosenkranz.
The algorithmization of physics: Math between science and engineering.
In B. Buchberger and J. A. Campbell, editors, Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Castle of Hagenberg, Austria, September 2004, Proceedings, volume 3249 of Lecture Notes in Artificial Intelligence (LNAI), pages 1-7. Springer, September 2004.
24: M. Rosenkranz.
Integro-differential rings and operators.
SFB Statusseminar, Strobl, April 2005.
25: M. Rosenkranz.
Linear two-point boundary value problems in symbolic computation: A new approach.
Foundations of Computational Mathematics (FoCM'05), Santander, Spain, July 2005.
26: M. Rosenkranz.
New symbolic computation methods for the exact solution of two-point boundary value problems.
Algorithmic Information Theory (AIT'05), Vaasa, Finland, May 2005.
27: M. Rosenkranz.
A new symbolic method for solving linear two-point boundary value problems on the level of operators.
Journal of Symbolic Computation, 39:171-199, 2005.
28: M. Rosenkranz.
Symbolic computation methods for functional analysis.
Lecture notes, 2005.
29: M. Rosenkranz.
Symbolic methods for differential equations.
SFB Status Seminar, Strobl, Austria, April 2005.
30: M. Rosenkranz.
Symbolic solution of nonlinear BVPs?--First steps and considerations.
Workshop on Inverse Problems, Obergurgl, April 2005.
31: M. Rosenkranz.
Using polynomial structures in reasoning with reflexion.
Theorema-Ultra-Omega Workshop, Saarbruecken, Germany, December 2005.
32: M. Rosenkranz.
Algebraic methods for differential equations and boundary value problems.
CNRS-NSF Symposium, Avignon, France, June 2006.
33: M. Rosenkranz.
The lausch-noebauer functor: Polynomials in the old style.
Theorema Seminar, Hagenberg, Austria, 27.11.06 - 27.11.06, November 2006.
34: M. Rosenkranz.
A novel treatment of linear two-point boundary value problems.
GAMM, Berlin, March 2006.
35: M. Rosenkranz.
Symbolic computation with BVPs. Noncommutative polynomials + boundary calculus.
Theorema seminar, Hagenberg, Austria, October 2006.
36: M. Rosenkranz.
Symbolic computation with two-point boundary value problems.
Workshop on the Algebraic Theory of Differential Equations, Edinburgh, United Kingdom, August 2006.
37: M. Rosenkranz.
Using Gröbner bases for solving linear two-point boundary value problems.
Special Semester for Gröbner Bases / Workshop D2, Hagenberg, Austria, May 2006.
38: M. Rosenkranz and G. Regensburger.
Factorization and division in the realm of linear ordinary BVPs.
SFB Status Seminar, Strobl, Austria, April 2006.
39: M. Rosenkranz and G. Regensburger.
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.
Technical Report 2007-8, SFB F013, 2007.
40: M. Rosenkranz and G. Regensburger.
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.
Journal of Symbolic Computation, 2007.
Accepted.
41: M. Rosenkranz and G. Regensburger.
Solving and factoring boundary problems in differential algebra.
SFB Status Seminar, Strobl, Austria, April 2007.
42: M. Rosenkranz and D. Wang, editors.
Gröbner Bases in Symbolic Analysis, volume 2 of Radon Series on Computational and Applied Mathematics, Berlin, 2007. Walter de Gruyter & Co.
To appear.
43: J. Schicho and G. Regensburger.
Gröbner bases and identities in Witt rings.
Special Semester on Gröbner Bases Workshop D2: Gröbner Bases in Symbolic Analysis, Linz, Austria, May 2006.
44: W. Windsteiger, B. Buchberger, and M. Rosenkranz.
Theorema.
In F. Wiedijk, editor, The Seventeen Provers of the World, LNAI 3600, pages 96-107. Springer, Berlin Heidelberg New York, 2006.
ISBN 3-540-30704-4.

Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund