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


TechRepMisc - 2002


September 27, 2008

Bibliography

1
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.
2
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.
3
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.
4
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.
5
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.
6
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.
7
G. Landsmann.
Implicitization of algebraic varieties.
RISC Tech Report 02-18, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
1373.
8
G. Landsmann.
Implicitization of algebraic varieties.
SFB Report 02-28, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, December 2002.
1375.
9
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.



Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund