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 F1304
September 27, 2008

Bibliography

1
C. Aistleitner.
Report on elliptic curves in CASA.
RISC Linz Report Series 03-03, Research Institute for Symbolic Computation, J. Kepler Universität, Linz, April 2003.
2
J. Apel and R. Hemmecke.
Detecting unnecessary reductions in an involutive basis computation.
SFB F013 Report 02-13, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, October 2002.
Submitted to special issue of JSC.
3
R. Athale.
Verifying the jumping champion conjecture.
Talk presented at the Conference on Foundations of Computational Mathematics (FOCM02), Minneapolis, USA., August 2002.
4
R. Athale.
Verifying the jumping champion conjecture.
RISC Tech Report 02-17, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
published in the informal proceedings of FOCM02.
5
R. Athale and F. Winkler.
Curves in cryptography.
RISC Tech Report 02-16, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
6
R. R. Athale.
Symbolic Computation in Number Theory.
PhD thesis, RISC, 2005.
7
R. Beals and E. Kartashova.
Constructively factoring linear partial differential operators in two variables.
TMPh (Journal of Theoretical and Mathematical Physics) , Springer, 145(2):1510-1523, 2005.
8
P. Bikker.
Algebraic and The Bézout Construction of the Resultant.
PhD thesis, RISC, 2001.
9
M. Borges and F. Winkler.
An FGLM Method for Decoding Linear Codes.
Workshop EACA'2000, Universitat Politecnica de Catalunya, Barcelona. Spanien, September 2000.
10
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.
11
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.
12
M. Borges-Quintina, M. Borges-Trenard, and F. Winkler.
FGLM Techniques Applied to Linear Codes - An Algorithm for Decoding Linear Codes.
RISC Tech. report 00-14, Research Institute for Symbolic Computation, J. Kepler University, Linz, 2000.
13
K. Bosa and W. Schreiner.
Task logging, rescheduling, and peer checking in distributed Maple.
RISC Tech Report 02-10, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, March 2002.
1381.
14
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.
15
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.
16
H. Gu.
The Finite Element Approximation to the Soap Film Problems on Convex Domains.
RISC Tech. report 01-10, Research Institute for Symbolic Computation, J. Kepler University, Linz, 2001.
17
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.
18
H. Gu.
The finite element approximation to the minimal surfaces subject to the plateau problems.
Talk at CST2002, Prague, Czech Rep., Sept. 2002.
19
H. Gu.
Graphical computation of the minimal surfaces problems by the symbolic-numerical method.
Talk presented at the Conference on Applications of Computer Algebra (ACA'02), Volos, Greece. Joint work with J. Apel, June 2002.
20
H. Gu.
Graphical generating of minimal surfaces subject to the plateau problems.
SFB F013 Report 02-24, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
Submitted paper to the book ``Computer and Structures'', Elsevier Press, Oct. 2002.
21
H. Gu.
Software generating of minimal surfaces subject to the plateau problems by the finite element method.
Talk at NM-A'02, Borovets, Bulgaria, Aug. 2002.
22
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.
23
H. Gu.
Graphical solutions to the plateau problem--numerical methods and symbolic computations for generating minimal surfaces.
Talk at ACA'2002, Volos, Greece, 2003.
24
H. Gu.
Graphical Solutions to the Plateau Problem--Numerical Methods and Symbolic Computations for Generating Minimal Surfaces.
PhD thesis, Universität Linz, 4040 Linz, Austria, Europe, April 2003.
25
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.
26
H. Gu.
Preprocessing for finite element discretizations of geometric problems.
International Workshop of Symbolic and Numerical Computation, Xi'an, China, 2005.
27
H. Gu and M. Burger.
Numerical-symbolic methods for parameter-dependent geometric differential equations.
SFB-Report 05-01, University Linz, 2005.
28
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.
29
H. Gu and H. Herrmann.
Close-to-fourier heat conduction equation for solids: Motivation and symbolic-numerical analysis.
ATTI della ACCADEMIA PELORITANA DEI PERICOLANTI, pages 123-147, 2006.
Classe di Scienze Fisiche, Mathematiche e Naturali.
30
H. Gu and S. Kindermann.
Solution analysis of pdes related to the Mumford-Shah functional with symbolic computation.
Technical report, University Linz SFB F1317, September 2003.
31
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.
32
R. Hemmecke.
CASA - A Maple Package to investigate Algebraic Curves.
Talk at the University Duisburg, December 1999.
33
R. Hemmecke.
Computational Algebraic Geometry with CASA.
Talk at a German SFB Workshop in Herrsching/Ammersee (Germany), April 2001.
34
R. Hemmecke.
Dynamical Aspects of Involutive Bases Computations.
Talk at the IMACS-ACA conference in Albuquerque, New Mexico, USA, June 2001.
35
R. Hemmecke.
Dynamical Aspects of Involutive Bases Computations.
SFB Workshop SNSC'01 (September 12, 2001 - September 14, 2001 in Hagenberg, Austria), September 2001.
36
R. Hemmecke.
Dynamical aspects of involutive bases computations.
RISC Tech. report 01-28, Research Institute for Symbolic Computation, J. Kepler University, Linz, Dezember 2001.
37
R. Hemmecke.
Continuously Parameterized Symmetries and Buchberger's Algorithm.
J. of Symbolic Computation, 33(1):43-55, 2002.
38
R. Hemmecke.
A contribution to the faster computation of involutive bases.
Talk presented at the University of Leipzig, Germany, may 2002.
39
R. Hemmecke.
Detecting unnecessary reductions in an involutive basis computation.
Talk presented at the Conference on Applications of Computer Algebra (ACA'02), Volos, Greece. Joint work with J. Apel, June 2002.
40
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.
41
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.
42
R. Hemmecke.
Involutive Basis for Polynomial Ideals.
PhD thesis, Universität Linz, 4040 Linz, Austria, Europe, 2003.
43
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.
ARGESIM-Reports.
44
R. Hemmecke, E. Hillgarter, W. Schreiner, and F. Winkler.
An Evaluation of the State of the CASA System.
Technical Report SFB 98-123, Research Institute for Symbolic Computation, J. Kepler University Linz, October 1998.
45
R. Hemmecke, E. Hillgarter, and F. Winkler.
Casa.
In J. Grabmeier, E. Kaltofen, and V. Weispfenning, editors, Computer Algebra Handbook: Foundations, Applications, Systems, pages 356-359. Springer-Verlag, 2003.
46
R. Hemmecke and F. Winkler.
CASA User Manual (Version CASA 2.5).
RISC Tech. report 00-30, Research Institute for Symbolic Computation, J. Kepler University, Linz, 2000.
47
W. Herfort and G. Landsmann.
Simultaneous Existence of Right Inverses for $1-ab$and $1-ba$.
Technical Report 99-26, Research Institute for Symbolic Computation, J. Kepler University Linz, 1999.
48
E. Hillgarter.
The Classification Problem for (Point) Symmetries of 2nd Order PDEs in one Dependent and two Independent Variables.
SFB-Report 99-04, Research Institute for Symbolic Computation, J. Kepler University Linz, 1999.
49
E. Hillgarter.
A contribution to the symmetry classification problem for 2nd order pdes in one dependent and two independent variables.
PhD Thesis, RISC Tech Report 02-26, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, December 2002.
50
E. Hillgarter.
A Contribution to the Symmetry Classification Problem for 2nd Order PDEs in one Dependent and two Independent Variables.
PhD thesis, Research Institute for Symbolic Computation, December 2002.
51
E. Hillgarter, R. Hemmecke, G. Landsmann, and F. Winkler.
Symbolic differential elimination theory for symmetry analysis.
Mathematical and Computer Modelling of Dynamical Systems, 10(2):123-147, 2004.
52
E. Hillgarter, G. Landsmann, J. Schicho, and F. Winkler.
Generalized Offsets as Envelopes of a One-parameter Set of Spheres.
Risc-report no.99-27, sfb-report no.99-22, Research Institute for Symbolic Computation, J. Kepler University Linz, 1999.
53
E. Kartashova.
Algebraic factorization of linear partial differential operators.
Contributed talk at SFB Cooperation Meeting, Johannes Kepler University Linz., December 18 2004.
54
E. Kartashova.
Elements of integrability in nonlinear evolution PDEs with wave-type solutions.
Invited talk at Workshop ``Integrable systems'', 11.11.2004 2004.
55
E. Kartashova.
Alisa-2005 (algorithmically integrable systems in action).
http://www.risc.uni-linz.ac.at/people/lena/alisa/alisa.htm, http://www.mi.ras.ru/index_e.html, June 2005.
56
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.
57
E. Kartashova.
BK-factorization and Darboux-Laplace transformations.
Contributed talk at CSC-05 (International Conference on Scientific Computing), June 20-23, Las Vegas, USA, 06 2005.
58
E. Kartashova.
BK-factorization and Darboux-Laplace transformations.
Contributed talk at CSC-05 (International Conference on Scientific Computing), June 20-23, Las Vegas, USA, 22.06.2005 2005.
59
E. Kartashova.
Computable integrable systems - present and future.
The treaty is undersigned by Vice-rector of Linz University and by Vice-director of MIAN, for 5 years, October 2005.
60
E. Kartashova.
Diophantine equations of nonlinear physics. part 1.
Technical report, RISC, 04 2005.
61
E. Kartashova.
Discrete wave systems: model of laminated turbulence.
Warwick Turbulence Symposium, University of Warwick, Warwick, UK, 12 2005.
62
E. Kartashova.
Elements of integrability in nonlinear dispersive pdes.
Mathematical Physics Seminar, Loughborough University, England., 03 2005.
63
E. Kartashova.
Encyclopedia alisa - main ideas and general structure.
Steklov Institute for Mathematics, Russian Academy of Sciences, Moscow, Russia, 10 2005.
64
E. Kartashova.
General invariants of linear partial differential operators.
SFB Cooperation Meeting, 12 2005.
65
E. Kartashova.
On factorization of linear partial differential operators. generic case.
Invited talk at ``Workshop on symmetries, inverse problems and image processing'', RICAM, 01 2005.
66
E. Kartashova.
Order-reduction procedure for factorization of lpdo of arbitrary order.
Conference ``Solitons, boomerons and isochronious solutions to nonlinear systems'', 02 2005.
67
E. Kartashova.
Wave turbulence theory for discrete systems.
Landau Institute of Theoretical Physics, Russian Academy of Sciences, Chernogolovka, Russia., 09 2005.
68
E. Kartashova.
BK-factorization as a link between symbolics and numerics.
Contributed talk at GAMM 2006, 30.03 2006.
69
E. Kartashova.
BK-factorization as a link between symbolics and numerics.
In editor, editor, Book of abstracts, GAMM 2006, pages 413-414, 2006.
70
E. Kartashova.
Fast Computation Algorithm for Discrete Resonances among Gravity Waves.
JLTP (Journal of Low Temperature Physics), 145(1):287-295, 2006.
71
E. Kartashova.
A hierarchy of generalized invariants for linear partial differential operators.
TMPh (J. Theoretical and Mathematical Physics), Springer, 147(3):839-846, 2006.
72
E. Kartashova.
Laminated wave turbulence: new results.
Invited talk at Workshop ``Integrable systems and trasition to chaos'', 20.11 2006.
73
E. Kartashova.
A model of laminated turbulence.
Letters JETP (Journal of Experimental and Theoretical Physics, Letters; Springer, 83(7):341-345, 2006.
74
E. Kartashova.
Once more about BK-factorization.
Contributed talk at SFB Status Seminar, Strobl, 21.04 2006.
75
E. Kartashova.
Symbolic methods for wave turbulence problems.
Contributed talk at SFB Cooperation meeting, Linz, 18.12 2006.
76
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.
77
E. Kartashova.
Weak turbulence - two-layers model.
invited talk at the ``Navier-Stokes and Turbulence Symposium'', W. Pauli Institute, Univ. Wien, April 2006.
78
E. Kartashova.
What is important to know for modeling a wave turbulence.
invited talk at the workshop ``Waves in Shallow Environments (WISE-2006)'', ISMAR, Venice, April 2006.
79
E. Kartashova.
Cluster formation in mesoscopic systems, 18 April 2007 2007.
80
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.
81
E. Kartashova.
Dispersive nonlinear partial differential equations.
Invited talk at Winter training school in symbolic computation, RISC, Haganberg, 16 February 2007 2007.
82
E. Kartashova.
Exact and quasi-resonances in discrete water-wave turbulence.
Physical Review Letters, 98(214502):1-4, 2007.
83
E. Kartashova.
Factorization of linear partial differential operators.
Invited talk at Winter training school in symbolic computation, RISC, Haganberg, 15 February 2007 2007.
84
E. Kartashova.
Mesoscopic regimes in wave turbulent systems.
Univeristy of Hull, UK. Invited talk at Wave Turbulence Symposium, Hull workshop,, 21.09 2007.
85
E. Kartashova.
Model of intra-seasonal oscillations in the Earth atmosphere.
Contributed talk at EGU-2007 (General Assembly of European Geosciences Union), 16 April 2007 2007.
86
E. Kartashova.
Symbolic and numerical methods for mesoscopic systems.
Contributed talk at SFB Status meeting, Strobl, 14 April 2007 2007.
87
E. Kartashova.
The role of resonance conditions in the dynamics of non-linear waves.
Invited talk at EGU-2007 (General Assembly of European Geosciences Union), 19 April 2007 2007.
88
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.
89
E. Kartashova and A. Kartashov.
Laminated wave turbulence: generic algorithms I.
IJMPC (International Journal of Modern Physics C), 17(11):1579-1596, 2006.
90
E. Kartashova and A. Kartashov.
Laminated wave turbulence: generic algorithms II.
CiCP (Communications in Computational Physics), 2(4):783-794, 2007.
91
E. Kartashova and A. Kartashov.
Laminated wave turbulence: generic algorithms III.
Physica A: Statistical Mechanics and Its Applications, 380:66-74, 2007.
92
E. Kartashova and V. L'vov.
A model of intra-seasonal oscillations in the Earth atmosphere.
Physical Review Letters, 98(198501):1-4, May 2007.
This paper has been featured in ``Nature Physics'', Vol. 3 (6), p.368 (Impact Factor: 12.04); http://www.nature.com/nphys/journal/v3/n6/full/nphys643.html.
93
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.
94
E. Kartashova and G. Mayrhofer.
Cluster formation in mesoscopic systems.
Physica A: Statistical Mechanics and Its Applications, 385:527-542, 2007.
95
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.
96
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.
97
E. Kartashova and A. Shabat.
Computable integrability. chapter 1: General notions and ideas.
Technical report, RISC, 04 2005.
98
E. Kartashova and A. Shabat.
Computable integrability. chapter 2: Riccati equation.
Technical report, RISC, 08 2005.
99
E. Kartashova and A. Shabat.
Computable integrability. chapter 3: : Integrability of linear pdes.
Technical report, RISC, 09 2005.
100
M. Kauers and G. Landsmann.
Computer algebra and symbolic computation, 2007.
101
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.
102
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.
103
G. Landsmann.
Parametrization of Pipe and Canal Surfaces.
Talk at SFB-Workshop SNSC'99, Hagenberg, Austria, August 1999.
104
G. Landsmann.
Implicitization of algebraic varieties.
In N. Callaos, editor, Proceedings of the SCI2002, volume 11, Orlando, USA, July 2002.
105
G. Landsmann.
Implicitization of algebraic varieties.
RISC Tech Report 02-18, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
1373.
106
G. Landsmann.
Implicitization of algebraic varieties.
Talk at the 4th international Workshop on Automated Deduction in Geometry ADG2002, Hagenberg, Austria, September 2002.
107
G. Landsmann.
Implicitization of algebraic varieties.
SFB Report 02-28, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, December 2002.
1375.
108
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.
109
G. Landsmann, J. Schicho, and F. Winkler.
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares.
J. of Symbolic Computation, 32(1-2):119-132, 2001.
110
G. Landsmann, J. Schicho, and F. Winkler.
The parametrization of canal surfaces and the decomposition of polynomials into a sum of two squares.
Symbolic Computation, 32(1 & 2):119-132, 2001.
111
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.
112
G. A. Lopez Diaz.
Symbolic Methods for Factoring Linear Differential Operators.
PhD thesis, RISC, 2006.
113
C. Mittermaier.
Parallel Algorithms in Constructive Algebraic Geometry.
Master's thesis, RISC-Linz, J. Kepler Univ. Linz, 2000.
114
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.
115
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.
116
G. Roda.
Algorithms for Change of Orderings in the Theory of Gröbner Bases.
PhD thesis, RISC, 2004.
117
W. Schreiner.
Distributed Maple - User and Reference Manual.
Techn. Report 98-05, Research Institute for Symbolic Computation, J. Kepler University Linz, 1998.
118
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.
119
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.
120
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.
121
W. Schreiner, C. Mittermaier, and K. Bosa.
Distributed Maple: Parallel computer algebra in networked environments.
Journal of Symbolic Computation, 35(3):305-347, 2002.
122
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.
123
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.
124
J. Sendra and F. Winkler.
Computation of the Degree of Rational Maps between Curves.
ISSAC'01, University of Western Ontario, London, Ontario, Canada, July 2001.
125
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.
126
J. Sendra and F. Winkler.
Tracing Index of Rational Curve Parametrizations.
Computer aided Geometric Design, 18:771-795, 2001.
127
J. Sendra and F. Winkler.
Tracing Index of Rational Parametrizations.
RISC Tech. report 01-01, Research Institute for Symbolic Computation, J. Kepler University, Linz, 2001.
128
J. R. Sendra and F. Winkler.
Algorithms for Rational Real Algebraic curves.
SFB 013 Report 98-16, Research Institute for Symbolic Computation, J. Kepler University Linz, 1998.
129
J. R. Sendra and F. Winkler.
Algorithms for Rational Real Algebraic Curves.
Fundamenta Informaticae, 39(1-2):211-228, 1999.
130
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.
131
J. R. Sendra and F. Winkler.
Tracing index of rational curve parametrizations.
Computer Aideded Geometric Design 18, pages 771-795, 2001.
132
E. Shemyakova.
Applications of bk method of linear partial differential operators factorization.
talk at Conference ``Computer algebra'', Dubna, Russia, May 2005.
133
E. Shemyakova.
Families of factorizations of linear partial differential operators.
talk at Conference ``ACA'05'', Nara, Japan, August 2005.
134
E. Shemyakova.
Families of factorizations of linear partial differential operators.
talk at Conference ``ASCM'05'', Seoul, South Korea, December 2005.
135
E. Shemyakova.
A maple program for factorization of linear partial differential operators in two variables.
talk at Conference ``SNMP'05'', Kyiv, Ukraine, June 2005.
136
E. Shemyakova.
A full system of invariants for third-order linear partial differential operators.
Lecture Notes in Comput. Sci., 4120:360-369, 2006.
137
E. Shemyakova.
The parametric factorizations of second-, third- and fourth-order linear partial differential operators on the plane.
Mathematics in Computer Science, 1(2), 2007.
138
E. Shemyakova.
Symbolic-Algebraic Methods for Linear Partial Differential Operators.
PhD thesis, RISC, 2007.
139
E. Shemyakova and E. Mansfield.
Moving frames for laplace invariants.
In proceedings of ISSAC'08 (The International Symposium on Symbolic and Algebraic Computation), 2008.
140
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.
141
E. Shemyakova and F. Winkler.
Obstacles to factorization of linear partial differential operators into arbitrary number of factors.
talk at the 12th Internat. Conf. on Applications of Computer Algebra (ACA-2006), Varna, Bulgaria, June 2006.
142
E. Shemyakova and F. Winkler.
A full system of invariants for third-order linear partial differential operators in general form.
Lecture Notes in Comput. Sci., 4770:360-369, 2007.
143
E. Shemyakova and F. Winkler.
Obstacles to the factorization of linear partial differential operators into several factors.
Programming and Computer Software, 33(2):67-73, 2007.
144
E. Shemyakova and F. Winkler.
On the invariant properties of hyperbolic bivariate third-order linear partial differential operators.
LNAI, 5081, 2008.
145
P. Stadelmeyer.
Algebraic extensions in the resolution of curve-singularities.
RISC Linz Report Series 00-10, Research Institute for Symbolic Computation, J. Kepler Universität, Linz, 2000.
146
P. Stadelmeyer.
Computing the system of adjoint plane curves by Puiseux expansion. part II: Algorithm.
RISC Linz Report Series 00-04, Research Institute for Symbolic Computation, J. Kepler Universität, Linz, 2000.
147
P. Stadelmeyer.
Ein schneller Resolutionsalgorithmus für Kurvensingularitäten.
talk at the DMV 2000, Dresden, September 2000.
148
P. Stadelmeyer.
On the Computational Complexity of Resolving Curve Singularities and Related Problems.
Ph.D. thesis, RISC-Linz, J. Kepler Universität Linz, Austria, 2000.
149
P. Stadelmeyer.
Computing the system of adjoint plane curves by Puiseux expansion. part III: Computational complexity.
RISC Linz Report Series 00-20, Research Institute for Symbolic Computation, J. Kepler Universität, Linz, 2003.
150
Q.-N. Tran and F. Winkler, editors.
Applications of the Gröbner Bases Method.
special issue of the J. Symbolic Computation, Vol. 30/4. Academic Press, 2000.
151
F. Winkler.
Algebraic Curves and Symbolic Computation.
talk at the School of Mathematics, Physics, Engineering and Computer Science, Macquarie Univ., Sydney, Australia, November 1998.
152
F. Winkler.
Algebraic Geometry Methods in Symbolic computation.
talk at Dept. of Mathematics, Fudan Univ., Shanghai, China, july 1998.
153
F. Winkler.
CASA - A System for Computational Algebra and Constructive Algebraic Geometry.
talk at Workshop on ``Automated Deduction in Geometry'', Beijing Univ., Beijing, China, august 1998.
154
F. Winkler.
Computer Algebra meets Geometry.
talk at Dept. of Computer & Information Sciences, Univ. of Delaware, USA, September 1998.
155
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.
156
F. Winkler.
Optimal parametrization of algebraic curves.
Talk at Conference ``IMACS Conf. on Applications of Computer Algebra'', Prague, Czech Republic, August 1998, 1998.
157
F. Winkler.
Optimal Parametrization of Algebraic Curves.
talk at Conference ``IMACS Conf. on Applications of Computer Algebra'', Prague, Czech Republic, august 1998.
158
F. Winkler.
Symbolic Geometric Computation.
talk at the School of Mathematics and Statistics, The Univ. of Sydney, Sydney, Australia, November 1998.
159
F. Winkler.
Abstracts of the Workshop SNSC'99, Hagenberg, 18.-20. aug. 1999.
SFB-Report 99-31, Research Institute for Symbolic Computation, J. Kepler University Linz, August 1999.
160
F. Winkler.
Advances and Problems in Algebraic Computation.
Invited talk at AAA'58 (58. Arbeitstagung über Allgemeine Algebra), TU-Wien, June 1999.
161
F. Winkler.
Algebraisches Rechnen - Resultate und Probleme.
Talk at Inst. f. Computerwissenschaften, Univ. Salzburg, June 1999.
162
F. Winkler.
Symbolisches Rechnen mit Algebraischen Kurven.
Talk at ``7. Österreichisches Mathematikertreffen'', TU-Graz, September 1999.
163
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.
164
F. Winkler.
Advances and Problems in Algebraic Computation.
talk at Departamento de Mateáticas, Universidad de Alcaá, Madrid, Spain, march 2000.
165
F. Winkler.
Computations on Algebraic Curves and Surfaces.
9th. Inter. Coll. on Numerical Analysis and Computer Science with Applications, Plovdiv, Bulgaria, August 2000.
166
F. Winkler.
Computer Algebra and Geometry - what we can and what we (still) can't do.
Colloquium ``Constructive Algebra and Systems Theory'' of the Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, November 2000.
167
F. Winkler.
Parametrization of Real Algebraic Curves.
talk at Dept. of Mathematics, Fudan Univ., Shanghai, China, July 2000.
168
F. Winkler.
Symbolic Computation of Curve and Surface Parametrizations.
talk at Faculty of Nuclear Sciences and Physical Engineering, Technical University, Prague, Czech Republic, June 2000.
169
F. Winkler.
What We Can and What We (Still) Can't Do in Computer Algebra.
talk at Lamar Univ., Beaumont, Texas, and University of Texas at Austin, June 2000.
170
F. Winkler.
Abstracts of the Conference symbolic and numerical scientific computation SNSC'01, Hagenberg, 12.-14. Sept. 2001.
RISC Tech. report 01-25, Research Institute for Symbolic Computation, J. Kepler University, Linz, 2001.
171
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.
172
F. Winkler.
Faithful and Reliable Plotting of Curves by Symbolic-Numerical Methods.
IMACS Conf. on Applications of Computer Algebra, Albuquerque, NM, USA, May 2001.
173
F. Winkler.
Gröbner Bases and Algebraic Computation in Geometry.
Workshop ``Computer Algebra in Geometric Computing'', Lorentz Center, Univ. Leiden, Netherlands, October 2001.
174
F. Winkler.
Advances in Algebraic Geometric Computation.
International Conf. on Algebra and Its Applications (ICAA'2002), Bangkok, Thailand, March 2002.
175
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.
176
F. Winkler.
Advances in Algebraic Geometric Computation.
Talk at the Institute of Mathematics and Computer Science, Univ. Debrecen, Hungary, April 2002.
177
F. Winkler.
Computational Ring Theory.
In A. V. Mikhalev and G. F. Pilz, editors, The Concise Handbook of Algebra, section C54, pages 347-350. Kluwer Acad. Publ., 2002.
178
F. Winkler.
Computer Algebra in Geometry.
Talk at Departamento de Matemáticas, Facultad de Ciencias, Universidad del Oriente, Santiago de Cuba, July 2002.
179
F. Winkler.
Parametrization, Decomposition of Quadratic Forms Into Sums of Two Squares, and Hilbert's 17th Problem.
Departamento de Matemáticas, Universidad de Alcalá, Madrid, Spain, May 2002.
180
F. Winkler.
Quadratic Forms and the Parametrization Problem.
Invited lecture at the workshop ``Applications of Commutative Algebra'', Università di Catania, Italy, April 2002.
181
F. Winkler.
Quadratic Forms and the Parametrization Problem.
Talk at the Conference ``Foundations of Computational Mathematics'', Workshop on ``Computational Algebraic Geometry'', Minneapolis, USA, August 2002.
182
F. Winkler.
On the factorization of linear differential operators.
Talk at the workshop ``Computer Algebra and Informatics'' in Lomonosov Moscow State Univ., Faculty of Mechanics and Mathematics, November 2005.
183
F. Winkler.
Gröbner bases in difference-differential modules.
talk at the Internat. Symposium for Symbolic and Algebraic Computation (ISSAC 2006), Genova, Italy, July 2006.
184
F. Winkler.
Parametrization of algebraic curves.
talk at the Dept. of Mathematics, Aristotle Univ. Thessaloniki, Greece, March 2006.
185
F. Winkler.
Selected topics in computer algebra.
talk at the Dept. of Mathematics, Aristotle Univ. Thessaloniki, Greece, March 2006.
186
F. Winkler.
Symbolic parametrization of algebraic curves.
invited talk at the Erwin Schrödinger Institute for Mathematical Physics (ESI), Univ. Wien, November 2006.
187
F. Winkler and M. Athale.
ADG'2002 - Automated Deduction in Geometry - Abstracts Booklet.
RISC Tech Report 02-20, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
1383.
188
F. Winkler and U. Langer, editors.
Symbolic and Numeric Scientific Computation. Second International Conference, SNSC 2001, Hagenberg, Austria, September 2001, LNCS 2630. Springer-Verlag, Heidelberg, 2003.
189
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.
190
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.
191
M. Zhou and F. Winkler.
Computing difference-differential dimension polynomials by relative gröbner bases in difference-differential modules.
J. of Symbolic Computation, 43(10):726-745, 2008.
192
M. Zhou and F. Winkler.
Gröbner bases in difference-differential modules and difference-differential dimension polynomials.
Science in China Series A: Mathematics, 51(9):1731-1752, 2008.




Please direct your comments or eventual problem reports to webmaster.

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