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

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1304


September 27, 2008


M. Borges-Quintana, M. Borges-Trenard, and F. Winkler.
An Application of the FGLM Techniques to Linear Codes.
In Proc. 4th Italian-Latin American Conference on Applied and Industrial Mathematics, Inst. Cybern. Math. Phys., Havana, Cuba, 2001, pages 280-286, Inst. Cybern. Math. Phys., Havana, Cuba, CMP 1 830 504, 2001.
M. Borges-Quintana, F. Winkler, and M. A. Borges-Trenard.
An FGLM Method for Decoding Linear Codes.
In A. Montes, editor, Proc. Encuentro de Algebra Computacional y Aplicaciones, pages 117-128, Barcelona, Spain, Sep. 2000. Univ. Politecnia de Catalunya.
K. Bosa and W. Schreiner.
Tolerating stop failures in distributed Maple.
In Dapsys 2002. Kluwer Academic Publishers, October 2002.
4th Austrian-Hungarian Workshop on Distributed and Parallel Processing, Linz, Austria.
O. Caprotti and W. Schreiner.
Towards a mathematical service description language.
In ICMS 2002, International Congress of Mathematical Software, Beijing, China, 2002. World Scientific Publishers.
H. Gu.
The finite element approximation to the minimal surfaces subject to the plateau problems.
In Proceedings of The Sixth International Conference on Computational Structure Technology, Prague, Czech Rep., September 2002. Civil-comp Press.
H. Gu.
Generating minimal surfaces subject to the plateau problems by finite element method.
In Numerical Methods and Applications, 5th International Conference, NMA'02, number 2542 in Lecture Notes in Computer Science, pages 471-478, Borovets, Bulgaria, 2003. Springer.
H. Gu.
Solving parameter-dependent elliptic problems by finite element method and symbolic computation.
In NACoM-2003, Proceeding of the International Conference on Numerical Analysis and Computational Mathematics, Extend Abstracts, pages 79-82, Cambridge, UK., May 2003. Wiley.
H. Gu and M. Burger.
Preprocessing for finite element discretizations of geometric problems.
In Proceedings of The International Workshop of Symbolic and Numerical Computation, Xi'an, China., 2005.
H. Gu and S. Kindermann.
Solution analysis of denoising equations related to the mumford-shah functional.
In B. H. V. Topping and C. A. M. Soares, editors, Proceedings of The 7th International Conference of Computational Structure Technology, pages 242-243. Civil-Comp Press, 2004.
R. Hemmecke.
An efficient method for finding a simplifier in an involutive basis computation (extended abstract).
In J. Calmet, M. Hausdorf, and W. M. Seiler, editors, Proceedings of the Workshop on Under- and Overdetermined Systems of Algebraic or Differential Equations, March 18-19, 2002, Karlsruhe, Germany, pages 87-95. Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, March 2002.
Local proceedings.
R. Hemmecke.
Dynamical aspects of involutive bases computations.
In F. Winkler and U. Langer, editors, Symbolic and Numeric Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 2001, Revised Papers, number 2630 in Lecture Notes in Computer Science, pages 168-182, 2003.
R. Hemmecke, E. Hillgarter, G. Landsmann, and F. Winkler.
Symbolic differential elimination theory for symmetry analysis.
In F. Breitenecker and I. Troch, editors, Inverse Problems, Proc. Fourth International Symposium on Mathematical Modelling, 4th MATHMOD, Vienna, Austria, 2003.
E. Kartashova.
BK-factorization and Darboux-Laplace transformations.
In H. R. Arabnia and G. A. Gravvanis, editors, Proceedings of The 2005 International Conference on Scientific Computing, June 20-23 Las Vegas, pages 144-150. CSREA PRESs, USA, ISSN: ISSN: 1-932415-62-9, 2005.
E. Kartashova.
BK-factorization as a link between symbolics and numerics.
In editor, editor, Book of abstracts, GAMM 2006, pages 413-414, 2006.
E. Kartashova.
Theory of laminated wave turbulence: open questions.
In J. Calmet, W. M. Seiler, and R. W. Tucker, editors, GIFT-2006, Proceedings, pages 201-224. Universitätsverlag Karlsruhe, 2006.
E. Kartashova.
Coherent structures in wave turbulent transport - graph-theoretical approach.
In Eds., editor, Geophysical Research Abstracts, volume Vol. 9, pages 1447-1447. European Geoscience Union (EGU), 2007.
E. Kartashova.
The role of resonance conditions in the dynamics of nonlinear waves.
In Eds., editor, Geophysical Research Abstracts, volume Vol. 9, pages 1445-1445. European Geoscience Union (EGU), 2007.
E. Kartashova and V. L'vov.
Intra-seasonal ocsillations as nonlinear planetary wave interactions.
In Eds., editor, Geophysical Research Abstracts, volume Vol.9, pages 1449-1449. European Geoscience Union (EGU), 2007.
E. Kartashova and S. McCallum.
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.
In M. Kauers, M. Kerber, R. Miner, and W. Windsteiger, editors, Towards Mechanized Mathematical Assistants (Proc. of MKM and Calculemus 2007), volume 4573 of Lecture Notes in Computer Science (LNCS), pages 106-115. Springer, Heidelberg, 2007.
E. Kartashova and O. Rudenko.
Invariant Form of BK-factorization and its Applications.
In J. Calmet, W. M. Seiler, and R. W. Tucker, editors, GIFT-2006, Proceedings, pages 225-241. Universitätsverlag Karlsruhe, 2006.
A. Kondratyev, H. J. Stetter, and F. Winkler.
Numerical computation of Gröbner Bases.
In V. G. Ganza, E. W. Mayr, and E. V. Vorozhtov, editors, 7th Workshop on Computer Algebra in Scientific Computing (CASC 2004), pages 295-306. Technische Univ. Muenchen, 2004.
J. Kovacs, G. Kusper, R. Lovas, and W. Schreiner.
Integrating temporal assertions into a parallel debugger.
In Lecture Notes in Computer Science. Springer, August 2002.
Euro-Par 2002, 8th International Euro-Par Conference, Paderborn, Germany.
G. Landsmann.
Implicitization of algebraic varieties.
In N. Callaos, editor, Proceedings of the SCI2002, volume 11, Orlando, USA, July 2002.
G. Landsmann, P. Mayr, and J. Schicho.
A topological criterion for polynomiality.
In Algorithmic Algebra and Logic - Proc. A3L, Books on Demand GmbH, Norderstedt, 2005.
G. Landsmann, J. Schicho, F. Winkler, and E. Hillgarter.
Symbolic Parametrization of Pipe and Canal Surfaces.
In C. Traverso, editor, Proc. International Symp. on Symbolic and Algebraic Computation, St. Andrews, Scotland, Aug. 2000. ISSAC'00, ACM Press.
C. Mittermaier, W. Schreiner, and F. Winkler.
A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting.
In Proc. 3rd Workshop on Computer Algebra in Scientific Computing, CASC-2000, pages 301-314. Springer Verlag, 2000.
C. Mittermaier, W. Schreiner, and F. Winkler.
Plotting Algebraic Space Curves by Cluster Computing.
In X.-S. Gao and D. Wang, editors, Computer Mathematics (Proc. of ASCM'2000), pages 49-58, Singapore/River Edge, 2000. World Scientific Publishers.
W. Schreiner.
Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.
In PaCT'2001, 6th. International Conference, Novosibirsk, Russia, volume 2127 of LNCS, pages 329-343. Springer Verlag, September 2001.
W. Schreiner.
A Java Toolkit for Teaching Distributed Algorithms.
In ITiCSE 2002, 7th Annual Conference on Innovation and Technology in Computer Science Education, University of Aarhus, Denmark, June 2002. ACM Press.
W. Schreiner, G. Kusper, and K. Bosa.
Fault Tolerance for Cluster Computing Based on Functional Tasks.
In EURO-PAR'2001, LNCS. Springer Verlag, August 2001.
W. Schreiner, C. Mittermaier, and F. Winkler.
Analyzing Algebraic Curves by Cluster Computing.
In P. Kacsuk and G. Kotsis, editors, Proc. DAPSYS'2000. Austrian-Hungarian Workshop on Distributed and Parallel Systems, Kluwer, 2000.
W. Schreiner, C. Mittermaier, and F. Winkler.
On Solving a Problem in Algebraic Geometry by Cluster Computing.
In A. Bode, T. Ludwig, and R. Wismüller, editors, Proc. EUROPAR2000. LNCS2000, Springer-Verlag Berlin, 2000.
J. Sendra and F. Winkler.
Computing of the Degree of a Rational Map between Curves.
In B. Mourrain, editor, Proc. ISSAC'01, London, Ontario, Canada, pages 317-332. ACM-Press, 2001.
J. R. Sendra and F. Winkler.
Computation of the degree of a rational map between curves.
In B. Morrain, editor, International Symposium on Symbolic and Algebraic Computation (ISSAC'01), pages 317-322. ACM-Press, 2001.
E. Shemyakova and E. Mansfield.
Moving frames for laplace invariants.
In proceedings of ISSAC'08 (The International Symposium on Symbolic and Algebraic Computation), 2008.
E. Shemyakova and F. Winkler.
Obstacle to factorization of LPDOs.
In J.-G. Dumas, editor, Proc. Transgressive Computing 2006, Granada, Spain, pages 435-441, April 2006.
F. Winkler.
Geometric Algorithms Based on Computer Algebra.
In A. Beghi, L. Finesso, and G. Picci, editors, Proc Mathematical Theory of Networks and Systems, Il Poligrafo, Padova, 1998. MTNS'98.
F. Winkler.
Advances and Problems in Algebraic Computation.
In D. Dorninger et al., editors, Contributions to General Algebra 12, Proc. AAA'58, pages 51-70, Vienna, 2000. Verlag Johannes Hein, Klagenfurt.
F. Winkler.
Computer algebra and geometry -- some interactions.
In M. Hazewinkel, editor, Proc. of Coll. on Systems Theory and Computer Algebra. Royal Dutch Academy of Sciences, 2001.
F. Winkler.
Advances in Algebraic Geometric Computation.
In Proc. International Conf. on Algebra and Its Applications (ICAA'2002), Bangkok, Thailand, pages 107-120, March 2002.
ISBN 970-13-2182-1.
M. Zhou and F. Winkler.
Gröbner bases in difference-differential modules.
In Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC'06), pages 353-360. ACM-Press, 2006.
M. Zhou and F. Winkler.
On computing gröbner bases in rings of differential operators with coefficients in a ring.
In Proc. First Internat. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS), pages 45-56, 2006.

Please direct your comments or eventual problem reports to webmaster.

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