Suchergebnisse - Linhares, Alexandre

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4 Autoría: Linhares, Alexandre

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1 Autoría: Linhares, Alexandre

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: