×

zbMATH — the first resource for mathematics

KANT V4. (English) Zbl 0886.11070
See the joint review in Zbl 0886.11072.

MSC:
11Y40 Algebraic number theory computations
11Y16 Number-theoretic algorithms; complexity
68W30 Symbolic computation and algebraic computation
Software:
KANT/KASH
PDF BibTeX XML Cite
Full Text: DOI