Flexary Operations
Work
Year: 2015
Type: article
Abstract: In this article we introduce necessary notation and definitions to prove the Euler’s Partition Theorem according to H.S. Wilf’s lecture notes [31]. Our aim is to create an environment which allows to... more
Source: Formalized Mathematics
Author Karol Pąk
Institution University of Białystok
Cites: 19
Cited by: 1
Related to: 10
FWCI: 1.947
Citation percentile (by year/subfield): 70.63
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: gold