Gerhold, Stefan; Kauers, Manuel; Koutschan, Christoph; Paule, Peter; Schneider, Carsten; Zimmermann, Burkhard Computer-assisted proofs of some identities for Bessel functions of fractional order. (English) Zbl 1311.33003 Schneider, Carsten (ed.) et al., Computer algebra in quantum field theory. Integration, summation and special functions. Wien: Springer (ISBN 978-3-7091-1615-9/hbk; 978-1-4614-8523-0/ebook). Texts and Monographs in Symbolic Computation, 75-96 (2013). MSC: 33C10 33E10 PDFBibTeX XMLCite \textit{S. Gerhold} et al., in: Computer algebra in quantum field theory. Integration, summation and special functions. Wien: Springer. 75--96 (2013; Zbl 1311.33003) Full Text: DOI arXiv
Gerhold, Stefan; Glebsky, Lev; Schneider, Carsten; Weiss, Howard; Zimmermann, Burkhard Computing the complexity for Schelling segregation models. (English) Zbl 1221.37185 Commun. Nonlinear Sci. Numer. Simul. 13, No. 10, 2236-2245 (2008). MSC: 37N25 92D25 PDFBibTeX XMLCite \textit{S. Gerhold} et al., Commun. Nonlinear Sci. Numer. Simul. 13, No. 10, 2236--2245 (2008; Zbl 1221.37185) Full Text: DOI