User Activity

  • Committed [f3ea8a]

    new entry Hermite

  • Committed [0796c4]

    Hermite Normal Form web entry

  • Committed [3182ea]

    Replaced an extremely slow proof step

  • Committed [ea9fdc]

    Fixed failures caused by recent changes. Also f...

  • Committed [badd1f]

    move Quadratic_Discriminant to Library

  • Committed [aa1cba]

    deleted a redundant theorem

  • Committed [8dbe85]

    small faxes

  • Committed [c4ab96]

    Removed references to deprecated LIMSEQ_def

View All

Personal Data

Username:
lp15
Joined:
2004-02-13 17:05:47

Projects

Skills

  • No skills entered.

Personal Tools