Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computer architecture
• Rounding
• IEEE 754
• Double-precision floating-point format
• Interval arithmetic
• Significant figures
• NaN
• Sine
• Signed zero

GEOMETRIC PRESENTATIONS OF LIE GROUPS AND THEIR DEHN FUNCTIONS YVES CORNULIER AND ROMAIN TESSERA Abstract. We study the Dehn function of connected Lie groups. We show that this function is always exponential or polynomia

Source URL: www.normalesup.org

• Geometry
• Mathematics
• Group theory
• Geometric group theory
• Lie groups
• Dehn function
• Lattice
• Diffeomorphism
• Hyperbolic group
• Lie algebra
• Nilpotent group
• Solvable group

Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o

Source URL: who.rocq.inria.fr

• Search algorithms
• Information retrieval
• Information science
• Cryptography
• Hashing
• Cryptographic hash functions
• Error detection and correction
• Hash function
• Hash table
• Hopf decomposition
• Compound of twelve pentagonal antiprisms with rotational freedom

Generalization without Systematicity: Supplementary materials SCAN grammar and interpretation function The phrase-structure grammar generating all SCAN commands is presented in Figure 1. The corresponding interpretation

Source URL: cims.nyu.edu

• Artificial intelligence
• Machine learning
• Applied mathematics
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Encoder
• Recurrent neural network
• Decoder
• Rnn

§ 114 TITLE 49—TRANSPORTATION the performance of the function immediately before the effective date of the transfer of the function under this

Source URL: www.gpo.gov

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Source URL: isabelle.in.tum.de

• Computer programming
• Recursion
• Mathematical logic
• Software engineering
• Computability theory
• Theory of computation
• Theoretical computer science
• -recursive function
• Recursive definition
• Well-founded relation
• Functional programming
• Pattern matching

Verifying Efficient Function Calls in CakeML

Source URL: cakeml.org

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Functional languages
• Subroutines
• Procedural programming languages
• Recursion
• Standard ML
• ML
• OCaml
• Fold

DEHN FUNCTION AND ASYMPTOTIC CONES OF ABELS’ GROUP YVES CORNULIER, ROMAIN TESSERA Abstract. We prove that Abels’ group over an arbitrary local field has a quadratic Dehn function. As applications, we exhibit connecte

Source URL: www.normalesup.org

• Geometry
• Geometric group theory
• Mathematics
• Group theory
• Combinatorics on words
• Geometric topology
• Metric geometry
• Dehn function
• Quasi-isometry
• Ultralimit
• Presentation of a group
• Finitely generated abelian group

Dietary Reference Intakes: Macronutrients Nutrient Function Carbohydrate—

Source URL: www.nal.usda.gov

• Nutrition
• Health
• Food and drink
• Nutrient
• Dietary Reference Intake
• Reference Daily Intake
• Protein
• Human nutrition
• Saturated fat
• Trans fat
• Dietary fiber
• Dietary supplement

A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

Source URL: www.lix.polytechnique.fr

• Dynamical systems
• Systems science
• Systems theory
• Differential equations
• Control theory
• Hybrid system
• Metabolism
• Ariadne
• Verification
• Nonlinear system
• Coq
• Coenzyme Q10