Skip to main navigation
Skip to search
Skip to main content
University of Nottingham Ningbo China Home
Home
Profiles
Research units
Research output
Projects
Prizes
Activities
Press/Media
Impacts
Student theses
Search by expertise, name or affiliation
SHRAD: A language for sequential real number computation
Amin Farjudian
Research output
:
Journal Publication
›
Conference article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'SHRAD: A language for sequential real number computation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Domain Model
100%
Real number Computation
100%
Exact Real number Computation
100%
Interval Domain
100%
Data Abstraction
100%
Reinforced
50%
Limited Power
50%
Sequential Computation
50%
Data Efficiency
50%
Extensionality
50%
Valuedness
50%
Computer Science
Real Number
100%
Data Abstraction
66%
Extensionality
33%
Mathematics
Real Number
100%
Extensionality
33%