
SimpLie
 Referenced in 5 articles
[sw34815]
 algebra properties based on Dynkin diagrams; Calculation of highest weight representations; Level decompositions; Visualization ... means of [Screenshots Coxeter projections and Hasse diagrams...

Lie Hasse
 Referenced in 1 article
[sw40781]
 hasse – Draw Hasse diagrams. This package draws Hasse diagrams of the partially ordered sets...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Macaulay2
 Referenced in 1841 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3137 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

PARI/GP
 Referenced in 627 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

polymake
 Referenced in 312 articles
[sw00724]
 polymake is open source software for research in...

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

SageMath
 Referenced in 1859 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1472 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 LispStat is an extensible statistical computing environment...

Tiburon
 Referenced in 15 articles
[sw01312]
 Tiburon is a tree transducer package written by...

z3
 Referenced in 562 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

FXT
 Referenced in 10 articles
[sw05348]
 FXT is a C++ library containing code for...

hfloat
 Referenced in 21 articles
[sw05402]
 hfloat (for huge floats) is a library package...

JBool
 Referenced in 110 articles
[sw06185]
 This software promotes some general and useful tools...

OEIS
 Referenced in 4006 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

StratiGraph
 Referenced in 21 articles
[sw08331]
 StratiGraph tool: matrix stratifications in control applications. The...