Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LIPN
INRIA Futurs
LIPN, INRIA Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme
LIPN, Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme
Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of SCHUR Conjugate Function
The Three Gap Theorem (Steinhauss Conjecture)
No associations
LandOfFree
Micaela Mayero does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Micaela Mayero, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Micaela Mayero will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-118595