books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open 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
Year:
1999
File:
PDF, 532 KB
Your tags:
1999
2
An Accurate Distance-Calculation Algorithm for Convex Polyhedra
Eva Dyllong
,
Wolfram Luther
,
Werner Otten
Journal:
Reliable Computing
Year:
1999
File:
PDF, 460 KB
Your tags:
1999
3
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic
Adam Strzebonski
Journal:
Reliable Computing
Year:
1999
File:
PDF, 339 KB
Your tags:
1999
4
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes
Gerhard Heindl
Journal:
Reliable Computing
Year:
1999
File:
PDF, 211 KB
Your tags:
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
Year:
1999
File:
PDF, 628 KB
Your tags:
1999
6
Verified Computation of Fast Decreasing Polynomials
Neli S. Dimitrova
,
Svetoslav M. Markov
Journal:
Reliable Computing
Year:
1999
File:
PDF, 239 KB
Your tags:
1999
7
Outer Estimation of Generalized Solution Sets to Interval Linear Systems
Sergey P. Shary
Journal:
Reliable Computing
Year:
1999
File:
PDF, 407 KB
Your tags:
1999
8
Verified Error Bounds for Linear Systems Through the Lanczos Process
Andreas Frommer
,
Andre Weinberg
Journal:
Reliable Computing
Year:
1999
File:
PDF, 324 KB
Your tags:
1999
9
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
Yoshitaka Watanabe
,
Nobito Yamamoto
,
Mitsuhiro T. Nakao
Journal:
Reliable Computing
Year:
1999
File:
PDF, 295 KB
Your tags:
1999
10
A Few Results on Table-Based Methods
Jean-Michel Muller
Journal:
Reliable Computing
Year:
1999
File:
PDF, 246 KB
Your tags:
1999
11
The Interval-Enhanced GNU Fortran Compiler
Michael J. Schulte
,
Vitaly Zelov
,
Ahmet Akkas
,
JamesCraig Burley
Journal:
Reliable Computing
Year:
1999
File:
PDF, 492 KB
Your tags:
1999
12
Dear Colleagues
Journal:
Reliable Computing
Year:
1999
File:
PDF, 57 KB
Your tags:
1999
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×