O. Belegradek and B. Zilber, The model theory of the field of reals with a subgroup of the unit circle, J. London Math. Soc. (2) 78(3) (2008) 563-579.
R. Bianconi, Non-definability results for expansions of the field of real numbers by the exponential function and by the restricted sine function, J. Symbolic Logic 62(4) (1997) 1173-1178.
J.-H. Evertse, H. P. Schlickewei and W. M. Schmidt, Linear equations in variables which lie in a multiplicative group, Ann. of Math. (2) 155(3) (2002) 807-836.
A. Gabrielov and N. Vorobjov, Complexity of computations with Pfaffian and Noetherian functions, in Normal Forms, Bifurcations and Finiteness Problems in Differential Equations, NATO Science Series II Mathematics, Physics and Chemistry, Vol. 137 (Kluwer, 2004), pp. 211-250.
K. Hayashi, Fibonacci numbers and the arctangent function, Math. Mag. 76(3) (2003) 214-215.
K. H. Hofmann and S. S. Morris, The Structure of Compact Groups, Studies in Mathematics, Vol. 25 (de Gruyter, 1998).
R. A. Horn and C. R. Johnson, Matrix Analysis (Cambridge University Press, 1985).
E. Hrushovski, K. Peterzil and A. Pillay, Groups, measures and the NIP, J. Amer. Math. Soc. 21(2) (2008) 563-596.
D. Kalman and R. Mena, The Fibonacci: Exposed, Math. Mag. 76(3) (2003) 167-181.
M. Laurent, Equations diophantiennes exponentielles, Invent. Math. 78 (1984) 299-324.
S. L'Innocente, A. Macintyre and F. Point, Exponentiations over the universal enveloping algebra of sl(2,C), Ann. Pure Appl. Logic 161(12) (2010) 1565-1580.
A. Macintyre, Elementary theory of elliptic functions 1: The formalism and a special case, in O-minimal Structures, Proc. RAAG Summer School Lisbon 2003, eds. M. Edmundo, D. Richardson and A. Wilkie. Lecture Notes in Real Algebraic and Analytic Geometry (Cuvillier Verlag, 2005) pp. 104-131.
A. Macintyre, Model theory of exponentials on Lie algebras, Math. Structures Comput. Sci. 18 (2008) 189-204. (Pubitemid 351344961)
A. Macintyre and A. Wilkie, On the decidability of the real exponential field, in Kreiseliana (A. K. Peters 1996), pp. 441-467.
H. A. Medina, A sequence of polynomials approximating arctangent, Amer. Math. Monthly 113 (2006) 156-161.
A. Pillay, On groups and fields definable in o-minimal structures, J. Pure Appl. Algebra 53 (1988) 239-255.
J. F. Price, Lie Groups and Compact Groups, 3rd edn., London Mathematical Society Lecture Note Series, Vol. 25 (Cambridge University Press, 2008).
W. Rossmann, Lie Groups: An Introduction Through Linear Groups (Oxford University Press, 2002).
T. Servi, On the first order theory of real exponentiation, Ph.D. thesis, SNS Pisa (2006).
L. van den Dries, Generalization of the Tarski-Seidenberg theorem and some nondefinability results, Bull. Amer. Math. Soc. 15(2) (1986) 189-193.
A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 9(4) (1996) 1051-1094.