Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/TRS/pvsbin/   (PVS Prover Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 21 kB image not shown  

Quelle  ctos10.tbl   Sprache: unbekannt

 
Spracherkennung für: .tbl vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

MOT("Sym(10)",
[
"computed using generic character table for symmetric groups"
],
0,
0,
0,
[],
["ConstructPermuted",["Symmetric",10],(),()]);

[Dauer der Verarbeitung: 0.20 Sekunden, vorverarbeitet 2026-06-27]