Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Boulanger, Frédéric
PhD
https://www.mathnet.ru/eng/person154209
List of publications on Google Scholar
https://orcid.org/0000-0003-3185-2807
Publications in
Math-Net.Ru
Citations
2019
1.
V. Todorov, S. Taha, F. Boulanger, A. Hernandez, “Proving properties of discrete-valued functions using deductive proof: application to the square root”,
Model. Anal. Inform. Sist.
,
26
:4 (2019),
520–533
Organisations
CentraleSupélec
