Login / Signup
Yves Bertot
ORCID
Publication Activity (10 Years)
Years Active: 1990-2024
Publications (10 Years): 8
Top Topics
Formal Proofs
Straight Line
Fast Fourier Transform
Empirical Bayes
Top Venues
CoRR
J. Formaliz. Reason.
CPP
ICTAC
</>
Publications
</>