Ewa Borak

From MaRDI portal
Person:867343



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!

PublicationDate of PublicationType
Remarks on special duality triads and their operator-valued counterparts
(available as arXiv preprint)
2008-08-19Paper
Mizar Course in Logic and Set Theory
Towards Mechanized Mathematical Assistants
2007-11-28Paper
Extended finite operator calculus -- an example of algebraization of analysis
Central European Journal of Mathematics
2007-02-15Paper


Research outcomes over time


This page was built for person: Ewa Borak