Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions

doi 10.1109/ismvl.2009.24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Reflexive Tactic for Polynomial Positivity Using Numerical Solvers and Floating-Point Computations

2017English

Compositional Analysis of Floating-Point Linear Numerical Filters

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Rpe V5: An Emulator for Reduced Floating-Point Precision in Large Numerical Simulations

Geoscientific Model Development
EarthSimulationPlanetary SciencesModeling
2017English

Goodness-Of-Fit Test for Monotone Functions

Scandinavian Journal of Statistics
UncertaintyStatisticsProbability
2010English

Reversed Hardy Inequality for C-Monotone Functions

Journal of Mathematical Inequalities
Analysis
2016English

Floating-Point Arithmetic

2005English

Verified Sharp Bounds for the Real Gamma Function Over the Entire Floating-Point Range

Nonlinear Theory and Its Applications, IEICE
2014English

A Reversed Poincaré Inequality for Monotone Functions

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2000English

Lossless Compression of Double-Precision Floating-Point Data for Numerical Simulations: Highly Parallelizable Algorithms for GPU Computing

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy