Login / Signup
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.
James H. Davenport
Russell J. Bradford
Matthew England
David 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