Publications of the Project F1322
Article
September 27, 2008
Article
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
- G. Regensburger.
Parametrizing compactly supported orthonormal wavelets by discrete moments.
Appl. Algebra Engrg. Comm. Comput., 2007.
DOI: 10.1007/s00200-007-0054-9. - 4
- G. Regensburger and M. Rosenkranz.
An algebraic foundation for factoring linear boundary problems.
Ann. Mat. Pura Appl. (4), 2007.
Accepted. - 5
- 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. - 6
- M. Rosenkranz and G. Regensburger.
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.
Journal of Symbolic Computation, 2007.
Accepted.
Please direct your comments
or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund