Skip to main content
SpringerLink
Log in

A Continuous Derivative for Real-Valued Functions

  • Chapter
New Computational Paradigms

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abolfathbeigi and M. Mahmoudi. Consistency for approximating twice different functions, 2003. Manuscript in Persian, Department of Mathematical Sciences, Sharif University of Techonology, Tehran, Iran.

    Google Scholar 

  2. S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3. Clarendon Press, 1994.

    Google Scholar 

  3. F. H. Clarke. Private communications. Summer 2005.

    Google Scholar 

  4. F. H. Clarke. Optimization and Nonsmooth Analysis. Wiley, 1983.

    Google Scholar 

  5. F. H. Clarke, Yu. S. Ledyaev, R. J. Stern, and P. R. Wolenski. Nonsmooth Analysis and Control Theory. Springer, 1998.

    Google Scholar 

  6. A. Edalat. Dynamical systems, measures and fractals via domain theory. Information and Computation, 120(1):32-48, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  7. A. Edalat, M. Krznari ć , and A. Lieutier.Domain-theoretic solution of differential equations(scalar fields).In Proceedings of MFPS XIX, volume83 of Electronic Notes in Theoretical Computer Science,2003.Full paper in www.doc.ic.ac.uk/~ae/papers/scalar.ps.

  8. A. Edalat and A. Lieutier. Foundation of a computable solid modelling. Theoretical Computer Science, 284(2):319-345, 2002.

    Article  MATH  MathSciNet  Google Scholar 

  9. A. Edalat and A. Lieutier. Domain theory and differential calculus (Functions of one variable). Mathematical Structures in Computer Science, 14(6):771-802, 2004.

    Article  MATH  MathSciNet  Google Scholar 

  10. A. Edalat, A. Lieutier, and D. Pattinson. A computational model for multivariable differential calculus. In V. Sassone, editor, Proc. FoSSaCS 2005, volume 3441, pages 505-519, 2005.

    MathSciNet  Google Scholar 

  11. A. Edalat and D. Pattinson. A domain-theoretic account of {P}icard’s theorem. LMS Journal of Computation and Mathematics, 10:83-118, 2007.

    MATH  MathSciNet  Google Scholar 

  12. A. Edalat and D. Pattinson. Inverse and implicit functions in domain theory. In P. Panangaden, editor, Proc. 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pages 417-426, 2005.

    Google Scholar 

  13. A. Edalat and D. Pattinson. Denotational semantics of hybrid automata. In L. Aceto and A. Ingofsdottir, editors, Proc. FoSSaCS 2006, volume 3921, pages 231-245, 2006.

    MathSciNet  Google Scholar 

  14. N. Fars. Aspects analytiques dans la mathematique de shraf al-din al-tusi. Historia Sc., 5(1),1995.

    Google Scholar 

  15. N. Fars. Le calcul du maximum et la ‘derive’ selon shraf al-din al-tusi. Arabic Sci. Philos., 5(2):219-237, 1995.

    MathSciNet  Google Scholar 

  16. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. Continuous Lattices and Domains. Cambridge University Press, 2003.

    Google Scholar 

  17. A. Grzegorczyk. Computable functionals. Fund. Math., 42:168-202, 1955.

    MATH  MathSciNet  Google Scholar 

  18. A. Grzegorczyk. On the definition of computable real continuous functions. Fund. Math., 44:61-71, 1957.

    MATH  MathSciNet  Google Scholar 

  19. J. P. Hogendijk. Shraf al-din al-Tusi on the number of positive roots of cubic equations. Fund. Math., 16(1):69-85, 1989.

    MATH  MathSciNet  Google Scholar 

  20. K. Lau and C. Weil. Differentiability via directional derivatives. Proceedings of American Mathematical Society, 70(1):11-17, 1978.

    Article  MATH  MathSciNet  Google Scholar 

  21. M. B. Pour-El and J. I. Richards. Computability in Analysis and Physics. Springer-Verlag, 1988.

    Google Scholar 

  22. D. S. Scott. Outline of a mathematical theory of computation. In 4th Annual Princeton Conference on Information Sciences and Systems, pages 169-176, 1970.

    Google Scholar 

  23. M. B. Smyth. Topology. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, chapter 5. Oxford University Press, 1992.

    Google Scholar 

  24. A. Turing. On computable numbers with an application to the Entscheidungsproblem. Proc. London Mathematical Soc., 42:230-265, 1936.

    Article  MATH  Google Scholar 

  25. A. Turing. On computable numbers with an application to the Entscheidungsproblem. Proc. London Mathematical Soc., 43:544-546, 1937.

    Article  MATH  Google Scholar 

  26. K. Weihrauch. Computable Analysis (An Introduction). Springer, 2000.

    Google Scholar 

  27. S. Yamamuro. Differential calculus in Topological Linear Spaces, volume 374 of Lecture Notes in Mathematics. Springer-Verlag, 1970.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College London, SW7 2AZ, London, UK

    Abbas Edalat

Authors
  1. Abbas Edalat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

  2. University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, Netherlands

    Benedikt Löwe

  3. Università di Siena, Pian dei Mantellini 44, 53100, Siena, Italy

    Andrea Sorbi

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Edalat, A. (2008). A Continuous Derivative for Real-Valued Functions. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) New Computational Paradigms. Springer, New York, NY. https://doi.org/10.1007/978-0-387-68546-5_19

Download citation

  • DOI: https://doi.org/10.1007/978-0-387-68546-5_19

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-36033-1

  • Online ISBN: 978-0-387-68546-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation