Stylianos Basagiannis

From MaRDI portal

Person:779623

Jump to:navigation, search

Available identifiers

zbMath Open basagiannis.stylianosMaRDI QIDQ779623

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

This page was built for person: Stylianos Basagiannis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:779623&oldid=7585531"