Back to Results
First PageMeta Content
Differential calculus / Numerical analysis / Functions and mappings / Automatic differentiation / Computer algebra / Affine arithmetic / Interval arithmetic / Derivative / Integral / Mathematics / Mathematical analysis / Calculus


Certifying Solutions for Numerical Constraints Eva Darulova and Viktor Kuncak ? EPFL
Add to Reading List

Document Date: 2012-09-23 13:41:59

Open Document

File Size: 337,96 KB

Share Result on Facebook

/

Facility

facility of Scala / Our library / /

IndustryTerm

symbolic solutions / computer algebra systems / numerical software libraries / unknown exact solution / computing / numerical algorithm / actual solution / iterative algorithms / symbolic closed-form solution / numerical software uses / tentative solution / /

Organization

National Science Foundation / /

Person

Eva Darulova / Viktor Kuncak / /

Position

engineer / programmer / /

ProgrammingLanguage

D / Scala / /

Technology

numerical algorithm / virtual machine / /

URL

http /

SocialTag