Demostracions assistides per ordinadors: Un problema filosòfic per a les matemàtiques?

• Menta Oliva, Elena ^[1]
  1. [1] Universitat de Barcelona

     Universitat de Barcelona

     Barcelona, España

     
• Localización: Compàs d'amalgama, ISSN-e 2696-1008, ISSN 2696-0982, Nº. 7, 2023, págs. 70-73
• Idioma: catalán
• Enlaces
  • Texto completo