Abstract
In recent years the computer algebra system KASH/KANT for number theory has evolved considerably. We present its new features and introduce the related components, QaoS (Querying Algebraic Objects System) and GiANT (Graphical Algebraic Number Theory).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Assmann, B., Eick, B., Distler, A.: GAP package Alnuth: an interface to KANT, http://www.gap-system.org/Packages/alnuth.html
Batut, C., Belabas, K., Benardi, D., Cohen, H., Olivier, M.: User’s Guide to PARI-GP (2005), http://pari.math.u-bordeaux.fr
Bilu, Y., Hanrot, G.: Solving Thue equations of high degree. J. Number Th. 60, 373–392 (1996)
Bosma, W., Canon, J.J., Playoust, K.: The Magma algebra system. I. The user language. J. Symbolic Comput. 24(3-4), 235–265 (1997), http://magma.maths.usyd.edu.au
Celler, F., Neunhöffer, M.: GAP package XGAP: a graphical user interface for GAP (2004), http://www-gap.mcs.st-and.ac.uk/Packages/xgap.html
Daberkow, M., Fieker, C., Klüners, J., Pohst, M., Roegner, K., Schörnig, M., Wildanger, K.: KANT V4. J. Symb. Comp. 11, 267–283 (1997)
Daberkow, M., Weber, A.: A Database for Number Fields. In: Limongelli, C., Calmet, J. (eds.) DISCO 1996. LNCS, vol. 1128, pp. 320–330. Springer, Heidelberg (1996)
Fieker, C.: Über relative Normgleichungen in algebraischen Zahlkörpern, Dissertation, TU Berlin (1997)
Fieker, C.: Computing class fields via the Artin map. Math. Comp. 70(235), 1293–1303 (2001)
GAP: Groups, Algorithms, Programming, http://www.gap-system.org
GMP: GNU Multiple Precision Arithmetic Library, http://www.swox.com/gmp
Geissler, K.: Berechnung von Galoisgruppen über Zahl- und Funktionenkörpern, Dissertation, TU Berlin (2003)
Hess, F.: Computing Riemann-Roch spaces in algebraic function fields and related topics. J. Symbolic Comput. 33(4), 425–445 (2002)
Hess, F., Pauli, S., Pohst, M.E.: Computing the Multiplicative Group of Residue Class Rings. Mathematics of Computation 72 (2003)
Hulpke, A.: Constructing Transitive Permutation Groups. J. Symb. Comp. 39, 1–30 (2005)
Karve, A., Pauli, S.: GiANT: Graphical Algebraic Number Theory (preprint, 2006), http://giantsystem.sourceforge.net
Maplesoft, Maple (2005), http://www.maplesoft.com
MuPad: Multi Processing Algebra Data Tool, http://www.mupad.de/
MPFR library for multiple precision floating point computation, http://www.mpfr.org/
OpenMath: an extensible standard for representing the semantics of mathematical objects, http://www.openmath.org/
Pauli, S.: Factoring polynomials over local fields. J. Symb. Comp. 32 (2001)
PostgreSQL, http://www.postgresql.org/
Schönert, M., et al.: GAP: Groups, Algorithms, Programming – version 3.27, Lehrstuhl D für Mathematik, Rheinisch Westfälische Technische Hochschule, Aachen, Germany (1993), http://www-gap.mcs.st-and.ac.uk/Gap3/gap3.html
Stein, W., et al.: SAGE: Software for Algebra and Geometry Experimentation (2006), http://sage.scipy.org/sage
Wildanger, K.: Über das Lösen von Einheiten- und Indexformgleichungen in algebraischen Zahlkörpern. J. Number Theory 82(2), 188–224 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freundt, S., Karve, A., Krahmann, A., Pauli, S. (2006). KASH: Recent Developments. In: Iglesias, A., Takayama, N. (eds) Mathematical Software - ICMS 2006. ICMS 2006. Lecture Notes in Computer Science, vol 4151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11832225_15
Download citation
DOI: https://doi.org/10.1007/11832225_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38084-9
Online ISBN: 978-3-540-38086-3
eBook Packages: Computer ScienceComputer Science (R0)