10 citations · 25 across the 13 of their papers we have counts for
13 papers
Unconditional -independence of a certified hitting-set principle
Martin Kolář
We show that a certified formalization of the hitting-set-existence axiom of Atserias and Tzameret, instantiated on the parity-based Nisan-Wigderson compression class of Khaniki, i…
On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes
Martin Kolář
The definition of \NP\ requires, for each member language~, a polynomial-time checking relation~ and a constant~ such that $w \in L \iff \exists y\,(|y| \leq |w|^k \wedge…
Force-Free and Autonomous Active Brownian Ratchets
Constantin Rein, Martin Kolář, Klaus Kroy +1
Autonomous active Brownian ratchets rectify active Brownian particle motion solely by means of a spatially modulated but stationary activity, without external forces. We argue that…
On formally undecidable propositions in nondeterministic languages
Martin Kolář
Any class of languages accepted in time has a counterpart accepted in nondeterministic time . It follows from the definition of…
Infinitesimal symmetries of weakly pseudoconvex manifolds
Shin-Young Kim, Martin Kolar
We classify the Lie algebras of infinitesimal CR automorphisms of weakly pseudoconvex hypersurfaces of finite multitype in . In particular, we prove that such manifold…
Nonlinear CR automorphisms of Levi degenerate hypersurfaces and a new gap phenomenon
Martin Kolar, Francine Meylan
We give a complete classification of polynomial models for smooth real hypersurfaces of finite Catlin multitype in , which admit nonlinear infinitesimal CR automorphis…