Ugrás a tartalomra
SCAN2020
Login
Register
Home
Call for Papers
Organizing Committee
Scientific Committee
Jelenlegi hely
Címlap
Videos
Kazuaki Tanaka: Verification of the sign of solutions to elliptic partial differential equations
Mihály Csaba Markót: Interval methods for packing problems on the sphere
Bartlomiej Kubica: How many constraints are satisfied? An approach to solving classification and regression problems
Marko Lange and Siegfried M. Rump: Verified inclusions of a nearest matrix of specified rank via a generalization of Wedin’s sin(θ) theorem
Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro T. Nakao: On some convergence prop- erties for finite element approximations to the inverse of linear elliptic operators
Elena Chausova: The inventory control problem for a supply chain with a mixed type of demand uncertainty
Ekaterina Auer, Lorenz Gillner, Wolfram Luther and Andreas Rauh: VERICOMP 2.0: Comparing and Recommending Verified IVP Solvers in a Flexible Way
Katsuhisa Ozaki: Error-free transformation of matrix multiplication for multi-precision computations
Ekaterina Auer and Wolfram Luther: Assessing Uncertainty in Hereditary Risk Models for BRCA1/2 Related Cancer
János Dudás and Tibor Krisztin: Global stability for the three-dimensional logistic map
Oldalak
« első
‹ előző
1
2
3
4
5
6
következő ›
utolsó »
more
Information
Host City
Program (Plan)
Sponsors
Proceedings (pdf)
Videos
Theme by
Danetsoft
and
Danang Probo Sayekti
inspired by
Maksimer