Skip to Main content Skip to Navigation
Journal articles

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

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

File

Todorov_auth.pdf
Files produced by the author(s)

Identifiers

Citation

Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez. PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT. System Informatics, Irina B. Adrianova, 2019, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩. ⟨hal-02322645⟩

Share

Metrics

Record views

185

Files downloads

58