Login / Signup

Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations.

Michael Beeson
Published in: Int. J. Found. Comput. Sci. (1995)
Keyphrases
  • data analysis
  • statistical analysis
  • cooperative
  • automatic analysis
  • real time
  • real world
  • artificial intelligence
  • wide range
  • database
  • data sets
  • genetic algorithm
  • image analysis