Biographical notes on Ada Lovelace