Freq.	Weight	Association
6	6	Application - Computer theory
3	3	Computer theory - Floating point
3	3	Application - Floating point
2	2	Floating point - Proof
2	2	Implementation - Proof
2	2	Floating point - Implementation
2	2	Computer - Computer theory
2	2	Computer theory - Proof
2	2	Computer theory - Implementation
2	2	Computer theory - Graph algorithm
2	2	Arithmetics - Computer theory
2	2	Application - Proof
2	2	Application - Implementation
2	2	Application - Computer
2	2	Application - Arithmetics
1	1	Computer - Floating point
1	1	Arithmetics - Proof
1	1	Arithmetics - Implementation
1	1	Arithmetics - Floating point
1	1	Arithmetics - Computer

Documents par ordre de pertinence

000088 (2007)	Guillaume Melquiond [France] ; Sylvain Pion [France]	Formally certified floating-point filters for homogeneous geometric predicates
000089 (2007)	Florent De Dinechin [France] ; Christoph Lauter [France] ; Jean-Michel Muller [France]	Fast and correctly rounded logarithms in double-precision
000087 (2007)	Laurent Fousse [France]	Multiple-precision correctly rounded newton-cotes quadrature
000092 (2007)	Nicolas Brisebarre [France] ; Jean-Michel Muller [France]	Correct rounding of algebraic functions
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
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

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.