Quelle CHANGES Sprache: Isabelle

0.1 First version, coded groups as analogs of fp groups

0.2 Rewrote from scratch. Implements semigroups and monoids. Has Mealy and FR elements as basic objects, groups are simply collections of these.

0.714285 Ready to show around, quite a few algorithms implemented.

0.857142 Submitted to GAP

0.99 added solid IMG code

2.0.0 Removed the Hurwitz stuff, now in separate package

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.