Kim, Dae San; Kim, Taekyun; Dolgy, Dmitry V. A note on degenerate Bernoulli numbers and polynomials associated with \(p\)-adic invariant integral on \(\mathbb{Z}_p\). (English) Zbl 1390.11049 Appl. Math. Comput. 259, 198-204 (2015). MSC: 11B68 11S80 05A15 11B65 05A40 PDFBibTeX XMLCite \textit{D. S. Kim} et al., Appl. Math. Comput. 259, 198--204 (2015; Zbl 1390.11049) Full Text: DOI
Malaquias, José Romildo; Lopes, Carlos Roberto Implementing a computer algebra system in Haskell. (English) Zbl 1193.68291 Appl. Math. Comput. 192, No. 1, 120-134 (2007). MSC: 68W30 68N18 PDFBibTeX XMLCite \textit{J. R. Malaquias} and \textit{C. R. Lopes}, Appl. Math. Comput. 192, No. 1, 120--134 (2007; Zbl 1193.68291) Full Text: DOI Link
Güyer, Tolga; Mirasyedioğlu, Şeref A functional computation model for the duality of two-variable lambda-Boolean functions. (English) Zbl 1178.68137 Appl. Math. Comput. 182, No. 1, 879-887 (2006). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{T. Güyer} and \textit{Ş. Mirasyedioğlu}, Appl. Math. Comput. 182, No. 1, 879--887 (2006; Zbl 1178.68137) Full Text: DOI
Mirasyedioğlu, Şeref; Güyer, Tolga A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG. (English) Zbl 1095.68751 Appl. Math. Comput. 176, No. 1, 65-75 (2006). MSC: 68W30 03B40 68N17 68Q05 68Q42 PDFBibTeX XMLCite \textit{Ş. Mirasyedioğlu} and \textit{T. Güyer}, Appl. Math. Comput. 176, No. 1, 65--75 (2006; Zbl 1095.68751) Full Text: DOI Link