PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOT
Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Frédéric Boulanger : Connect in order to contact the contributor
https://centralesupelec.hal.science/hal-02322645
Submitted on : Thursday, May 27, 2021-5:54:40 PM
Last modification on : Friday, March 15, 2024-3:19:36 AM
Long-term archiving on: Saturday, August 28, 2021-8:14:05 PM