"Introductio in analysin infinitorum"@cs .