Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.

2007 ◽  
Vol 13 (1) ◽  
pp. 104-106
Author(s):  
James H. Andrews
Keyword(s):  
Computer Science ◽  
Symbolic Logic ◽  
Logical Foundations ◽  
Lecture Notes

scholarly journals Coleman integration for even-degree models of hyperelliptic curves

2015 ◽  
Vol 18 (1) ◽  
pp. 258-265 ◽  
Author(s):  
Jennifer S. Balakrishnan
Keyword(s):  
Number Theory ◽  
Computer Science ◽  
Hyperelliptic Curves ◽  
Open Book ◽  
Line Integral ◽  
Book Series ◽  
Numerical Examples ◽  
Lecture Notes ◽  
Integration Algorithms ◽  
Mathematical Sciences

The Coleman integral is a $p$-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

Sign in / Sign up

Export Citation Format

Share Document