This site is supported by donations to The OEIS Foundation.

User:Lorenzo Sauras Altuzarra

From OeisWiki
Jump to: navigation, search
  • First name: Lorenzo
  • Last name: Sauras Altuzarra
  • Born: 1990 in Huesca, Spain
  • Profession: mathematician
  • Contact details: see business card
  • Main research interests:
    • Logic: decidability (03B25), proof complexity (03F20)
    • Graph theory (05C)
    • Number theory: recurrences (11B37), polynomials and matrices (11C), transcendental number theory (11J), connections with logic (11U), calculation of integer sequences (11Y55)
  • Some conjectures and open problems: