SourceForge has been redesigned. Learn more.
Close

User Activity

  • Committed [664bf8]

    tactic for Poincare map with derivative and example; tuned gnuplot output: (filled) polygons instead of edges

  • Committed [59deb3]

    base developments in Polynomials and Groebnes_Bases on type poly_mapping: additive type classes for powerprod classes

  • Committed [1ce615]

    adding conversion between IEEE.float and Float.float (thanks to Fabian Hellauer); more code setup for IEEE.float

  • Committed [29ff8d]

    adapted to isabelle a99a7cbf0fb5

  • Committed [b184d7]

    diagnostic output, tweaked numerical values for Lorenz_C1

  • Committed [eb57c0]

    optional file name

  • Committed [c3ba0f]

    merged

  • Committed [88a2b1]

    prevent file output

View All

Personal Data

Username:
immler
Joined:
2011-01-20 10:26:02

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools