Risultati della ricerca - Merle, Eric

  • Mostra 1 - 1 risultati su 1
Raffina i risultati
  1. 1
    Copertina

    On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions di Merle, Eric

    Pubblicazione 2026
    Testo
    Recurso digital

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: