The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


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