PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov; Safouan Taha; Frédéric Boulanger; Armando Hernandez

doi:10.31144/si.2307-6410.2019.n14.p45-54

Journal articles

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

Vassil Todorov ^{1, 2, 3} Safouan Taha ^{1, 4, 2} Frédéric Boulanger ^{1, 4, 2} Armando Hernandez ³

1 LRI - Laboratoire de Recherche en Informatique

2 Université Paris-Saclay

3 Groupe PSA - Centre Technique de Vélizy [Vélizy-Villacoublay]

4 CentraleSupélec

Document type :

Journal articles

Domain :

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal-centralesupelec.archives-ouvertes.fr/hal-02322645
Contributor : Frédéric Boulanger Connect in order to contact the contributor
Submitted on : Thursday, May 27, 2021 - 5:54:40 PM
Last modification on : Saturday, June 25, 2022 - 10:51:49 PM
Long-term archiving on: : Saturday, August 28, 2021 - 8:14:05 PM

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

File

Identifiers

Collections

Citation

Export

Metrics

185

58

PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT

File

Identifiers

Collections

Citation

Export

Share

Metrics

185

58