KANT is a
computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The d ...
for mathematicians interested in
algebraic number theory, performing sophisticated computations in
algebraic number fields, in
global function field In mathematics, a global field is one of two type of fields (the other one is local field) which are characterized using valuations. There are two kinds of global fields:
*Algebraic number field: A finite extension of \mathbb
*Global function fi ...
s, and in
local field
In mathematics, a field ''K'' is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. Equivalently, a local field is a locally compact ...
s. KASH is the associated command line interface. They have been developed by the Algebra and Number Theory research group of the Institute of Mathematics at
Technische Universität Berlin
The Technical University of Berlin (official name both in English and german: link=no, Technische Universität Berlin, also known as TU Berlin and Berlin Institute of Technology) is a public research university located in Berlin, Germany. It was ...
under the project leadership of Prof. Dr
Michael Pohst. Kant is free for non-commercial use.
[http://page.math.tu-berlin.de/~kant/copyright.html]
See also
*
List of computer algebra systems
References
*
*
External links
*
Introduction to KASH3 The KANT Group
Computer algebra system software for Linux
Computer algebra systems
Proprietary freeware for Linux
{{science-software-stub