ℹ️
🇬🇧
Search
Search for people relevant for "Isabelle/HOL."
Isabelle/HOL.
Person
Class
Person
Publication
Programmes
Mgr. Ester Sgallová
External academic staff at Faculty of Mathematics and Physics
2 publications
Publications
publication
CONTROLLING DISTRIBUTION OF PRIME SEQUENCES IN DISCRETELY ORDERED PRINCIPAL IDEAL SUBRINGS OF Q[x]
2023 |
Faculty of Mathematics and Physics, Protestant Theological Faculty
publication
Pythagoras numbers of orders in biquadratic fields
2022 |
Faculty of Mathematics and Physics
Loading network view...
