Search Results - "Raška, Martin"

Binary Codes that do not Preserve Primitivity by Holub, Štěpán, Raška, Martin, Starosta, Štěpán

“…A set of words X is not primitivity-preserving if there is a primitive list of length at least two of elements from X whose concatenation is imprimitive. Here,…”
Get full text

Pythagoras numbers of orders in biquadratic fields by Krásenský, Jakub, Raška, Martin, Sgallová, Ester

“…We examine the Pythagoras number P(OK) of the ring of integers OK in a totally real biquadratic number field K. We show that the known upper bound 7 is…”
Get full text

Minimal Detectable Displacement Achievable by GPS-RTK in CZEPOS Network by Raška, Martin, Pospíšil, Jiří

“…In this paper we have made a brief study of RTK precision to estimate possibilities of network RTK using CZEPOS for purposes of geotechnic monitoring of…”
Get full text

Relations between Biotic and Abiotic Diversity in Abandoned Basalt Quarry and Its Relevance for Ecological Restoration (Radobýl Hill, Northern Czechia) by Raška, Pavel, Riezner, Jiří, Pokorný, Richard, Holec, Michal, Raška, Martin

“…The ecological value of abandoned quarries has gained increasing scientific attention in the last few decades, resulting in a paradigm shift in restoration…”
Get full text

Representing multiples of m in real quadratic fields as sums of squares by Raška, Martin

“…We study real quadratic fields Q(D) such that, for a given rational integer m, all m-multiples of totally positive integers are sums of squares. We prove quite…”
Get full text

Differential evolution of rockwall and talus cones in abandoned basalt quarries and its implications for restoration management: case study from the Radobyl Hill, N Czech Republic by Raška, Pavel, Balej, Martin, Raška, Martin

“…The reclamation and restoration of quarries have been well studied in the past decades. Most studies focused on the bio-treatment and restoration of land…”
Get full text

Representing multiples of $m$ in real quadratic fields as sums of squares by 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…”
Get full text

Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL by 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…”
Get full text

Pythagoras numbers of orders in biquadratic fields by Krásenský, Jakub, Raška, Martin, Sgallová, Ester

“…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…”
Get full text

Binary codes that do not preserve primitivity by Holub, Štěpán, Raška, Martin, Starosta, Štěpán

“…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…”
Get full text

The Six-Vertex Model with a Non-Standard Boundary Condition by Doležálek, Matěj, Raška, Martin, Sgallová, Ester, Stucky, Eric Nathan, Zindulka, Mikuláš

“…We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In…”
Get full text