12 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.FL2022★ 1 cited
Binary codes that do not preserve primitivity
Štěpán Holub, Martin Raška, Štěpán Starosta
A code is not primitivity preserving if there is a primitive list whose concatenation is imprimitive. We formalize a full characterization of su…
math.NT2021★ 12 cited
Pythagoras numbers of orders in biquadratic fields
Jakub Krásenský, Martin Raška, Ester Sgallová
We examine the Pythagoras number of the ring of integers in a totally real biquadratic number field . We show that the known upper b…
cs.LO2021★ 1 cited
Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL
Martin Raška, Štěpán Starosta
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 whic…