Volume 8; Issue 3-4

Mathematics in Computer Science

Volume 8; Issue 3-4
3

Verification of Linear (In)Dependence in Finite Precision Arithmetic

Year:
2014
Language:
english
File:
PDF, 200 KB
english, 2014
8

VIBes: A Visualizer for Intervals and Boxes

Year:
2014
Language:
english
File:
PDF, 601 KB
english, 2014
12

Kernel Characterization of an Interval Function

Year:
2014
Language:
english
File:
PDF, 768 KB
english, 2014
13

Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification

Year:
2014
Language:
english
File:
PDF, 579 KB
english, 2014
17

Foreword

Year:
2014
Language:
english
File:
PDF, 106 KB
english, 2014