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 de ...
for mathematicians interested in
algebraic number theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic ob ...
, performing sophisticated computations in
algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a f ...
s, in
global function fields, and in
local fields. 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 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
The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to ...
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