KANT

Encyclopedia

**KANT**is a computer algebra system

Computer algebra system

A computer algebra system is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form.-Symbolic manipulations:...

for mathematicians interested in algebraic number theory

Algebraic number theory

Algebraic number theory is a major branch of number theory which studies algebraic structures related to algebraic integers. This is generally accomplished by considering a ring of algebraic integers O in an algebraic number field K/Q, and studying their algebraic properties such as factorization,...

, performing sophisticated computations in algebraic number field

Algebraic number field

In mathematics, an algebraic number field F is a finite field extension of the field of rational numbers Q...

s, in global

Global field

In mathematics, the term global field refers to either of the following:*an algebraic number field, i.e., a finite extension of Q, or*a global function field, i.e., the function field of an algebraic curve over a finite field, equivalently, a finite extension of Fq, the field of rational functions...

function field

Function field

Function field may refer to:*Function field of an algebraic variety*Function field...

s, and in local field

Local field

In mathematics, a local field is a special type of field that is a locally compact topological field with respect to a non-discrete topology.Given such a field, an absolute value can be defined on it. There are two basic types of local field: those in which the absolute value is archimedean and...

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 under the project leadership of Prof. Dr Michael Pohst.

## External links

- Introduction to KASH3, The KANT Group