Zobrazeno 1 - 10
of 1 614
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
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
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development of modern a
Externí odkaz:
http://arxiv.org/abs/2305.08955
Autor:
Paola Cremonesi, Filippo Biscarini, Giuseppe Conte, Fiorenzo Piccioli-Cappelli, Stefano Morandi, Tiziana Silvetti, Simona Tringali, Erminio Trevisi, Bianca Castiglioni, Milena Brasca
Publikováno v:
Animal Microbiome, Vol 6, Iss 1, Pp 1-17 (2024)
Abstract Background In the context of the RABOLA project, which aimed to identify operational practices that lead to the reduction of antibiotic use in dairy cattle farming, lyophilised Aloe arborescens was administered orally to cows during the dry-
Externí odkaz:
https://doaj.org/article/d84fe9f5e0944233bb899418627e3a6f
Publikováno v:
Open Heart, Vol 11, Iss 2 (2024)
Externí odkaz:
https://doaj.org/article/70a6ee489299463fb0d839a1a0d056f1
Autor:
Érica Brasca
Publikováno v:
Mutatis Mutandis, Vol 17, Iss 2 (2024)
El presente artículo se propone situar la trayectoria traductora de Lila Guerrero a partir de sus publicaciones de la literatura ruso-soviética en editoriales argentinas, entre 1940 y 1970. En primer lugar, se caracteriza el repertorio de traduccio
Externí odkaz:
https://doaj.org/article/69568e7c378a44fdaa1b19c0c3f8e6b6
Autor:
Meryem Idrissi Yahyaoui, Sara Moumnassi, Nour Eddine Bentouhami, Nadia Houmy, Abderrahim Ed-Daoui, Reda Bellaouchi, Mohamed Taibi, Mounir Haddou, Amine El Bouzidi, Milena Brasca, Tiziana Silvetti, Houssam Abouloifa, Sondes Mechri, Abousalham Abdelkarim, Saalaoui Ennouamane, Musaab Dauelbait, Ahmad Mohammad Salamatullah, Bassem Jaouadi, Asehraou Abdeslam
Publikováno v:
CyTA - Journal of Food, Vol 22, Iss 1 (2024)
Table olives, a vital category among fermented vegetables, come in treated and natural forms. Treated green olives require an alkaline treatment before brining to start fermentation. This study investigates the fermentation of unsalted Moroccan Picho
Externí odkaz:
https://doaj.org/article/a2a635a0926346aa855fcc5cfed756c9
Autor:
Boccia, Antonella Caterina, Pulvirenti, Alfio, Cerruti, Pierfrancesco, Silvetti, Tiziana, Brasca, Milena
Publikováno v:
In Carbohydrate Polymers 15 October 2024 342