Freq.	Weight	Association
2	1.000	Implementation - Proof
2	0.816	Floating point - Proof
2	0.816	Floating point - Implementation
6	0.866	Application - Computer theory
3	0.707	Application - Floating point
3	0.612	Computer theory - Floating point
2	0.577	Application - Proof
2	0.577	Application - Implementation
2	0.577	Application - Computer
2	0.577	Application - Arithmetics
2	1.000	Algorithm - Arithmetics
2	0.577	Algorithm - Application
2	0.500	Computer - Computer theory
2	0.500	Computer theory - Proof
2	0.500	Computer theory - Implementation
2	0.500	Arithmetics - Computer theory
2	0.500	Algorithm - Computer theory

Documents par ordre de pertinence

000088 (2007)	Guillaume Melquiond [France] ; Sylvain Pion [France]	Formally certified floating-point filters for homogeneous geometric predicates
000087 (2007)	Laurent Fousse [France]	Multiple-precision correctly rounded newton-cotes quadrature
000089 (2007)	Florent De Dinechin [France] ; Christoph Lauter [France] ; Jean-Michel Muller [France]	Fast and correctly rounded logarithms in double-precision
000092 (2007)	Nicolas Brisebarre [France] ; Jean-Michel Muller [France]	Correct rounding of algebraic functions
000085 (2007)	Stef Graillat [France] ; Philippe Langlois [France]	Real and complex pseudozero sets for polynomials with applications
000093 (2007)	Benoit Cagnard [France] ; Pierre Simonnet [France]	Automata, borel functions and real numbers in pisot base
000051 (2011)	Henning Fernau [Allemagne] ; Joachim Kneis [Allemagne] ; Dieter Kratsch [France] ; Alexander Langer [Allemagne] ; Mathieu Liedloff [France] ; Daniel Raible [Allemagne] ; Peter Rossmanith [Allemagne]	An exact algorithm for the Maximum Leaf Spanning Tree problem
000059 (2010)	Daniel Binkele-Raible [Allemagne] ; Henning Fernau [Allemagne] ; Serge Gaspers [Autriche] ; Mathieu Liedloff [France]	Exact exponential-time algorithms for finding bicliques

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024

	Serveur d'exploration sur l'Université de Trèves
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.