Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Todorov, Vasil
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:25
Abstract pages:62
Full texts:120
References:17

https://www.mathnet.ru/eng/person154206
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-2739-499X

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  mathnet

Organisations
  • Groupe PSA, Route de Gisy, 78140 Vélizy-Villacoublay, Франция
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024