References
- Dixon JD. Exact solution of linear equations using p-adic expansions. Numer Math. 1982;40(1):137–141. MR681819. DOI:10.1007/BF01459082
- Panayi P. Computation of Leopoldt's p-adic regulator type [PhD thesis]. University of East Anglia; 1995.
- Caruso X, Roe D, Vaccon T. p-adic stability in linear algebra. In: ISSAC'15 – Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation. New York: ACM; 2015. p. 101–108. MR3388288.
- Caruso X, Roe D, Vaccon T. Characteristic polynomials of p-adic matrices. In: ISSAC'17 – Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation. New York: ACM; 2017. p. 389–396. MR3703711.
- Kedlaya KS. p-adic differential equations. Cambridge: Cambridge University Press; 2010.p. xviii+380. (Cambridge studies in advanced mathematics; 125). MR2663480.
- Kedlaya KS. Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology. J Ramanujan Math Soc. 2001;16(4):323–338. MR1877805.
- Berthomieu J, Lebreton R. Relaxed p-adic Hensel lifting for algebraic systems. In: ISSAC 2012 – Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation. New York: ACM; 2012. p. 59–66. MR3206287. DOI:10.1145/2442829.2442842
- Kulkarni A. Solving p-adic polynomial systems via iterative eigenvector algorithms. Linear Multilinear Algebra. 2020;1–22. DOI:10.1080/03081087.2020.1743633
- Schikhof WH. Ultrametric calculus. Cambridge: Cambridge University Press; 2006, p. xii+306. (Cambridge studies in advanced mathematics; 4). An introduction to p-adic analysis; Reprint of the 1984 original [MR0791759]. MR2444734.
- Fulman J. Random matrix theory over finite fields. Bull Amer Math Soc (NS). 2002;39(1):51–85. MR1864086. DOI:10.1090/S0273-0979-01-00920-X
- Caruso X. Computations with p-adic numbers. Vol. 5. CIRM; 2017.
- Zariski O, Samuel P. Commutative algebra. Vol. II. Reprint of the 1960 edition. New York-Heidelberg: Springer-Verlag; 1975. p. x+414. (Graduate texts in mathematics; vol. 29). MR0389876.
- Wilkinson JH. Convergence of the LR, QR, and related algorithms. Comput J. 1965;8:77–84. MR183108. DOI:10.1093/comjnl/8.3.273
- Caruso X, Roe D, Vaccon T. Division and slope factorization of p-adic polynomials. In: ISSAC'16 – Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. New York: ACM; 2016. p. 159–166.
- Guàrdia J, Nart E, Montes J. The Montes project. Available from: http://montesproject.blogspot.com/.
- Guàrdia J, Nart E, Pauli S. Single-factor lifting and factorization of polynomials over local fields. J Symbolic Comput. 2012;47(11):1318–1346. MR2927133. DOI:10.1016/j.jsc.2012.03.001
- Golub GH, Van Loan CF. Matrix computations. 4th ed. Baltimore (MD): Johns Hopkins University Press; 2013. (Johns Hopkins studies in the mathematical sciences). MR3024913.