Jagiellonian University
Institute of Computer Science

The Home Page Of Daniel Wilczak

 
Main Papers Seminars Students Hobby Short CV Choreographies Fractals Links
me

Preprints and papers pending:

Papers:

  1. H. Kokubu, D. Wilczak and P. Zgliczyński
    Rigorous verification of cocoon bifurcations in the Michelson system,
    Nonlinearity 20, No.9, 2147-2174, (2007).

    C++ sources and installation instruction.

  2. D. Wilczak, P. Zgliczyński,
    Topological method for symmetric periodic orbits for maps with a reversing symmetry,
    Discrete and Continuous Dynamical Systems - Series A, Vol.17, No.3, 629-652, (2007).

    C++ sources and installation instruction.

  3. D. Wilczak,
    The existence of Shilnikov homoclinic orbits in the Michelson system: a computer assisted proof.
    Foundations of Computational Mathematics, Vol.6, No.4, 495-535, (2006).

    C++ sources and installation instruction.

  4. D. Wilczak,
    Symmetric homoclinic solutions to the periodic orbits in the Michelson system,
    Topological Methods in Nonlinear Analysis, Vol. 28, No. 1, 155-170, (2006).

  5. D. Wilczak, P. Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - part II,
    Communications in Mathematical Physics, Vol. 259, No.3, 561-576, (2005).

    C++ sources and installation instruction.

  6. D. Wilczak,
    Symmetric heteroclinic connections in the Michelson system - a computer assisted proof,
    SIAM Journal on Applied Dynamical Systems, Vol.4, No.3, 489-514, (2005).

    C++ sources and installation instruction.

  7. D. Wilczak,
    Chaos in the Kuramoto-Sivashinsky equations - a computer assisted proof,
    Journal of Differential Equations, Vol.194, 433-459, (2003).

    C++ sources and installation instruction.

  8. D.Wilczak, P. Zgliczyński,
    Heteroclinic Connections between Periodic Orbits in Planar Circular Restricted Three Body Problem - A Computer Assisted Proof,
    Communications in Mathematical Physics, Vol.234, No.1, 37-75, (2003).

    C++ sources and installation instruction.

  9. D. Wilczak,
    Computer assisted proof of chaotic dynamics in the Rössler map,
    Topological Methods in Nonlinear Analysis, Vol.18, 183-190, (2001).

    Applet which shows the dynamics of the Rössler map.