Skip to main navigation
Skip to search
Skip to main content
Aston Research Explorer Home
Help & FAQ
Home
Research units
Profiles
Research Outputs
Datasets
Student theses
Activities
Press/Media
Prizes
Equipment
Search by expertise, name or affiliation
Polynomial function intervals for floating-point software verification
Jan Duracz
*
, Michal Konečný
*
Corresponding author for this work
Computer Science Research Group
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Polynomial function intervals for floating-point software verification'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Software Verification
100%
Floating point
72%
Polynomial function
58%
Specification
51%
Specification Languages
41%
Interval
33%
Tool Support
24%
Scalability
18%
Interval Arithmetic
18%
Polynomial Approximation
15%
Integral Operator
13%
Software
13%
Inclusion
11%
Experiment
10%
Costs
10%
Language
10%
Performance
8%
Arbitrary
7%
Approximation
7%
Theorem
5%
Engineering & Materials Science
Polynomials
44%
Specifications
37%
Specification languages
33%
Real variables
23%
Polynomial approximation
19%
Scalability
11%
Engineers
10%
Costs
5%
Experiments
5%