• Computer Science
  • Published 1966

Some unsolvable problems involving functions of a real variable

@inproceedings{Richardson1966SomeUP,
  title={Some unsolvable problems involving functions of a real variable},
  author={D. J. Richardson},
  year={1966}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 45 CITATIONS

Fermat’s last theorem and chaoticity

  • Natural Computing
  • 2011
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Strong Determinism vs. Computability

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Those Who Most Ignore, Least Escape

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Models of computation for partial functions on the reals

  • J. Log. Algebr. Meth. Program.
  • 2015
VIEW 2 EXCERPTS
CITES BACKGROUND

Using incomplete satisfiability modulo theories to determine robotic tasks

  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2013
VIEW 2 EXCERPTS
CITES BACKGROUND

Macsyma: A personal history

  • J. Symb. Comput.
  • 2012
VIEW 1 EXCERPT

Modelling and Controlling of Behaviour for Autonomous Mobile Robots

  • Springer Fachmedien Wiesbaden
  • 2012
VIEW 1 EXCERPT
CITES BACKGROUND