Miroslav Olšák

Available identifiers

Publication	Date of Publication	Type
Alien coding	2023-11-16	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)	2022-11-09	Paper
GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5091214	2022-07-21	Paper
The role of entropy in guiding a connection prover	2022-05-25	Paper
Learning theorem proving components	2022-05-25	Paper
Learning to solve geometric construction problems from images	2022-04-22	Paper
Fast and slow enigmas and parental guidance	2022-03-24	Paper
MALTSEV CONDITIONS FOR GENERAL CONGRUENCE MEET-SEMIDISTRIBUTIVE ALGEBRAS	2022-01-17	Paper
Maximal non-compactness of Sobolev embeddings	2021-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q4999300	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5144675	2021-01-19	Paper
𝜔-categorical structures avoiding height 1 identities	2020-12-18	Paper
Loop conditions for strongly connected digraphs	2020-04-16	Paper
The local loop lemma	2020-02-25	Paper
Loop conditions	2019-12-27	Paper
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures	2019-11-29	Paper
The weakest nontrivial idempotent equations	2018-01-16	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miroslav Olšák