Karol Pąk
University Name
Poland
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Chinese students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI
Contact this professor
Research Interests
Number Theory
60%
Algebra
40%
Polynomial Theory
40%
Galois Theory
40%
Prime Numbers
40%
Mathematics
40%
Combinatorics
30%
Ask ApplyKite AI
Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?
Recent Grants
Grant: Close
Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa
Open Date: 2016-07-01
Close Date:
Grant: Close
Independent Verification of Mizar Logic
Open Date: 2016-05-01
Close Date: 2018-05-01
Grant: Close
Algorithms concerning the legibility of natural deduction proofs
Open Date: 2013-07-01
Close Date: 2017-01-01
Articles10
Year:
2021
Year:
2020
Collaborators1
Cezary Kaliszyk
Associate Professor
University of Innsbruck
AUSTRIA
How do Chinese students reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI