Zobrazeno 1 - 10
of 6 101
pro vyhledávání: '"Brasca A"'
Autor:
Brasca, Riccardo, Birkbeck, Christopher, Boidi, Eric Rodriguez, Best, Alex, van De Velde, Ruben, Yang, Andrew
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather than follow
Externí odkaz:
http://arxiv.org/abs/2410.01466
Autor:
Brasca, Ignacio
Ensuring data integrity is a critical requirement in complex systems, especially in financial platforms where vast amounts of data must be consistently accurate and reliable. This paper presents a robust approach using polynomial interpolation method
Externí odkaz:
http://arxiv.org/abs/2409.07490
Autor:
Asgeirsson, Dagur, Brasca, Riccardo, Kuhn, Nikolas, di Capriglio, Filippo Alberto Edoardo Nuccio Mortarino Majno, Topaz, Adam
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can be defined
Externí odkaz:
http://arxiv.org/abs/2407.12840
Publikováno v:
Confluencia, 2014 Apr 01. 29(2), 220-220.
Externí odkaz:
https://www.jstor.org/stable/43490063
Autor:
Villarreal Brasca, Amorina1
Publikováno v:
Temas Americanistas. jun2024, Issue 52, p6-23. 18p.
Autor:
Marchand, Jean-Jacques
Publikováno v:
Bibliothèque d'Humanisme et Renaissance, 2019 Jan 01. 81(2), 375-381.
Externí odkaz:
https://www.jstor.org/stable/45216313
Autor:
Théa Picquet
Publikováno v:
Italies, Vol 23, Pp 430-431 (2019)
Externí odkaz:
https://doaj.org/article/42d77931ac5f4797bd7f65497fc40e97
Autor:
Sandra Arévalo Domingo
Publikováno v:
Microtextualidades, Iss 5 (2019)
Externí odkaz:
https://doaj.org/article/455316a30b764fe2bc01eb88e1e5c851
Autor:
Théa PICQUET
Publikováno v:
Studia Universitatis Babeş-Bolyai. Philologia, Vol 63, Iss 4 (2018)
Les deux volumes de 1050 pages, qui s’inscrivent dans la collection « Les classiques de l’Humanisme » des Belles Lettres, consistent en une nouvelle édition des Intercenales, traduite en français, textes en vis-à-vis, pour le premier volume.
Externí odkaz:
https://doaj.org/article/2e33233d62744bd791b2062d1fa8ace0
Autor:
A. Gazzola, M. Zucali, M. F. Addis, L. Bava, S. Morandi, S. Pisanu, D. Pagnozzi, A. Passera, M. Brasca, R. Piccinini
Publikováno v:
BMC Veterinary Research, Vol 20, Iss 1, Pp 1-10 (2024)
Abstract Good hygienic milking practices including the disinfection of the cow teat skin before and after milking aimed at preventing the occurrence of new intramammary infections (IMI) in dairy cows. This practice is generally performed using disinf
Externí odkaz:
https://doaj.org/article/e78bbbe05f4d438fa3f3799026f9637f