Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellverzeichnis products/sources/formale Sprachen/GAP/pkg/


 
4ti2interface
 
 
ace
 
 
aclib
 
 
agt
 
 
alco
 
 
alnuth
 
 
anupq
 
 
atlasrep
 
 
autodoc
 
 
automata
 
 
automgrp
 
 
autpgrp
 
 
browse
 
 
cap
 
 
caratinterface
 
 
cddinterface
 
 
circle
 
 
classicpres
 
 
cohomolo
 
 
congruence
 
 
corefreesub
 
 
corelg
 
 
crime
 
 
crisp
 
 
crypting
 
 
cryst
 
 
crystcat
 
 
ctbllib
 
 
cubefree
 
 
curlinterface
 
 
cvec
 
 
datastructures
 
 
deepthought
 
 
design
 
 
difsets
 
 
digraphs
 
 
edim
 
 
example
 
 
examplesforhomalg
 
 
factint
 
 
ferret
 
 
fga
 
 
fining
 
 
float
 
 
format
 
 
forms
 
 
fplsa
 
 
fr
 
 
francy
 
 
fwtree
 
 
gapdoc Algebra von RWTH Aachen
 
 
gauss
 
 
gaussforhomalg
 
 
gbnp
 
 
generalizedmorphismsforcap
 
 
genss
 
 
gradedmodules
 
 
gradedringforhomalg
 
 
grape
 
 
groupoids
 
 
grpconst
 
 
guarana
 
 
guava
 
 
hap
 
 
hapcryst
 
 
hecke
 
 
help
 
 
homalg
 
 
homalgtocas
 
 
ibnp
 
 
idrel
 
 
images
 
 
inducereduce
 
 
intpic
 
 
io
 
 
io_forhomalg
 
 
irredsol
 
 
itc
 
 
json
 
 
jupyterkernel
 
 
jupyterviz
 
 
kan
 
 
kbmag
 
 
laguna
 
 
liealgdb
 
 
liepring
 
 
liering
 
 
linearalgebraforcap
 
 
lins
 
 
localizeringforhomalg
 
 
loops
 
 
lpres
 
 
majoranaalgebras
 
 
mapclass
 
 
matgrp
 
 
matricesforhomalg
 
 
modisom
 
 
modulepresentationsforcap
 
 
modules
 
 
monoidalcategories
 
 
nconvex
 
 
nilmat
 
 
nock
 
 
normalizinterface
 
 
nq
 
 
numericalsgps
 
 
openmath
 
 
orb
 
 
packagemanager Universität von Manchester
 
 
patternclass
 
 
permut
 
 
polenta
 
 
polycyclic
 
 
polymaking
 
 
primgrp
 
 
profiling
 
 
qdistrnd
 
 
qpa
 
 
quagroup
 
 
radiroot
 
 
rcwa
 
 
rds
 
 
recog
 
 
repndecomp
 
 
repsn
 
 
resclasses
 
 
ringsforhomalg
 
 
sco
 
 
scscp
 
 
semigroups
 
 
sglppow
 
 
sgpviz
 
 
simpcomp
 
 
singular
 
 
sl2reps
 
 
sla
 
 
smallantimagmas
 
 
smallclassnr
 
 
smallgrp
 
 
smallsemi
 
 
sonata
 
 
sophus
 
 
sotgrps
 
 
spinsym
 
 
standardff
 
 
symbcompcc
 
 
thelma
 
 
tomlib
 
 
toolsforhomalg
 
 
toric
 
 
transgrp
 
 
twistedconjugacy
 
 
typeset
 
 
ugaly
 
 
unipot
 
 
unitlib
 
 
utils
 
 
uuid
 
 
walrus
 
 
wedderga
 
 
wpe
 
 
xgap Algebra von RWTH Aachen
 
 
xmod
 
 
xmodalg
 
 
yangbaxter
 
 
zeromqinterface
 


Normalansicht

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.

Angebot

Die farbliche Syntaxdarstellung ist noch experimentell.


  

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge