Sign in

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.

James H. DavenportRussell J. BradfordMatthew EnglandDavid J. Wilson
Published in: SYNASC (2012)
Keyphrases
  • complex systems
  • complex data
  • database systems
  • preprocessing
  • elementary functions
  • data sets
  • real world
  • digital libraries
  • information technology
  • pairwise
  • upper bound
  • basis functions