Alhaidari, A. D. Representation of the quantum mechanical wavefunction by orthogonal polynomials in the energy and physical parameters. (English) Zbl 1452.81094 Commun. Theor. Phys. 72, No. 1, Article ID 015104, 15 p. (2020). MSC: 81Q05 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Commun. Theor. Phys. 72, No. 1, Article ID 015104, 15 p. (2020; Zbl 1452.81094) Full Text: DOI
Alhaidari, Abdulaziz D. Open problem in orthogonal polynomials. (English) Zbl 1441.81090 Rep. Math. Phys. 84, No. 3, 393-405 (2019). MSC: 81Q10 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Rep. Math. Phys. 84, No. 3, 393--405 (2019; Zbl 1441.81090) Full Text: DOI
Dunin-Barkowski, Petr; Popolitov, Aleksandr; Shadrin, Sergey; Sleptsov, Alexey Combinatorial structure of colored HOMFLY-PT polynomials for torus knots. (English) Zbl 1429.81080 Commun. Number Theory Phys. 13, No. 4, 763-826 (2019). MSC: 81T45 14H81 14J33 33C45 57K45 PDF BibTeX XML Cite \textit{P. Dunin-Barkowski} et al., Commun. Number Theory Phys. 13, No. 4, 763--826 (2019; Zbl 1429.81080) Full Text: DOI arXiv
Alhaidari, A. D. Reconstructing the potential function in a formulation of quantum mechanics based on orthogonal polynomials. (English) Zbl 1382.81006 Commun. Theor. Phys. 68, No. 6, 711-728 (2017). MSC: 81P05 12E10 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Commun. Theor. Phys. 68, No. 6, 711--728 (2017; Zbl 1382.81006) Full Text: DOI
Díaz Boils, Joaquín Categorical comprehensions and recursion. (English) Zbl 1406.03054 J. Log. Comput. 27, No. 5, 1607-1641 (2017). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D20 03G30 18D10 PDF BibTeX XML Cite \textit{J. Díaz Boils}, J. Log. Comput. 27, No. 5, 1607--1641 (2017; Zbl 1406.03054) Full Text: DOI arXiv
Denisov, S.; Rush, K. On Schur parameters in Steklov’s problem. (English) Zbl 1378.42013 J. Approx. Theory 215, 68-91 (2017). Reviewer: Manuel D. de la Iglesia (México D. F.) MSC: 42C05 33C45 PDF BibTeX XML Cite \textit{S. Denisov} and \textit{K. Rush}, J. Approx. Theory 215, 68--91 (2017; Zbl 1378.42013) Full Text: DOI arXiv
Zhang, Yong-Fu; Li, Chong-Jun A Gaussian RBFs method with regularization for the numerical solution of inverse heat conduction problems. (English) Zbl 1348.65136 Inverse Probl. Sci. Eng. 24, No. 9, 1606-1646 (2016). MSC: 65M32 65F22 65D05 80A23 PDF BibTeX XML Cite \textit{Y.-F. Zhang} and \textit{C.-J. Li}, Inverse Probl. Sci. Eng. 24, No. 9, 1606--1646 (2016; Zbl 1348.65136) Full Text: DOI
Madore, David; Orgogozo, Fabrice Calculability of étale cohomology modulo \(\ell\). (Calculabilité de la cohomologie étale modulo \(\ell\).) (French. English summary) Zbl 1327.14095 Algebra Number Theory 9, No. 7, 1647-1739 (2015). MSC: 14F20 14Q15 12G05 12Y05 03D99 14Q99 13P10 14A20 14F35 18G30 20E18 55P20 55T05 PDF BibTeX XML Cite \textit{D. Madore} and \textit{F. Orgogozo}, Algebra Number Theory 9, No. 7, 1647--1739 (2015; Zbl 1327.14095) Full Text: DOI arXiv
Atkinson, Kendall; Chien, David; Hansen, Olaf Evaluating polynomials over the unit disk and the unit ball. (English) Zbl 1304.65111 Numer. Algorithms 67, No. 4, 691-711 (2014). MSC: 65D20 33C45 33F05 PDF BibTeX XML Cite \textit{K. Atkinson} et al., Numer. Algorithms 67, No. 4, 691--711 (2014; Zbl 1304.65111) Full Text: DOI arXiv
Hallnäs, Martin; Ruijsenaars, Simon Joint eigenfunctions for the relativistic Calogero-Moser Hamiltonians of hyperbolic type. I: First steps. (English) Zbl 1325.81097 Int. Math. Res. Not. 2014, No. 16, 4400-4456 (2014). Reviewer: Dimitar A. Kolev (Sofia) MSC: 81R12 37J35 39A70 47B39 70H40 PDF BibTeX XML Cite \textit{M. Hallnäs} and \textit{S. Ruijsenaars}, Int. Math. Res. Not. 2014, No. 16, 4400--4456 (2014; Zbl 1325.81097) Full Text: DOI arXiv
Witt, Kurt-Ulrich Mathematical foundations for computer science. Sets, logic, recursion. (Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion.) (German) Zbl 1291.68003 Springer-Lehrbuch. Wiesbaden: Springer Vieweg (ISBN 978-3-658-03078-0/pbk; 978-3-658-03079-7/ebook). x, 222 p. (2013). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 68-01 00A06 03-01 03B05 03B70 03D20 68Q01 PDF BibTeX XML Cite \textit{K.-U. Witt}, Mathematische Grundlagen für die Informatik. Mengen, Logik, Rekursion. Wiesbaden: Springer Vieweg (2013; Zbl 1291.68003) Full Text: DOI
Okoudjou, Kasso A.; Strichartz, Robert S.; Tuley, Elizabeth K. Orthogonal polynomials on the Sierpinski gasket. (English) Zbl 1273.42028 Constr. Approx. 37, No. 3, 311-340 (2013). Reviewer: Yuang-Ling Ye (Guangzhou) MSC: 42C05 28A80 33F05 33C45 PDF BibTeX XML Cite \textit{K. A. Okoudjou} et al., Constr. Approx. 37, No. 3, 311--340 (2013; Zbl 1273.42028) Full Text: DOI arXiv
Siddiqi, Shahid S.; Younis, Muhammad Construction of \(m\)-point binary approximating subdivision schemes. (English) Zbl 1259.65029 Appl. Math. Lett. 26, No. 3, 337-343 (2013). MSC: 65D17 PDF BibTeX XML Cite \textit{S. S. Siddiqi} and \textit{M. Younis}, Appl. Math. Lett. 26, No. 3, 337--343 (2013; Zbl 1259.65029) Full Text: DOI
Oitavem, I. A recursion-theoretic approach to NP. (English) Zbl 1233.03046 Ann. Pure Appl. Logic 162, No. 8, 661-666 (2011). Reviewer: Mihai Prunescu (Freiburg i. Br.) MSC: 03D15 03D20 03D70 68Q15 PDF BibTeX XML Cite \textit{I. Oitavem}, Ann. Pure Appl. Logic 162, No. 8, 661--666 (2011; Zbl 1233.03046) Full Text: DOI
Bruschi, M.; Calogero, F.; Droghei, R. Polynomials defined by three-term recursion relations and satisfying a second recursion relation: connection with discrete integrability, remarkable (often Diophantine) factorizations. (English) Zbl 1229.33015 J. Nonlinear Math. Phys. 18, No. 2, 205-243 (2011). Reviewer: Marcel G. de Bruin (Haarlem) MSC: 33C45 33C47 42C05 PDF BibTeX XML Cite \textit{M. Bruschi} et al., J. Nonlinear Math. Phys. 18, No. 2, 205--243 (2011; Zbl 1229.33015) Full Text: DOI
Kobayashi, Naoki; Tabuchi, Naoshi; Unno, Hiroshi Higher-order multi-parameter tree transducers and recursion schemes for program verification. (English) Zbl 1312.68136 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 495-508 (2010). MSC: 68Q60 68N30 68Q45 PDF BibTeX XML Cite \textit{N. Kobayashi} et al., in: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '10, Madrid, Spain, January 17--23, 2010. New York, NY: Association for Computing Machinery (ACM). 495--508 (2010; Zbl 1312.68136) Full Text: DOI
Chen, Yangkui; Yu, Jia; Cheng, Xiangguo; Hao, Rong; Liu, Hongyan; Li, Xin A verifiable multi-secret-sharing scheme based on homogeneous linear recursion. (Chinese. English summary) Zbl 1240.94114 Acta Sci. Nat. Univ. Pekin. 46, No. 5, 709-714 (2010). MSC: 94A62 PDF BibTeX XML Cite \textit{Y. Chen} et al., Acta Sci. Nat. Univ. Pekin. 46, No. 5, 709--714 (2010; Zbl 1240.94114)
Schneider, Barry I.; Segura, Javier; Gil, Amparo; Guan, Xiaoxu; Bartschat, Klaus A new Fortran 90 program to compute regular and irregular associated Legendre functions. (English) Zbl 1219.65028 Comput. Phys. Commun. 181, No. 12, 2091-2097 (2010). MSC: 65D20 33C45 33F05 PDF BibTeX XML Cite \textit{B. I. Schneider} et al., Comput. Phys. Commun. 181, No. 12, 2091--2097 (2010; Zbl 1219.65028) Full Text: DOI
Kobayashi, Naoki Types and higher-order recursion schemes for verification of higher-order programs. (English) Zbl 1315.68099 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 416-428 (2009). MSC: 68N30 68N18 68Q60 PDF BibTeX XML Cite \textit{N. Kobayashi}, in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 416--428 (2009; Zbl 1315.68099) Full Text: DOI
Broadbent, Christopher; Ong, Luke On global model checking trees generated by higher-order recursion schemes. (English) Zbl 1234.68252 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 107-121 (2009). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{C. Broadbent} and \textit{L. Ong}, Lect. Notes Comput. Sci. 5504, 107--121 (2009; Zbl 1234.68252) Full Text: DOI
Severin, Daniel E. Unary primitive recursive functions. (English) Zbl 1158.03023 J. Symb. Log. 73, No. 4, 1122-1138 (2008). Reviewer: Roman Murawski (Poznań) MSC: 03D20 PDF BibTeX XML Cite \textit{D. E. Severin}, J. Symb. Log. 73, No. 4, 1122--1138 (2008; Zbl 1158.03023) Full Text: DOI
Pacharoni, Inés; Tirao, Juan Three term recursion relation for spherical functions associated to the complex hyperbolic plane. (English) Zbl 1140.22011 J. Lie Theory 17, No. 4, 791-828 (2007). Reviewer: Ahmed I. Zayed (Chicago) MSC: 22E46 33C45 PDF BibTeX XML Cite \textit{I. Pacharoni} and \textit{J. Tirao}, J. Lie Theory 17, No. 4, 791--828 (2007; Zbl 1140.22011) Full Text: Link
Weber, Hans J. Connections between Romanovski and other polynomials. (English) Zbl 1155.33008 Cent. Eur. J. Math. 5, No. 3, 581-595 (2007). Reviewer: Nicolae Cotfas (Bucureşti) MSC: 33C45 33C47 PDF BibTeX XML Cite \textit{H. J. Weber}, Cent. Eur. J. Math. 5, No. 3, 581--595 (2007; Zbl 1155.33008) Full Text: DOI
Alhaidari, A. D. Evaluation of integrals involving orthogonal polynomials: Laguerre polynomial and Bessel function example. (English) Zbl 1124.33005 Appl. Math. Lett. 20, No. 1, 38-42 (2007). MSC: 33C10 33C45 33C20 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Appl. Math. Lett. 20, No. 1, 38--42 (2007; Zbl 1124.33005) Full Text: DOI
Weber, Hans J. Connections between real polynomial solutions of hypergeometric-type differential equations with Rodrigues formula. (English) Zbl 1124.33011 Cent. Eur. J. Math. 5, No. 2, 415-427 (2007). Reviewer: Francisco Perez Acosta (La Laguna) MSC: 33C45 34B24 35Q40 42C05 PDF BibTeX XML Cite \textit{H. J. Weber}, Cent. Eur. J. Math. 5, No. 2, 415--427 (2007; Zbl 1124.33011) Full Text: DOI
Aristidou, Michael; Davidson, Mark; Ólafsson, Gestur Laguerre functions on symmetric cones and recursion relations in the real case. (English) Zbl 1104.43007 J. Comput. Appl. Math. 199, No. 1, 95-112 (2007). Reviewer: Ahmed I. Zayed (Chicago) MSC: 43A85 33C45 PDF BibTeX XML Cite \textit{M. Aristidou} et al., J. Comput. Appl. Math. 199, No. 1, 95--112 (2007; Zbl 1104.43007) Full Text: DOI arXiv
Kubo, Izumi; Kuo, Hui-Hsiung; Namli, Suat Interpolation of Chebyshev polynomials and interacting Fock spaces. (English) Zbl 1101.33006 Infin. Dimens. Anal. Quantum Probab. Relat. Top. 9, No. 3, 361-371 (2006). Reviewer: P. R. Parthasarathy (Chennai) MSC: 33C45 60E05 33D45 44A15 PDF BibTeX XML Cite \textit{I. Kubo} et al., Infin. Dimens. Anal. Quantum Probab. Relat. Top. 9, No. 3, 361--371 (2006; Zbl 1101.33006) Full Text: DOI
Waddell, Oscar; Sarkar, Dipanwita; Dybvig, R. Kent Fixing letrec: A faithful yet efficient implementation of Scheme’s recursive binding construct. (English) Zbl 1086.68524 High.-Order Symb. Comput. 18, No. 3-4, 299-326 (2005). MSC: 68N15 PDF BibTeX XML Cite \textit{O. Waddell} et al., High.-Order Symb. Comput. 18, No. 3--4, 299--326 (2005; Zbl 1086.68524) Full Text: DOI
Chong, C. T.; Shore, Richard A.; Yang, Yue Interpreting arithmetic in the r.e. degrees under \(\Sigma_4\)-induction. (English) Zbl 1110.03055 Simpson, Stephen G. (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). Lecture Notes in Logic 21, 120-146 (2005). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F30 03D25 03F35 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Lect. Notes Log. 21, 120--146 (2005; Zbl 1110.03055)
Erdélyi, Tamás; Friedman, Harvey The number of certain integral polynomials and nonrecursive sets of integers. I. (English) Zbl 1061.03045 Trans. Am. Math. Soc. 357, No. 3, 999-1011 (2005). Reviewer: R. Downey (Wellington) MSC: 03D80 33C45 41A17 26D15 11C08 PDF BibTeX XML Cite \textit{T. Erdélyi} and \textit{H. Friedman}, Trans. Am. Math. Soc. 357, No. 3, 999--1011 (2005; Zbl 1061.03045) Full Text: DOI
DasGupta, Anirban; Shepp, L. Chebyshev polynomials and \(G\)-distributed functions of \(F\)-distributed variables. (English) Zbl 1268.60014 Dasgupta, Anirban (ed.), A Festschrift for Herman Rubin. Beachwood, OH: IMS, Institute of Mathematical Statistics (ISBN 0-940600-61-7/pbk). Institute of Mathematical Statistics Lecture Notes - Monograph Series 45, 153-163 (2004). MSC: 60E05 33C45 PDF BibTeX XML Cite \textit{A. DasGupta} and \textit{L. Shepp}, IMS Lect. Notes, Monogr. Ser. 45, 153--163 (2004; Zbl 1268.60014)
Alhaidari, A. D. Exact \(L^{2}\) series solution of the Dirac-Coulomb problem for all energies. (English) Zbl 1045.81013 Ann. Phys. 312, No. 1, 144-160 (2004). MSC: 81Q05 33C15 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Ann. Phys. 312, No. 1, 144--160 (2004; Zbl 1045.81013) Full Text: DOI arXiv
Wünsche, A. Generalized Hermite polynomials associated with functions of parabolic cylinder. (English) Zbl 1026.33009 Appl. Math. Comput. 141, No. 1, 197-213 (2003). Reviewer: Semyon Yakubovich (Eindhoven) MSC: 33C45 33C10 33C15 PDF BibTeX XML Cite \textit{A. Wünsche}, Appl. Math. Comput. 141, No. 1, 197--213 (2003; Zbl 1026.33009) Full Text: DOI
Alhaidari, A. D. Deformation of the three-term recursion relation and generation of new orthogonal polynomials. (English) Zbl 1047.39002 J. Phys. A, Math. Gen. 35, No. 43, 9071-9079 (2002). MSC: 39A10 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, J. Phys. A, Math. Gen. 35, No. 43, 9071--9079 (2002; Zbl 1047.39002) Full Text: DOI arXiv
Holmes, S. A.; Featherstone, W. E. A unified approach the the Clenshaw summation and the recursive computation of very high degree and order normalised associated Legendre functions. (English) Zbl 1051.86009 J. Geod. 76, No. 5, 279-299 (2002). MSC: 86A30 65D20 PDF BibTeX XML Cite \textit{S. A. Holmes} and \textit{W. E. Featherstone}, J. Geod. 76, No. 5, 279--299 (2002; Zbl 1051.86009) Full Text: DOI
Tung, Sho-Huan; Chang, Ching-Tao; Wong, Wing-Kwong; Jehng, Jihn-Chang Visual representations for recursion. (English) Zbl 1011.68657 Int. J. Hum.-Comput. Stud. 54, No. 3, 285-300 (2001). MSC: 68U99 68N01 68U35 PDF BibTeX XML Cite \textit{S.-H. Tung} et al., Int. J. Hum.-Comput. Stud. 54, No. 3, 285--300 (2001; Zbl 1011.68657) Full Text: DOI
Wünsche, A. Hermite and Laguerre \(2D\) polynomials. (English) Zbl 0986.33004 J. Comput. Appl. Math. 133, No. 1-2, 665-678 (2001). Reviewer: J.Saurer (Regensburg) MSC: 33C45 33C50 PDF BibTeX XML Cite \textit{A. Wünsche}, J. Comput. Appl. Math. 133, No. 1--2, 665--678 (2001; Zbl 0986.33004) Full Text: DOI
Artalejo, J. R.; Gómez-Corral, A. Computation of the limiting distribution in queueing systems with repeated attempts and disasters. (English) Zbl 1016.90007 RAIRO, Oper. Res. 33, No. 3, 371-382 (1999). MSC: 90B22 60K25 90B10 PDF BibTeX XML Cite \textit{J. R. Artalejo} and \textit{A. Gómez-Corral}, RAIRO, Oper. Res. 33, No. 3, 371--382 (1999; Zbl 1016.90007) Full Text: DOI EuDML
Segura, Javier; Gil, Amparo Evaluation of associated Legendre functions off the cut and parabolic cylinder functions. (English) Zbl 0961.65017 ETNA, Electron. Trans. Numer. Anal. 9, 137-146 (1999). Reviewer: N.M.Temme (Amsterdam) MSC: 65D20 33-04 33C05 33C45 33C10 33C55 PDF BibTeX XML Cite \textit{J. Segura} and \textit{A. Gil}, ETNA, Electron. Trans. Numer. Anal. 9, 137--146 (1999; Zbl 0961.65017) Full Text: EMIS EuDML
Clote, P. Computation models and function algebras. (English) Zbl 0942.68049 Griffor, Edward R. (ed.), Handbook of computability theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 140, 589-681 (1999). Reviewer: Heribert Vollmer (Würzburg) MSC: 68Q05 03D10 68Q15 03-02 03D20 PDF BibTeX XML Cite \textit{P. Clote}, Stud. Logic Found. Math. 140, 589--681 (1999; Zbl 0942.68049)
Vengers’kyj, P. S.; Trushevs’kyj, V. M.; Sen’o, P. S. Estimation of recursion intensity of one class of bilateral methods. (Ukrainian. English summary) Zbl 0953.65037 Visn. L’viv. Univ., Ser. Mekh.-Mat. 50, 45-48 (1998). Reviewer: A.D.Borisenko (Kyïv) MSC: 65H10 65G30 PDF BibTeX XML Cite \textit{P. S. Vengers'kyj} et al., Visn. L'viv. Univ., Ser. Mekh.-Mat. 50, 45--48 (1998; Zbl 0953.65037)
Clote, Peter A safe recursion scheme for exponential time. (English) Zbl 0888.03029 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 44-52 (1997). MSC: 03D15 03D20 68Q15 PDF BibTeX XML Cite \textit{P. Clote}, Lect. Notes Comput. Sci. 1234, 44--52 (1997; Zbl 0888.03029)
Sabelfeld, V. K.; Sabelfeld, A. V. Simple semantic analysis problems for functional programs. (English) Zbl 0951.68075 Bull. Novosib. Comput. Cent., Ser. Comput. Sci. 5, 43-53 (1996). Reviewer: V.F.Murzina (Novosibirsk) MSC: 68Q55 06B35 PDF BibTeX XML Cite \textit{V. K. Sabelfeld} and \textit{A. V. Sabelfeld}, Bull. Novosib. Comput. Cent., Ser. Comput. Sci. 5, 43--53 (1996; Zbl 0951.68075)
Zhang, Xiaopeng An efficient algorithm for rational Bernstein polynomials and their all derivatives. (Chinese. English summary) Zbl 0854.65013 J. Northwest Univ., Nat. Sci. 25, No. 2, 101-103 (1995). Reviewer: Wang Xinhua (Hangzhou) MSC: 65D20 26C15 PDF BibTeX XML Cite \textit{X. Zhang}, J. Northwest Univ., Nat. Sci. Ed. 25, No. 2, 101--103 (1995; Zbl 0854.65013)
Hötzel Escardó, Martín Induction and recursion on the real line. (English) Zbl 0841.03026 Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995). MSC: 03D75 03D70 03F30 54E15 03G30 PDF BibTeX XML Cite \textit{M. Hötzel Escardó}, in: Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259--282 (1995; Zbl 0841.03026)
Solov’ev, V. D. Abstract theory of computability: a programmistic approach. (Abstraktnaya teoriya vychislimosti: programmistskij podkhod.) (Russian) Zbl 0873.03042 Kazan’: Izdatel’stvo Kazanskogo Universiteta. 124 p. (1993). Reviewer: A.Nabebin (Moskva) MSC: 03D75 68Q05 03-02 68-02 PDF BibTeX XML Cite \textit{V. D. Solov'ev}, Abstraktnaya teoriya vychislimosti: programmistskij podkhod (Russian). Kazan': Izdatel'stvo Kazanskogo Universiteta (1993; Zbl 0873.03042)
Grosjean, Carl C. A new method for generating infinite sets of related sequences of orthogonal polynomials, starting from first-order initial-value problems. (English) Zbl 0870.42007 Rassias, Th. M. (ed.) et al., Topics in polynomials of one and several variables and their applications. Volume dedicated to the memory of P. L. Chebyshev (1821-1894). Singapore: World Scientific. 247-271 (1993). MSC: 42C05 33C45 PDF BibTeX XML Cite \textit{C. C. Grosjean}, in: Topics in polynomials of one and several variables and their applications. Volume dedicated to the memory of P. L. Chebyshev (1821-1894). Singapore: World Scientific. 247--271 (1993; Zbl 0870.42007)
Atallah, Mikhail J.; Chen, Danny Z. On parallel rectilinear obstacle-avoiding paths. (English) Zbl 0801.68156 Comput. Geom. 3, No. 6, 307-313 (1993). MSC: 68U05 68W15 68Q25 PDF BibTeX XML Cite \textit{M. J. Atallah} and \textit{D. Z. Chen}, Comput. Geom. 3, No. 6, 307--313 (1993; Zbl 0801.68156) Full Text: DOI
Micu, M. Continuous Hahn polynomials. (English) Zbl 0791.33004 J. Math. Phys. 34, No. 3, 1197-1205 (1993). Reviewer: A.N.Srivastava (Pune) MSC: 33C20 33C45 33C90 PDF BibTeX XML Cite \textit{M. Micu}, J. Math. Phys. 34, No. 3, 1197--1205 (1993; Zbl 0791.33004) Full Text: DOI
Jagels, Carl; Reichel, Lothar On the construction of Szegő polynomials. (English) Zbl 0819.65012 J. Comput. Appl. Math. 46, No. 1-2, 241-254 (1993). MSC: 65D20 33C45 PDF BibTeX XML Cite \textit{C. Jagels} and \textit{L. Reichel}, J. Comput. Appl. Math. 46, No. 1--2, 241--254 (1993; Zbl 0819.65012) Full Text: DOI
Brezinski, Claude; Matos, Ana C. Least-squares orthogonal polynomials. (English) Zbl 0774.65009 J. Comput. Appl. Math. 46, No. 1-2, 229-239 (1993). Reviewer: D.Braess (Bochum) MSC: 65D20 41A21 33C45 42C05 PDF BibTeX XML Cite \textit{C. Brezinski} and \textit{A. C. Matos}, J. Comput. Appl. Math. 46, No. 1--2, 229--239 (1993; Zbl 0774.65009) Full Text: DOI
Rathjen, Michael Fragments of Kripke-Platek set theory with infinity. (English) Zbl 0791.03031 Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253-273 (1992). Reviewer: M.Rathjen (Münster) MSC: 03F15 03E30 03F05 03F25 03D60 PDF BibTeX XML Cite \textit{M. Rathjen}, in: Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253--273 (1992; Zbl 0791.03031)
Eğecioğlu, Ömer; Koç, Çetin K. A parallel algorithm for generating discrete orthogonal polynomials. (English) Zbl 0756.65022 Parallel Comput. 18, No. 6, 649-659 (1992). Reviewer: C.L.Koul (Jaipur) MSC: 65D20 65Y05 33C45 PDF BibTeX XML Cite \textit{Ö. Eğecioğlu} and \textit{Ç. K. Koç}, Parallel Comput. 18, No. 6, 649--659 (1992; Zbl 0756.65022) Full Text: DOI
Brezinski, Claude; Walz, Guido Sequences of transformations and triangular recursion schemes, with applications in numerical analysis. (English) Zbl 0732.65004 J. Comput. Appl. Math. 34, No. 3, 361-383 (1991). Reviewer: J.Zítko (Praha) MSC: 65B05 PDF BibTeX XML Cite \textit{C. Brezinski} and \textit{G. Walz}, J. Comput. Appl. Math. 34, No. 3, 361--383 (1991; Zbl 0732.65004) Full Text: DOI
Fischer, Bernd; Golub, Gene H. On generating polynomials which are orthogonal over several intervals. (English) Zbl 0726.65016 Math. Comput. 56, No. 194, 711-730 (1991). Reviewer: S.Grzegorski (Lublin) MSC: 65D20 65Q05 33C45 PDF BibTeX XML Cite \textit{B. Fischer} and \textit{G. H. Golub}, Math. Comput. 56, No. 194, 711--730 (1991; Zbl 0726.65016) Full Text: DOI
Lesky, Peter Reelle orthogonale Polynomlösungen von komplexen Differenzengleichungen zweiter Ordnung. (Real orthogonal polynomial solutions of second order complex difference equations). (German) Zbl 0726.39001 Result. Math. 19, No. 1-2, 110-121 (1991). Reviewer: W.Bergweiler (Aachen) MSC: 39A10 42C05 33C45 PDF BibTeX XML Cite \textit{P. Lesky}, Result. Math. 19, No. 1--2, 110--121 (1991; Zbl 0726.39001) Full Text: DOI
Gautschi, Walter On certain slowly convergent series occurring in plate contact problems. (English) Zbl 0739.40003 Math. Comput. 57, No. 195, 325-338 (1991). Reviewer: W.Luther (Aachen) MSC: 40A25 44A10 33C45 PDF BibTeX XML Cite \textit{W. Gautschi}, Math. Comput. 57, No. 195, 325--338 (1991; Zbl 0739.40003) Full Text: DOI
Shen, Bai Ying Primitive recursive arithmetic. (Chinese) Zbl 0751.03029 Shanghai: Huadong Huagong Xueyuan Chubanshe. 433 p. (1990). Reviewer: Lei Qian MSC: 03F30 03D20 03-01 03-02 PDF BibTeX XML Cite \textit{B. Y. Shen}, Primitive recursive arithmetic (Chinese). Shanghai: Huadong Huagong Xueyuan Chubanshe (1990; Zbl 0751.03029)
Adams, M. R.; Anderson, R. L.; Varley, R. Remarks on integrable hierarchies in finite dimensions. (English) Zbl 0739.58026 Hamiltonian systems, transformation groups and spectral transform methods, Proc. CRM Workshop, Montréal/Can. 1989, 3-18 (1990). Reviewer: I.J.Dorfman (Moskva) MSC: 37J35 37K10 37C80 35Q53 PDF BibTeX XML
Nemirovskij, A. S.; Shil’man, S. V. A recursion method for statistical estimation of eigenvalues and eigenvectors of matrices. (English. Russian original) Zbl 0704.62070 Sov. J. Comput. Syst. Sci. 27, No. 2, 60-64 (1989); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1988, No. 6, 39-44 (1988). Reviewer: P.Cotae MSC: 62L20 60G35 94A12 PDF BibTeX XML Cite \textit{A. S. Nemirovskij} and \textit{S. V. Shil'man}, Sov. J. Comput. Syst. Sci. 27, No. 2, 60--64 (1989; Zbl 0704.62070); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1988, No. 6, 39--44 (1988)
Cho, Yongkyun; Ginsburg, Seymour Decision problems of object histories. (English) Zbl 0689.68012 Inf. Comput. 83, No. 2, 245-263 (1989). MSC: 68P05 03D60 03D35 PDF BibTeX XML Cite \textit{Y. Cho} and \textit{S. Ginsburg}, Inf. Comput. 83, No. 2, 245--263 (1989; Zbl 0689.68012) Full Text: DOI
Dombrowski, J. Spectral measures corresponding to orthogonal polynomials with unbounded recurrence coefficients. (English) Zbl 0678.47017 Constructive Approximation 5, No. 3, 371-381 (1989). Reviewer: R.C.Gilbert MSC: 47B15 47B37 47B39 47A66 42C05 33C45 PDF BibTeX XML Cite \textit{J. Dombrowski}, Constr. Approx. 5, No. 3, 371--381 (1989; Zbl 0678.47017) Full Text: DOI
Ronveaux, A.; Marcellan, F. Co-recursive orthogonal polynomials and fourth-order differential equation. (English) Zbl 0662.33005 J. Comput. Appl. Math. 25, No. 1, 105-109 (1989). Reviewer: W.Van Asche MSC: 33C45 42C05 PDF BibTeX XML Cite \textit{A. Ronveaux} and \textit{F. Marcellan}, J. Comput. Appl. Math. 25, No. 1, 105--109 (1989; Zbl 0662.33005) Full Text: DOI
Reach, Michael Generating difference equations with the Darboux transformations. (English) Zbl 0697.39005 Commun. Math. Phys. 119, No. 3, 385-402 (1988). Reviewer: R.C.Singh Chandel MSC: 39A70 47B39 33C45 PDF BibTeX XML Cite \textit{M. Reach}, Commun. Math. Phys. 119, No. 3, 385--402 (1988; Zbl 0697.39005) Full Text: DOI
Arro, I. An algorithm for abridged calculation of the discrete cosine Fourier transform. (Russian) Zbl 0691.65102 Izv. Akad. Nauk Ehst. SSR, Fiz., Mat. 37, No. 2, 238-240 (1988). Reviewer: V.Veselý MSC: 65T40 42A15 65F30 PDF BibTeX XML Cite \textit{I. Arro}, Izv. Akad. Nauk Èst. SSR, Fiz., Mat. 37, No. 2, 238--240 (1988; Zbl 0691.65102)
Gupta, S. C.; Agrawal, B. M. K-th differences of functions satisfying three term recursion relation. (English) Zbl 0669.39003 J. Indian Acad. Math. 10, No. 1, 1-9 (1988). Reviewer: Yang En Hao MSC: 39A10 33C45 PDF BibTeX XML Cite \textit{S. C. Gupta} and \textit{B. M. Agrawal}, J. Indian Acad. Math. 10, No. 1, 1--9 (1988; Zbl 0669.39003)
Walk, H. Limit behaviour of stochastic approximation processes. (English) Zbl 0668.62058 Stat. Decis. 6, No. 1-2, 109-128 (1988). Reviewer: K.Uosaki MSC: 62L20 60F17 60B12 60F15 PDF BibTeX XML Cite \textit{H. Walk}, Stat. Decis. 6, No. 1--2, 109--128 (1988; Zbl 0668.62058)
Boiti, M.; Léon, J. J.-P.; Pempinelli, F. Canonical and noncanonical recursion operators in multidimensions. (English) Zbl 0662.35092 Stud. Appl. Math. 78, No. 1, 1-19 (1988). MSC: 35Q99 35P05 35A30 PDF BibTeX XML Cite \textit{M. Boiti} et al., Stud. Appl. Math. 78, No. 1, 1--19 (1988; Zbl 0662.35092) Full Text: DOI
Intrigila, Benedetto Negative results on the reduction of the recursion scheme. (English) Zbl 0656.03027 Z. Math. Logik Grundlagen Math. 34, No. 4, 297-300 (1988). Reviewer: M.Zimand MSC: 03D20 PDF BibTeX XML Cite \textit{B. Intrigila}, Z. Math. Logik Grundlagen Math. 34, No. 4, 297--300 (1988; Zbl 0656.03027) Full Text: DOI
Böhm, Corrado Reducing recursion to iteration by means of pairs and N-tuples. (English) Zbl 0645.68023 Foundations of logic and functional programming, Proc. Workshop, Trento/Italy 1986, Lect. Notes Comput. Sci. 306, 58-66 (1988). MSC: 68Q60 68N01 68P05 PDF BibTeX XML
Yasuura, Hiroto; Takagi, Naofumi; Yajima, Shuzo Redundant coding for local computability. (English) Zbl 0643.68043 Discrete algorithms and complexity, Proc. Jap.-US Joint Semin., Kyoto/Jap. 1986, Perspect. Comput. 15, 145-159 (1987). MSC: 68Q25 03D60 PDF BibTeX XML
Carroll, John An exponentially fitted scheme for initial value problems involving second order differential equations. (English) Zbl 0672.65058 BAIL IV, Proc. 4th Int. Conf. Boundary and interior layers, Novosibirsk/USSR 1986, Conf. Ser. 10, 241-248 (1986). MSC: 65L05 34A34 PDF BibTeX XML
Helmstädter-Rösner, Martina Über Polynomlösungen Sturm-Liouvillescher Differential- bzw. Differenzengleichungen zweiter Ordnung. (German) Zbl 0631.34058 Fakultät für Mathematik und Informatik der Universität Stuttgart. 119 S. (1986). Reviewer: H.Hochstadt MSC: 34C99 34K05 39A10 33C45 34L99 PDF BibTeX XML
Bachmann, Peter; Phan Minh Dung Nondeterministic computations – structure and axioms. (English) Zbl 0629.68052 Elektron. Informationsverarbeitung Kybernetik 22, 243-261 (1986). Reviewer: E.Knuth MSC: 03D60 68Q60 PDF BibTeX XML Cite \textit{P. Bachmann} and \textit{Phan Minh Dung}, Elektron. Informationsverarbeitung Kybernetik 22, 243--261 (1986; Zbl 0629.68052)
Pempinelli, F.; Potenza, S. On a new hierarchy of nonlinear evolution equations containing the Pohlmeyer-Lund-Regge equation. (English) Zbl 0621.35088 J. Math. Phys. 27, 2861-2867 (1986). MSC: 35Q99 35G20 35A30 PDF BibTeX XML Cite \textit{F. Pempinelli} and \textit{S. Potenza}, J. Math. Phys. 27, 2861--2867 (1986; Zbl 0621.35088) Full Text: DOI
Axelsson, O.; Eijkhout, V. A note on the vectorization of scalar recursions. (English) Zbl 0613.65039 Parallel Comput. 3, 73-83 (1986). Reviewer: W.Schönauer MSC: 65F30 68Q25 68N25 PDF BibTeX XML Cite \textit{O. Axelsson} and \textit{V. Eijkhout}, Parallel Comput. 3, 73--83 (1986; Zbl 0613.65039) Full Text: DOI
Freud, Géza On the greatest zero of an orthogonal polynomial. (English) Zbl 0603.42022 J. Approximation Theory 46, 16-24 (1986). Reviewer: M.G.de Bruin MSC: 42C05 33C45 30C15 26C10 PDF BibTeX XML Cite \textit{G. Freud}, J. Approx. Theory 46, 16--24 (1986; Zbl 0603.42022) Full Text: DOI
Böhm, Corrado Reducing recursion to iteration by algebraic extension. (English) Zbl 0596.68010 Programming, Proc. Eur. Symp., Saarbrücken/FRG 1986, Lect. Notes Comput. Sci. 213, 111-118 (1986). MSC: 68N01 68P05 PDF BibTeX XML
Dam, Mads; Jensen, Frank Compiler generation from relational semantics. (English) Zbl 0589.68007 Programming, Proc. Eur. Symp., Saarbrücken/FRG 1986, Lect. Notes Comput. Sci. 213, 1-29 (1986). MSC: 68N01 68Q55 PDF BibTeX XML
Gautschi, Walter Orthogonal polynomials - Constructive theory and applications. (English) Zbl 0583.65011 J. Comput. Appl. Math. 12/13, 61-76 (1985). Reviewer: Gh.Marinescu MSC: 65D20 33C45 PDF BibTeX XML Cite \textit{W. Gautschi}, J. Comput. Appl. Math. 12/13, 61--76 (1985; Zbl 0583.65011) Full Text: DOI
Lesky, Peter On polynomial solutions of second order differential and difference equations. (Über Polynomlösungen von Differentialgleichungen und Differenzengleichungen zweiter Ordnung.) (German) Zbl 0583.34004 Anz. Österr. Akad. Wiss., Math.-Naturwiss. Kl. 122(1985), 29-33 (1986). Reviewer: St. Fenyö MSC: 34A05 39A10 34A30 33C45 42C05 PDF BibTeX XML Cite \textit{P. Lesky}, Anz. Österr. Akad. Wiss., Math.-Naturwiss. Kl. 122, 29--33 (1985; Zbl 0583.34004)
Martin, Robert L. (ed.) Recent essays on truth and the liar paradox. (English) Zbl 0623.03001 Oxford: Clarendon Press; New York: Oxford University Press. VII, 309 p.; £10.95 (1984). Reviewer: G.Priest MSC: 03-02 03A05 03B60 03B15 03E70 PDF BibTeX XML
Mukherjee, Manik-Chandra Finite sums involving Hermite polynomials. (English) Zbl 0608.33007 J. Pure Math. 4, 43-46 (1984). Reviewer: J.P.Singhal MSC: 33C45 PDF BibTeX XML Cite \textit{M.-C. Mukherjee}, J. Pure Math. 4, 43--46 (1984; Zbl 0608.33007)
Fryer, Gerard J.; Frazer, L. Neil Seismic waves in stratified anisotropic media. (English) Zbl 0556.73092 Geophys. J. R. Astron. Soc. 78, 691-700 (1984). MSC: 74L05 86A15 74E10 74S30 74J10 74J15 35P25 PDF BibTeX XML Cite \textit{G. J. Fryer} and \textit{L. N. Frazer}, Geophys. J. R. Astron. Soc. 78, 691--700 (1984; Zbl 0556.73092)
Cohen, Joel M.; Trenholme, Alice R. Orthogonal polynomials with a constant recursion formula and an application to harmonic analysis. (English) Zbl 0549.43002 J. Funct. Anal. 59, 175-184 (1984). Reviewer: P.Metzger MSC: 43A05 22D25 33C45 43A65 PDF BibTeX XML Cite \textit{J. M. Cohen} and \textit{A. R. Trenholme}, J. Funct. Anal. 59, 175--184 (1984; Zbl 0549.43002) Full Text: DOI
Shen, Baiying The primitive recursive arithmetic in the first class \(B^ 11\). (Chinese) Zbl 0543.03033 Acta Math. Sin. 27, 203-207 (1984). Reviewer: C.T.Chong MSC: 03D99 PDF BibTeX XML Cite \textit{B. Shen}, Acta Math. Sin. 27, 203--207 (1984; Zbl 0543.03033)
Schmeck, Hartmut Algebraic semantics of recursive flowchart schemes. (English) Zbl 0544.68009 Inf. Control 59, 108-126 (1983). MSC: 68Q60 18C10 03D65 PDF BibTeX XML Cite \textit{H. Schmeck}, Inf. Control 59, 108--126 (1983; Zbl 0544.68009) Full Text: DOI
Kowalski, M. A. The recursion formulas for orthogonal polynomials in n variables. (English) Zbl 0494.33011 SIAM J. Math. Anal. 13, 309-315 (1982). MSC: 33C45 PDF BibTeX XML Cite \textit{M. A. Kowalski}, SIAM J. Math. Anal. 13, 309--315 (1982; Zbl 0494.33011) Full Text: DOI
Lifschitz, Vladimir Constructive assertions in an extension of classical mathematics. (English) Zbl 0488.03034 J. Symb. Log. 47, 359-387 (1982). MSC: 03F50 68Q65 03D60 PDF BibTeX XML Cite \textit{V. Lifschitz}, J. Symb. Log. 47, 359--387 (1982; Zbl 0488.03034) Full Text: DOI
Terlouw, Jan On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising. (English) Zbl 0488.03030 J. Symb. Log. 47, 395-402 (1982). MSC: 03F10 03F15 PDF BibTeX XML Cite \textit{J. Terlouw}, J. Symb. Log. 47, 395--402 (1982; Zbl 0488.03030) Full Text: DOI
Gautschi, Walter Polynomials orthogonal with respect to the reciprocal gamma function. (English) Zbl 0484.65011 BIT 22, 387-389 (1982). MSC: 65D32 33C45 41A55 PDF BibTeX XML Cite \textit{W. Gautschi}, BIT 22, 387--389 (1982; Zbl 0484.65011) Full Text: DOI
Gautschi, Walter On generating orthogonal polynomials. (English) Zbl 0482.65011 SIAM J. Sci. Stat. Comput. 3, 289-317 (1982). MSC: 65D20 33C45 PDF BibTeX XML Cite \textit{W. Gautschi}, SIAM J. Sci. Stat. Comput. 3, 289--317 (1982; Zbl 0482.65011) Full Text: DOI
Gallier, Jean H. Recursion-closed algebraic theories. (English) Zbl 0472.68006 J. Comput. Syst. Sci. 23, 69-105 (1981). MSC: 68N01 18B20 18C10 PDF BibTeX XML Cite \textit{J. H. Gallier}, J. Comput. Syst. Sci. 23, 69--105 (1981; Zbl 0472.68006) Full Text: DOI
Di Paola, Robert A. A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no alpha-recursive functional on the class of alpha- recursive functions. (English) Zbl 0471.03039 J. Symb. Log. 46, 216-232 (1981). MSC: 03D60 03D25 PDF BibTeX XML Cite \textit{R. A. Di Paola}, J. Symb. Log. 46, 216--232 (1981; Zbl 0471.03039) Full Text: DOI
Bergstra, J. A.; Klop, J. W. A formalized proof system for total correctness of WHILE programs. (English) Zbl 0466.68014 Math. Cent., Amst., Afd. Inf. IW 175/81, 16 p. (1981). MSC: 68Q60 68Q65 68P05 03D80 PDF BibTeX XML
Garsia, A. M.; Remmel, J. A combinatorial interpretation of q-derangement and q-Laguerre numbers. (English) Zbl 0462.05012 Eur. J. Comb. 1, 47-59 (1980). MSC: 05A99 03D40 33C45 05C70 05A15 PDF BibTeX XML Cite \textit{A. M. Garsia} and \textit{J. Remmel}, Eur. J. Comb. 1, 47--59 (1980; Zbl 0462.05012) Full Text: DOI
Satsuma, Junkichi; Ablowitz, Mark J. Solutions of an internal wave equation describing a stratified fluid with finite depth. (English) Zbl 0447.76015 Nonlinear partial differential equations in engineering and applied science, Proc. Conf., Kingston 1979, Lect. Notes Pure Appl. Math. 54, 397-414 (1980). MSC: 76B55 76V05 76B25 PDF BibTeX XML
Hunt, H. B. III; Constable, R. L.; Sahni, S. On the computational complexity of program scheme equivalence. (English) Zbl 0447.68038 SIAM J. Comput. 9, 396-416 (1980). MSC: 68Q25 68Q60 PDF BibTeX XML Cite \textit{H. B. Hunt III} et al., SIAM J. Comput. 9, 396--416 (1980; Zbl 0447.68038) Full Text: DOI
Ainsworth, O. R. A property of quasi-orthogonal polynomials. (English) Zbl 0438.33010 Fibonacci Q. 18, 163-165 (1980). MSC: 33C45 11B37 PDF BibTeX XML Cite \textit{O. R. Ainsworth}, Fibonacci Q. 18, 163--165 (1980; Zbl 0438.33010)
Friedman, Emily P.; Greibach, Sheila A. Monadic recursion schemes: The effect of constants. (English) Zbl 0411.03010 J. Comput. Syst. Sci. 18, 254-266 (1979). MSC: 03B25 68Q60 03D80 PDF BibTeX XML Cite \textit{E. P. Friedman} and \textit{S. A. Greibach}, J. Comput. Syst. Sci. 18, 254--266 (1979; Zbl 0411.03010) Full Text: DOI