User Activity

  • Committed [r3912]

    A nicer interface between ofsfic and ofsfcad mo...

  • Posted a comment on discussion Help on REDUCE

    Dear Machiel, There is also a rather detailed description of the installation/compilation...

  • Committed [r3907]

    Added module ofsfic for infeasible core computa...

  • Committed [r3900]

    A block of quantifiers can be processed by back...

  • Committed [r3899]

    Fixed an imprecise procedure description.

  • Committed [r3898]

    Output useful QE information when rlverbose is on.

  • Committed [r3893]

    Be more verbose during block elimination.

  • Committed [r3882]

    Added service rlifacdegl, which returns maximal...

View All

Personal Data

Username:
mkosta
Joined:
2012-10-10 15:02:14
Location:
Bratislava / Slovakia / CET
Gender:
Male

Projects

  • Project Logo REDUCE A Portable General-Purpose Computer Algebra System Last Updated:

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks