recherche de livres
livres
recherche d'articles
articles
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Revues
La participation
Faire un don
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Ouvrir LITERA Point
Volume 5; Issue 3
Main
Reliable Computing
Volume 5; Issue 3
Reliable Computing
Volume 5; Issue 3
1
Comparing Partial Consistencies
Hélène Collavizza
,
François Delobel
,
Michel Rueher
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 532 KB
Vos balises:
1999
2
An Accurate Distance-Calculation Algorithm for Convex Polyhedra
Eva Dyllong
,
Wolfram Luther
,
Werner Otten
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 460 KB
Vos balises:
1999
3
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic
Adam Strzebonski
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 339 KB
Vos balises:
1999
4
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes
Gerhard Heindl
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 211 KB
Vos balises:
1999
5
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation
Nedialko S. Nedialkov
,
Kenneth R. Jackson
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 628 KB
Vos balises:
1999
6
Verified Computation of Fast Decreasing Polynomials
Neli S. Dimitrova
,
Svetoslav M. Markov
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 239 KB
Vos balises:
1999
7
Outer Estimation of Generalized Solution Sets to Interval Linear Systems
Sergey P. Shary
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 407 KB
Vos balises:
1999
8
Verified Error Bounds for Linear Systems Through the Lanczos Process
Andreas Frommer
,
Andre Weinberg
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 324 KB
Vos balises:
1999
9
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
Yoshitaka Watanabe
,
Nobito Yamamoto
,
Mitsuhiro T. Nakao
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 295 KB
Vos balises:
1999
10
A Few Results on Table-Based Methods
Jean-Michel Muller
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 246 KB
Vos balises:
1999
11
The Interval-Enhanced GNU Fortran Compiler
Michael J. Schulte
,
Vitaly Zelov
,
Ahmet Akkas
,
JamesCraig Burley
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 492 KB
Vos balises:
1999
12
Dear Colleagues
Journal:
Reliable Computing
Année:
1999
Fichier:
PDF, 57 KB
Vos balises:
1999
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×
