Kaliszyk, Cezary (1981- ).
Cezary Kaliszyk researcher, Ph.D. Radboud Universiteit Nijmegen 2009, ORCID ID = 0000-0002-8273-6059
Kaliszyk, C. (Cezary), 1981-
Kaliszyk, C. 1981-
VIAF ID: 286982618 (Personal)
Permalink: http://viaf.org/viaf/286982618
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web | |
Counting derangements, non bijective functions and the birthday problem |