S. Ramanujan has recorded many theta-function identities in his notebooks and ‘Lost’ notebook. Inspired by the works of Ramanujan, recently M. Somos discovered several new theta-function identities using PARI/GP scripts without offering the proof, which are analogous to Ramanujan’s theta-function identities. In this paper, we give proofs for some theta-function identities of level 8 discovered by Somos. Furthermore, we extract some partition identities from them.
All Science Journal Classification (ASJC) codes