validated computation
Recently Published Documents

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Validated Computation of Heteroclinic Sets

2017 ◽  
Vol 16 (1) ◽  
pp. 375-409 ◽  
Author(s):  
Maciej J. Capiński ◽  
J. D. Mireles James
Keyword(s):  
Validated Computation

scholarly journals Validated computation of global solutions to ODEs

2013 ◽  
Vol 4 (1) ◽  
pp. 88-96
Author(s):  
Masato Harikae ◽  
Nobito Yamamoto
Keyword(s):  
Global Solutions ◽  
Validated Computation

Validated computation of certain hypergeometric functions

2011 ◽  
Vol 38 (2) ◽  
pp. 1-20 ◽  
Author(s):  
Michel Colman ◽  
Annie Cuyt ◽  
Joris Van Deun
Keyword(s):  
Hypergeometric Functions ◽  
Validated Computation

Validated computation of physiologic flow in a realistic coronary artery branch

1997 ◽  
Vol 31 (3) ◽  
pp. 217-228 ◽  
Author(s):  
K Perktold ◽  
M Hofer ◽  
G Rappitsch ◽  
M Loew ◽  
B.D Kuban ◽  
...  
Keyword(s):  
Coronary Artery ◽  
Validated Computation ◽  
Artery Branch
Load More ...
Sign in / Sign up

Export Citation Format

Share Document