# fixed-point-like theorem

### Fixed-point-like theorems on subspaces

**fixed**-

**point**-

**like**

**theorem**by Hirsh, Magill, Mas-Colell [12] or Husseiny, Lasry, Magill [13] and the

**fixed**-

**point**

**theorem**by Gale, Mas-Colell [8] (which generalizes ...

14

### Fixed-point-like theorems on subspaces

**FIXED**-

**POINT**-

**LIKE**THEOREMS ON SUBSPACES PHILIPPE BICH AND BERNARD CORNET Received 8 June 2004 We prove a

**fixed**-

**point**-

**like**

**theorem**for multivalued mappings defined on the ...

14

### General equilibrium and fixed point theory : a partial survey

19

### Fixed point properties in the space of marked groups

**Theorem**1.5. Finally, Section 3 is devoted to applications to Properties (FH) and (FRA). Acknowledgements. I ...

11

### Scalable Analytical Accuracy Models for Fixed-Point Arithmetic Implementations

**point**, yet current WLO tools suffer from severe limitations. In particular, they require the flattening of the ...

38

### Some fixed point theorems in Banachspaces and its applications

**fixed**

**point**- expansive mappings - contraction ...au

**point**fixe et nous avons distingué trois cas : théorèmes de points fixes pour des applications expansive, et des théorèmes de points fixes pour ...

52

### Palladium–Carbon eutectic fixed point for thermocouple calibration

**point**observed during the ...inflection

**point**of all the melting curves was determined in three ways: a cubic polynomial was fit to the plateau and the minimum of the derivative was used; a ...

24

### Implementation and measurements of an efficient Fixed Point Adjoint

12

### Fixed point semantics and partial recursion in Coq

**fixed**

**point**obtained by an iterative process on {x i } starting from x 0 ...least

**fixed**

**point**is obtained in at most ω ...this

**theorem**, one should be able to express that the ...

9

### Reliable fixed-point implementation of linear data-flows

**fixed**-

**point**conversion, etc., while in floating-

**point**arithmetic this is done by the ...the

**Fixed**-

**Point**implementa- tion are the setting of the FxP formats (they depend on ...

7

### Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion

9

### Synthesis of fixed-point programs: the case of matrix multiplication

**fixed**-

**point**A compact algorithm Analysis of CompactProduct For square matrices of size n, only one call to the cgpeGenDotProduct is issued Ï The dot product uses around 2n instructions (n multiplications ...

60

### Iterative residual-based vector methods to accelerate fixed point iterations

40

### Analysis of duality constructions for variable dimension fixed point algorithms

58

### Mixing properties and central limit theorem for associated point processes

**point**processes (DPPs for short), that are an important example of negatively associated

**point**...repulsive

**point**processes that were first introduced by Macchi [ 32 ] in 1975 to model ...

24

### Extending the Calculus of Constructions with Tarski's fix-point theorem

**point**is to start from the recursive equation and to ...

16

### Fixed point results for multivalued contractions on graphs and their applications

**point**fixe pour des fonctions multivoques, appelées G-contractions ...d’un

**point**fixe est également établie pour une famille de G- contractions multivoques ...de

**point**fixe pour des G-contractions ...

128

### Cobalt–carbon eutectic fixed point for contact thermometry

24

### Analysis of Finite Word-Length Effects in Fixed-Point Systems

**fixed**-

**point**simulation can be accelerated by executing it on a more adequate machine

**like**a

**fixed**-

**point**DSP [78, 73, 39, 82, 37] or an FPGA [38] through hardware ...the ...

35

### Simulation Analysis and Fixed Point Approach for Multiplexed TCP flows

18