Logic Programming and Automated Reasoning 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings

This volume is the second of approximately four volumes that the authors plan to write on Ramanujana (TM)s lost notebook, which is broadly interpreted to include all material published in The Lost Notebook and Other Unpublished Papers in 1988. The primary topics addressed in the authorsa (TM) second volume on the lost notebook are q-series, Eisenstein series, and theta functions. Most of the entries on q-series are located in the heart of the original lost notebook, while the entries on Eisenstein series are either scattered in the lost notebook or are found in letters that Ramanujan wrote to G.H. Hardy from nursing homes.Voronkov, A. is the author of 'Logic Programming and Automated Reasoning 4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings', published 1993 under ISBN 9780387569444 and ISBN 0387569448.