Sign in

A modular, efficient formalisation of real algebraic numbers.

Wenda LiLawrence C. Paulson
Published in: CPP (2016)
Keyphrases
  • real world
  • genetic algorithm
  • image processing
  • computational complexity
  • real time
  • databases
  • higher order
  • lightweight
  • cost effective