Stylianos Basagiannis

Available identifiers

zbMath Open basagiannis.stylianosMaRDI QIDQ779623

List of research outcomes

Publication	Date of Publication	Type
Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control	2022-11-29	Paper
Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers	2020-07-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stylianos Basagiannis