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


TechRepMisc


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.
RISC Tech Report 02-17, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
published in the informal proceedings of FOCM02.

4

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.

5

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.

6

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.

7

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.

8

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.

9

H. Gu and M. Burger.
Numerical-symbolic methods for parameter-dependent geometric differential equations.
SFB-Report 05-01, University Linz, 2005.

10

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.

11

R. Hemmecke.
Dynamical aspects of involutive bases computations.
RISC Tech. report 01-28, Research Institute for Symbolic Computation, J. Kepler University, Linz, Dezember 2001.

12

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.

13

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.

14

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.

15

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.

16

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.

17

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.

18

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.

19

E. Kartashova.
Diophantine equations of nonlinear physics. part 1.
Technical report, RISC, 04 2005.

20

E. Kartashova.
Cluster formation in mesoscopic systems, 18 April 2007 2007.

21

E. Kartashova and A. Shabat.
Computable integrability. chapter 1: General notions and ideas.
Technical report, RISC, 04 2005.

22

E. Kartashova and A. Shabat.
Computable integrability. chapter 2: Riccati equation.
Technical report, RISC, 08 2005.

23

E. Kartashova and A. Shabat.
Computable integrability. chapter 3: : Integrability of linear pdes.
Technical report, RISC, 09 2005.

24

M. Kauers and G. Landsmann.
Computer algebra and symbolic computation, 2007.

25

G. Landsmann.
Implicitization of algebraic varieties.
RISC Tech Report 02-18, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, 2002.
1373.

26

G. Landsmann.
Implicitization of algebraic varieties.
SFB Report 02-28, Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria, December 2002.
1375.

27

W. Schreiner.
Distributed Maple - User and Reference Manual.
Techn. Report 98-05, Research Institute for Symbolic Computation, J. Kepler University Linz, 1998.

28

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.

29

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.

30

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.

31

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.

32

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.

33

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.

34

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.

35

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