Computational Logic and Continuous Mathematics, Pure and Applied

  • Rob Arthan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5625)


Continuous problem domains are of ever-increasing importance in the application of computational logic to problems in systems engineering and to problems in mathematics and theoretical computer science. I will outline some recent work both “pure” and “applied” with issues for mechanized reasoning and computer algebra in mind.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Rob Arthan
    • 1
    • 2
  1. 1.Lemma 1 Ltd.ReadingUK
  2. 2.QMUL, School of Electronic Engineering and Computer Science, Queen MaryUniversity of LondonLondonUK

Personalised recommendations