Georgios Giantamidis

From MaRDI portal
Person:779622

Available identifiers

zbMath Open giantamidis.georgiosMaRDI QIDQ779622

List of research outcomes





PublicationDate of PublicationType
Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control2022-11-29Paper
Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers2020-07-13Paper
Learning Moore machines from input-output traces2020-01-03Paper

Research outcomes over time

This page was built for person: Georgios Giantamidis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:779622&oldid=7585529"
Powered by MediaWiki