ℹ️
🇬🇧
Search
Search for people relevant for "Isabelle/HOL."
Isabelle/HOL.
Person
Class
Person
Publication
Programmes
Bc. Martin Raška
External academic staff at Faculty of Mathematics and Physics
4 publications
Publications
publication
Binary Codes that Do Not Preserve Primitivity
2022 |
Faculty of Mathematics and Physics
publication
Representing multiples of m in real quadratic fields as sums of squares
2023 |
Faculty of Mathematics and Physics
publication
Pythagoras numbers of orders in biquadratic fields
2022 |
Faculty of Mathematics and Physics
publication
Combinatorics on Words Basics
2021 |
Faculty of Mathematics and Physics
Loading network view...