Karol Pąk
University Name
Poland
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I 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 I reach out?
Sign in for free to see their profile details and contact information.
Meet Kite AI