KANT/KASH

KASH/KANT is a computer algebra system (CAS) for sophisticated computations in algebraic number fields and global function fields. It has been developed under the project leadership of Prof. Dr. M. Pohst at Technische Universität Berlin. KANT is a program library for computations in algebraic number fields, algebraic function fields and local fields. In the number field case, algebraic integers are considered to be elements of a specified order of an appropriate field F. The available algorithms provide the user with the means to compute many invariants of F. It is possible to solve tasks like calculating the solutions of Diophantine equations related to F. Furthermore subfields of F can be generated and F can be embedded into an overfield. The potential of moving elements between different fields (orders) is a significant feature of our system. In the function field case, for example, genus computations and the construction of Riemann-Roch spaces are available.

This software is also referenced in ORMS.


References in zbMATH (referenced in 149 articles , 1 standard article )

Showing results 101 to 120 of 149.
Sorted by year (citations)
  1. Acciaro, Vincenzo; Fieker, Claus: Finding normal integral bases of cyclic number fields of prime degree (2000)
  2. Acciaro, Vincenzo; Klüners, Jürgen: Computing local Artin maps, and solvability of norm equations (2000)
  3. Auer, Roland: Curves over finite fields with many rational points obtained by ray class field extensions (2000)
  4. Burns, David: On the equivariant structure of ideals in abelian extensions of local fields (with an appendix by W. Bley) (2000)
  5. Chang, Ku-Young; Kwon, Soun-Hi: Class numbers of imaginary abelian number fields (2000)
  6. Chang, Ku-Young; Kwon, Soun-Hi: The imaginary abelian number fields with class numbers equal to their genus class numbers (2000)
  7. Gaál, István; Pohst, Michael: Computing power integral bases in quartic relative extensions (2000)
  8. Geissler, Katharina; Klüners, Jürgen: Galois group computation for rational polynomials (2000)
  9. Halbritter, Ulrich; Pohst, Michael E.: On lattice bases with special properties (2000)
  10. Klüners, Jürgen: A polynomial with Galois group (\textSL_2(11)) (2000)
  11. Klüners, Jürgen; Malle, Gunter: Explicit Galois realization of transitive groups of degree up to 15 (2000)
  12. Nyberg, Eric; Mitamura, Teruko: The KANTOO machine translation environment (2000)
  13. Wakabayashi, Isao: On a family of quartic Thue inequalities. II. (2000)
  14. Wildanger, K.: On the solution of units and index form equations in algebraic number fields (2000)
  15. Acciaro, Vincenzo; Klüners, Jürgen: Computing automorphisms of abelian number fields (1999)
  16. Galbraith, Steven D.; Smart, Nigel P.: A cryptographic application of Weil descent (1999)
  17. Heß, Florian: On the computation of divisor class groups in global function fields (1999)
  18. Heuberger, Clemens; Le, Maohua: On the generalized Ramanujan-Nagell equation (x^2+D=p^z) (1999)
  19. Hulpke, Alexander: Techniques for the computation of Galois groups (1999)
  20. Lemmermeyer, F.; Louboutin, S.; Okazaki, R.: The class number one problem for some non-abelian normal CM-fields of degree 24 (1999)

Further publications can be found at: http://page.math.tu-berlin.de/~kant/publications.html