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 <>
Submitted on : Thursday, May 27, 2021 - 5:54:40 PM
Last modification on : Thursday, July 8, 2021 - 3:49:41 AM

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

File

Identifiers

Collections

Citation

Export

Metrics

200

15

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

File

Identifiers

Collections

Citation

Export

Share

Metrics

200

15