Login / Signup
Luiza Ochnio
ORCID
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 1
Top Topics
Trading Rules
Market Data
Automated Theorem Proving
Stock Market
Top Venues
ICISA
IDEAL
</>
Publications
</>
Maciej Janowicz
,
Luiza Ochnio
,
Leszek J. Chmielewski
,
Arkadiusz Orlowski
Application of Automated Theorem-Proving to Philosophical Thought: Spinoza's Ethics.
ICISA
(2017)
Leszek J. Chmielewski
,
Maciej Janowicz
,
Luiza Ochnio
,
Arkadiusz Orlowski
Clusterization of Indices and Assets in the Stock Market.
IDEAL
(2015)