Un experimento de demostración formal de un teorema de nivel intermedio en álgebra

• Antoine Chambert-Loir ^[1]
  1. [1] Université Paris Cité
• Localización: Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 26, Nº 3, 2023, págs. 535-553
• Idioma: español
• Texto completo no disponible (Saber más ...)