Informatic vs. classical differentiation on the real lineReport as inadecuate




Informatic vs. classical differentiation on the real line - Download this document for free, or read online. Document in PDF available to download.

Reference: Keye Martin and Joël Ouaknine, (2004). Informatic vs. classical differentiation on the real line. Electronic Notes in Theoretical Computer Science, 73, 133–140.Citable link to this page:

 

Informatic vs. classical differentiation on the real line

Abstract: We study the relationship between informatic and classical differentiation on the real line. Theformer arises when considering the interval domain over the reals equipped with the Lebesguemeasurement. We show that informatic differentiation is a strict generalization of its classicalcounterpart, and wonder if it can provide a springboard towards extending techniques and resultsfrom calculus to certain non classically differentiable functions.

Publication status:PublishedPeer Review status:Peer reviewedVersion:Publisher's version Funder: Office of Naval Research   Funder: Defense Advanced Research Projects Agency   Funder: Army Research Office   Notes:© 2004 Elsevier B.V. Open access under CC BY-NC-ND license.

Bibliographic Details

Publisher: Elsevier

Publisher Website: http://www.elsevier.com/

Host: Electronic Notes in Theoretical Computer Sciencesee more from them

Publication Website: http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science

Issue Date: 2004-10

Copyright Date: 2006

pages:133–140Identifiers

Doi: https://doi.org/10.1016/j.entcs.2004.08.006

Issn: 1571-0661

Urn: uuid:f82671ef-65ca-47cd-a4c4-a1d1b0da5bfb Item Description

Type: Article: post-print;

Language: en

Version: Publisher's versionKeywords: informatic derivative measurement domain theory calculus interval domainSubjects: Computer science (mathematics) Political science Political science Computing Tiny URL: ora:10711

Relationships





Author: Keye Martin - institutionUniversity of Oxford facultyMathematical, Physical and Life Sciences Division - Department of Computer S

Source: https://ora.ox.ac.uk/objects/uuid:f82671ef-65ca-47cd-a4c4-a1d1b0da5bfb



DOWNLOAD PDF




Related documents