Login / Signup
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
Roberto Bagnara
Andrea Pescetti
Alessandro Zaccagnini
Enea Zaffanella
Published in:
CoRR (2005)
Keyphrases
</>
fully automatic
complexity analysis
computer algebra
worst case
fully automated
semi automatic
lower bound
mri data
theoretical analysis
left ventricle
theorem prover
low contrast
computational complexity
first order logic
upper bound
left ventricular
np hard
average case
computer algebra systems