Resultados de búsqueda - Fan, Max

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1
    Imagen de Portada

    Proof Repair across Quotient Type Equivalences por Viola, Cosmo, Fan, Max, Ringer, Talia

    Publicado 2023
    Enlace del recurso
    Preprint

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

    Mechanizing Olver's Error Arithmetic por Fan, Max, Kellison, Ariel E., Pollard, Samuel D.

    Publicado 2025
    Enlace del recurso
    Preprint

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: