KASH

The computer algebra system (CAS) KASH/KANT, TU 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.


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

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Gaál, István; Petrányi, Gábor: Calculating all elements of minimal index in the infinite parametric family of simplest quartic fields. (2014)
  2. Fieker, Claus; Gaál, István; Pohst, Michael: On computing integral points of a Mordell curve over rational function fields in characteristic $>3$ (2013)
  3. Yoshimura, Yusuke: Abelian number fields satisfying the Hilbert-Speiser condition at $p=2$ or $3$ (2009)
  4. Fieker, Claus; Pohst, Michael E.: A lower regulator bound for number fields (2008)
  5. Hanke, Timo: The isomorphism problem for cyclic algebras and an application (2007)
  6. Freundt, Sebastian; Karve, Aneesh; Krahmann, Anita; Pauli, Sebastian: KASH: recent developments (2006)
  7. Iglesias, Andrés (ed.); Takayama, Nobuki (ed.): Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings (2006)
  8. Togbé, Alain: On the solutions of a family of quartic Thue equations. II (2006)
  9. Pohst, Michael E.; Wagner, Marcus: On the computation of Hermite-Humbert constants for real quadratic number fields (2005)
  10. Itoh, Tsuyoshi: On the Iwasawa $\mu$-invariant of the cyclotomic $\bbfZ_p$-extension of certain quartic fields (2004)
  11. Togbé, Alain: A parametric family of cubic Thue equations (2004)
  12. Viterbo, Emanuele; Oggier, Frédérique: Algebraic number theory and code design for Rayleigh fading channels (2004)
  13. Boston, Nigel; Leedham-Green, Charles: Explicit computation of Galois $p$-groups unramified at $p$ (2002)
  14. Cohen, Arjeh M. (ed.); Gao, Xiao-Shan (ed.); Takayama, Nobuki (ed.): Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002 (2002)
  15. Hajir, Farshid; Maire, Christian: Tamely ramified towers and discriminant bounds for number fields. II. (2002)
  16. Hess, F.: Computing Riemann-Roch spaces in algebraic function fields and related topics. (2002)
  17. Kida, Masanari: Computing elliptic curves using KASH (2002)
  18. Li, Wen-Ching W.; Maharaj, Hiren; Stichtenoth, Henning; Elkies, Noam D.: New optimal tame towers of function fields over small finite fields (2002)


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