Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Raška, Martin"'
We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By
Externí odkaz:
http://arxiv.org/abs/2310.05281
A code $X$ is not primitivity preserving if there is a primitive list ${\mathbf w} \in {\tt lists} X$ whose concatenation is imprimitive. We formalize a full characterization of such codes in the binary case in the proof assistant Isabelle/HOL. Part
Externí odkaz:
http://arxiv.org/abs/2203.11341
Autor:
Raška, Martin
We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to happen. Furthe
Externí odkaz:
http://arxiv.org/abs/2105.11423
Publikováno v:
Expo. Math. 40, 1181--1228 (2022)
We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family of such fi
Externí odkaz:
http://arxiv.org/abs/2105.08860
Autor:
Raška, Martin, Starosta, Štěpán
Many facts possess symmetrical counterparts that often require a separate formal proof, depending on the nature of the involved symmetry. We introduce a method in Isabelle/HOL which produces such a symmetrical fact for the list datatype and the symme
Externí odkaz:
http://arxiv.org/abs/2104.11622
Publikováno v:
In Expositiones Mathematicae December 2022 40(4):1181-1228
Autor:
Raška, Martin
Dissertation deals with the question if the first Czechoslovak Republic had signs of semipresidential regime. The theoretical part deals with the theoretical definition of parliamentary, presidential and semi- presidential system. The practical part
Externí odkaz:
http://www.nusl.cz/ntk/nusl-336400
Autor:
Raška, Martin
Dissertation deals with the question if the first Czechoslovak Republic had signs of semipresidential regime. The theoretical part deals with the theoretical definition of parliamentary, presidential and semi- presidential system. The practical part
Externí odkaz:
http://www.nusl.cz/ntk/nusl-336989
Autor:
Raška, Martin
This thesis discuss about the problem with mobility of stations in IP networks, concretely protocol Mobile IP and about the problems with this protocol in MANET networks, with the scope on Motorola MESH. First part is about design integration of prot
Externí odkaz:
http://www.nusl.cz/ntk/nusl-218096