This site is supported by donations to The OEIS Foundation.

# User:Lorenzo Sauras Altuzarra

From OeisWiki

- 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: