Effective Validity: A Generalized Logic for Stable Approximate Inference

von Moir, Robert H. C.
Veröffentlicht in ACMES Conference (2015 : London, Ontario) Algorithms and complexity in mathematics, epistemology, and science (2019)

Employing C++ Templates in the Design of a Computer Algebra Library

von Brandt, Alexander
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)