
KASH
 Referenced in 18 articles
[sw03375]
 computer algebra system (CAS) KASH/KANT, TU Berlin: KANT is a program library for computations...

KANTOO
 Referenced in 2 articles
[sw04908]
 design and reimplementation of the KANT machine translation system...

QaoS
 Referenced in 1 article
[sw26669]
 KANT / KASH QaoS  Algebraic Databases: QaoS  Querying Algebraic Objects System. QaoS is the successor ... Kate, the Kant Database of Number Fields. It has been entirely redesigned to fulfil modern...

ALNUTH
 Referenced in 1 article
[sw14846]
 NUmber THeory and an interface to the KANT system. A refereed GAP 4 package...

GiANT
 Referenced in 9 articles
[sw00348]
 GiANT: graphical algebraic number theory. While most algebra...

KANT/KASH
 Referenced in 137 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

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

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

Geist
 Referenced in 3 articles
[sw01286]
 The work on Geist was motivated by the...

SciNapse
 Referenced in 11 articles
[sw01534]
 SciNapse: A problem solving environment for partial differential...