Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

International Workshop on Numerical Software Verification

https://id.confref.org/data/confref-portal/event/nsv2017

This record is part of the confref event International Workshop on Numerical Software Verification.

rdf:typeportal:Conference
schema:locationHeidelberg (wd:Q2966)
rdfs:labelInternational Workshop on Numerical Software Verification
portal:acronymNSV
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityHeidelberg
portal:countryGermany
portal:endDate2017-07-23
portal:keywordDomain decomposition
portal:keywordFloating-point
portal:keywordFunction enclosure
portal:keywordIEEE 1788-2015
portal:keywordIncidence matrix
portal:keywordInterval arithmetic
portal:keywordNumerical verification
portal:keywordRandom rounding
portal:keywordRange bounding
portal:keywordReachability analysis
portal:keywordReliable computation
portal:keywordStandardization
portal:keywordTaylor model
portal:keywordVerified ODE integration
portal:keywordVerified computation
portal:keywordVerified global optimization
portal:nameInternational Workshop on Numerical Software Verification
portal:portalPagehttp://portal.confref.org/list/nsv2017
portal:serieshttps://id.confref.org/data/confref-portal/series/nsv
portal:startDate2017-07-22
portal:submissionExtendedfalse
portal:year2017
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.