ABSTRACT: This paper proposes a logical framework for differentiating elementary functions using the double reductio ad absurdum, revisiting the methods established by Eudoxus and Archimedes. In the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results