Saad, K. M.; Al-Shomrani, A. A. An application of homotopy analysis transform method for Riccati differential equation of fractional order. (English) Zbl 1488.34094 J. Fract. Calc. Appl. 7, No. 1, 61-72 (2016). MSC: 34A45 34B30 PDFBibTeX XMLCite \textit{K. M. Saad} and \textit{A. A. Al-Shomrani}, J. Fract. Calc. Appl. 7, No. 1, 61--72 (2016; Zbl 1488.34094) Full Text: Link
Singh, J.; Kumar, D.; Swroop, R.; Kumar, S. Numerical computation of fractional partial differential equations arising in physics. (English) Zbl 1474.34052 J. Niger. Math. Soc. 35, No. 3, 439-459 (2016). MSC: 34A08 35A20 35A22 PDFBibTeX XMLCite \textit{J. Singh} et al., J. Niger. Math. Soc. 35, No. 3, 439--459 (2016; Zbl 1474.34052) Full Text: Link
Cisinski, Denis-Charles Higher categories and topos theory. (Catégories supérieures et théorie des topos.) (French) Zbl 1470.18001 Séminaire Bourbaki. Volume 2014/2015. Exposés 1089–1103. Paris: Société Mathématique de France (SMF). Astérisque 380, 263-324, Exp. No. 1097 (2016). MSC: 18-02 55-02 18N60 55U40 18B25 55U35 PDFBibTeX XMLCite \textit{D.-C. Cisinski}, Astérisque 380, 263--324, Exp. No. 1097 (2016; Zbl 1470.18001)
Hussain, S. T.; Nadeem, S.; Qasim, M. Impact of linear operator on the convergence of HAM solution: a modified operator approach. (English) Zbl 1488.76004 Adv. Appl. Math. Mech. 8, No. 3, 499-516 (2016). MSC: 76A05 76M99 PDFBibTeX XMLCite \textit{S. T. Hussain} et al., Adv. Appl. Math. Mech. 8, No. 3, 499--516 (2016; Zbl 1488.76004) Full Text: DOI
Brociek, Rafał; Hetmaniok, Edyta; Matlak, Jarosław; Słota, Damian Application of the homotopy analysis method for solving the systems of linear and nonlinear integral equations. (English) Zbl 1488.65739 Math. Model. Anal. 21, No. 3, 350-370 (2016). MSC: 65R20 45D05 45F05 PDFBibTeX XMLCite \textit{R. Brociek} et al., Math. Model. Anal. 21, No. 3, 350--370 (2016; Zbl 1488.65739) Full Text: DOI
Torres-Muñoz, Delia; Hernandez-Martinez, Luis; Vázquez-Leal, Héctor Spherical continuation algorithm with spheres of variable radius to trace homotopy curves. (English) Zbl 07322713 Int. J. Appl. Comput. Math. 2, No. 3, 421-433 (2016). MSC: 65H20 PDFBibTeX XMLCite \textit{D. Torres-Muñoz} et al., Int. J. Appl. Comput. Math. 2, No. 3, 421--433 (2016; Zbl 07322713) Full Text: DOI
Mukherjee, Goutam; Sarkar, Swagata; Sen, Debasis Finite group actions on Kan complexes. (English) Zbl 1474.55002 J. Indian Math. Soc., New Ser. 83, No. 1-2, 145-160 (2016). MSC: 55N25 55N91 55P42 55P91 55Q91 55T99 PDFBibTeX XMLCite \textit{G. Mukherjee} et al., J. Indian Math. Soc., New Ser. 83, No. 1--2, 145--160 (2016; Zbl 1474.55002) Full Text: arXiv Link
Rostamian, Malihe; Shahrezaee, Alimardan Numerical solution of a semi-linear inverse parabolic problem via HPM. (English) Zbl 1453.65380 Int. J. Comput. Sci. Math. 7, No. 4, 330-339 (2016). MSC: 65M99 35K58 PDFBibTeX XMLCite \textit{M. Rostamian} and \textit{A. Shahrezaee}, Int. J. Comput. Sci. Math. 7, No. 4, 330--339 (2016; Zbl 1453.65380) Full Text: DOI
Qayyum, Mubashir; Khan, Hamid; Rahim, M. T. A novel approach to approximate unsteady squeezing flow through porous medium. (English) Zbl 1448.76162 J. Prime Res. Math. 12, 91-109 (2016). MSC: 76S05 76M99 PDFBibTeX XMLCite \textit{M. Qayyum} et al., J. Prime Res. Math. 12, 91--109 (2016; Zbl 1448.76162) Full Text: Link
Savin, Anton Yur’evich; Sternin, Boris Yur’evich Homotopy classification of elliptic problems associated with discrete group actions on manifolds with boundary. (Russian. English summary) Zbl 1463.58013 Ufim. Mat. Zh. 8, No. 3, 126-134 (2016); translation in Ufa Math. J. 8, No. 3, 122-129 (2016). MSC: 58J32 58J40 46L80 35S15 PDFBibTeX XMLCite \textit{A. Y. Savin} and \textit{B. Y. Sternin}, Ufim. Mat. Zh. 8, No. 3, 126--134 (2016; Zbl 1463.58013); translation in Ufa Math. J. 8, No. 3, 122--129 (2016) Full Text: DOI MNR
Liu, Tao A wavelet multiscale-homotopy method for the parameter identification problem of partial differential equations. (English) Zbl 1443.42024 Comput. Math. Appl. 71, No. 7, 1519-1523 (2016). MSC: 42C40 35R30 PDFBibTeX XMLCite \textit{T. Liu}, Comput. Math. Appl. 71, No. 7, 1519--1523 (2016; Zbl 1443.42024) Full Text: DOI
Curato, Gianbiagio; Gatheral, Jim; Lillo, Fabrizio Discrete homotopy analysis for optimal trading execution with nonlinear transient market impact. (English) Zbl 1510.91182 Commun. Nonlinear Sci. Numer. Simul. 39, 332-342 (2016). MSC: 91G60 65R20 91G80 PDFBibTeX XMLCite \textit{G. Curato} et al., Commun. Nonlinear Sci. Numer. Simul. 39, 332--342 (2016; Zbl 1510.91182) Full Text: DOI
Yuan, Li-Guo; Alam, Zeeshan An optimal homotopy analysis method based on particle swarm optimization: application to fractional-order differential equation. (English) Zbl 1463.34028 J. Appl. Anal. Comput. 6, No. 1, 103-118 (2016). MSC: 34A08 34A45 PDFBibTeX XMLCite \textit{L.-G. Yuan} and \textit{Z. Alam}, J. Appl. Anal. Comput. 6, No. 1, 103--118 (2016; Zbl 1463.34028) Full Text: DOI
Askari, Amir R.; Tahani, Masoud Stability analysis of electrostatically actuated nano/micro-beams under the effect of van der Waals force, a semi-analytical approach. (English) Zbl 1458.74051 Commun. Nonlinear Sci. Numer. Simul. 34, 130-141 (2016). MSC: 74G60 74K10 74F15 74M25 74G10 PDFBibTeX XMLCite \textit{A. R. Askari} and \textit{M. Tahani}, Commun. Nonlinear Sci. Numer. Simul. 34, 130--141 (2016; Zbl 1458.74051) Full Text: DOI
Ganjefar, Soheil; Rezaei, Sara Modified homotopy perturbation method for optimal control problems using the Padé approximant. (English) Zbl 1471.49019 Appl. Math. Modelling 40, No. 15-16, 7062-7081 (2016). MSC: 49M05 49K15 49L20 65L99 PDFBibTeX XMLCite \textit{S. Ganjefar} and \textit{S. Rezaei}, Appl. Math. Modelling 40, No. 15--16, 7062--7081 (2016; Zbl 1471.49019) Full Text: DOI
Sakar, Mehmet Giyas; Uludag, Fatih; Erdogan, Fevzi Numerical solution of time-fractional nonlinear PDEs with proportional delays by homotopy perturbation method. (English) Zbl 1465.65113 Appl. Math. Modelling 40, No. 13-14, 6639-6649 (2016). MSC: 65M99 35R11 PDFBibTeX XMLCite \textit{M. G. Sakar} et al., Appl. Math. Modelling 40, No. 13--14, 6639--6649 (2016; Zbl 1465.65113) Full Text: DOI
Charpentier, Isabelle; Lampoh, Komlanvi Sensitivity computations in higher order continuation methods. (English) Zbl 1452.35087 Appl. Math. Modelling 40, No. 4, 3365-3380 (2016). MSC: 35K91 35K20 65M06 65P30 PDFBibTeX XMLCite \textit{I. Charpentier} and \textit{K. Lampoh}, Appl. Math. Modelling 40, No. 4, 3365--3380 (2016; Zbl 1452.35087) Full Text: DOI
Liu, Q. X.; Liu, J. K.; Chen, Y. M. Asymptotic limit cycle of fractional van der Pol oscillator by homotopy analysis method and memory-free principle. (English) Zbl 1452.34071 Appl. Math. Modelling 40, No. 4, 3211-3220 (2016). MSC: 34K07 34K37 PDFBibTeX XMLCite \textit{Q. X. Liu} et al., Appl. Math. Modelling 40, No. 4, 3211--3220 (2016; Zbl 1452.34071) Full Text: DOI
Sayevand, K.; Jafari, H. On systems of nonlinear equations: some modified iteration formulas by the homotopy perturbation method with accelerated fourth- and fifth-order convergence. (English) Zbl 1446.65028 Appl. Math. Modelling 40, No. 2, 1467-1476 (2016). MSC: 65H10 PDFBibTeX XMLCite \textit{K. Sayevand} and \textit{H. Jafari}, Appl. Math. Modelling 40, No. 2, 1467--1476 (2016; Zbl 1446.65028) Full Text: DOI
Quirin, Kevin; Tabareau, Nicolas Lawvere-Tierney sheafification in homotopy type theory. (English) Zbl 1454.03021 J. Formaliz. Reason. 9, No. 2, 131-161 (2016). MSC: 03B38 55U35 18B25 18F20 03B35 PDFBibTeX XMLCite \textit{K. Quirin} and \textit{N. Tabareau}, J. Formaliz. Reason. 9, No. 2, 131--161 (2016; Zbl 1454.03021) Full Text: DOI
Shekarabi, F. Hosseini; Khodabin, M. Numerical solution of a model for stochastic polymer equation driven by space-time Brownian motion via homotopy perturbation method. (English) Zbl 1421.82033 Int. J. Appl. Comput. Math. 2, No. 4, 485-498 (2016). MSC: 82C80 82D60 65M99 60H35 65R20 PDFBibTeX XMLCite \textit{F. H. Shekarabi} and \textit{M. Khodabin}, Int. J. Appl. Comput. Math. 2, No. 4, 485--498 (2016; Zbl 1421.82033) Full Text: DOI
Bakkyaraj, T.; Sahadevan, R. Approximate analytical solution of two coupled time fractional nonlinear Schrödinger equations. (English) Zbl 1420.65083 Int. J. Appl. Comput. Math. 2, No. 1, 113-135 (2016). MSC: 65L99 35R11 35Q55 PDFBibTeX XMLCite \textit{T. Bakkyaraj} and \textit{R. Sahadevan}, Int. J. Appl. Comput. Math. 2, No. 1, 113--135 (2016; Zbl 1420.65083) Full Text: DOI
Nave, Ophir Analysis combustion of fuel droplets release to the atmosphere using homotopy analysis method. (English) Zbl 1438.86001 Cogent Math. 3, Article ID 1216240, 17 p. (2016). MSC: 86-08 86A10 80A25 80M99 76T10 76V05 PDFBibTeX XMLCite \textit{O. Nave}, Cogent Math. 3, Article ID 1216240, 17 p. (2016; Zbl 1438.86001) Full Text: DOI
Rani, Pratibha; Jain, Divya; Saxena, Vinod Prakash Approximate analytical solution with stability analysis of HIV/AIDS model. (English) Zbl 1438.92091 Cogent Math. 3, Article ID 1206692, 14 p. (2016). MSC: 92D30 34D20 PDFBibTeX XMLCite \textit{P. Rani} et al., Cogent Math. 3, Article ID 1206692, 14 p. (2016; Zbl 1438.92091) Full Text: DOI
Bartoň, Michael; Calo, Victor Manuel Optimal quadrature rules for odd-degree spline spaces and their application to tensor-product-based isogeometric analysis. (English) Zbl 1425.65039 Comput. Methods Appl. Mech. Eng. 305, 217-240 (2016). MSC: 65D30 65D17 PDFBibTeX XMLCite \textit{M. Bartoň} and \textit{V. M. Calo}, Comput. Methods Appl. Mech. Eng. 305, 217--240 (2016; Zbl 1425.65039) Full Text: DOI Link
Qasim, Uswah; Ali, Zulifqar; Ahmad, Fayyaz; Serra-Capizzano, Stefano; Zaka Ullah, Malik; Asma, Mir Constructing frozen Jacobian iterative methods for solving systems of nonlinear equations, associated with ODEs and PDEs using the homotopy method. (English) Zbl 1461.65094 Algorithms (Basel) 9, No. 1, Paper No. 18, 17 p. (2016). MSC: 65H20 PDFBibTeX XMLCite \textit{U. Qasim} et al., Algorithms (Basel) 9, No. 1, Paper No. 18, 17 p. (2016; Zbl 1461.65094) Full Text: DOI
Kürkçü, Ömür Kıvanç; Aslan, Ersin; Sezer, Mehmet A numerical approach with error estimation to solve general integro-differential-difference equations using Dickson polynomials. (English) Zbl 1410.65240 Appl. Math. Comput. 276, 324-339 (2016). MSC: 65L03 65L70 PDFBibTeX XMLCite \textit{Ö. K. Kürkçü} et al., Appl. Math. Comput. 276, 324--339 (2016; Zbl 1410.65240) Full Text: DOI
Liu, Tao Reconstruction of a permeability field with the wavelet multiscale-homotopy method for a nonlinear convection-diffusion equation. (English) Zbl 1410.76432 Appl. Math. Comput. 275, 432-437 (2016). MSC: 76S05 76M25 65M32 PDFBibTeX XMLCite \textit{T. Liu}, Appl. Math. Comput. 275, 432--437 (2016; Zbl 1410.76432) Full Text: DOI
Wang, P.; Lu, D. Q. Nonlinear hydroelastic waves traveling in a thin elastic plate floating on a two-layer fluid. (English) Zbl 1410.74042 Appl. Math. Comput. 274, 700-710 (2016). MSC: 74K20 74F10 76B10 PDFBibTeX XMLCite \textit{P. Wang} and \textit{D. Q. Lu}, Appl. Math. Comput. 274, 700--710 (2016; Zbl 1410.74042) Full Text: DOI
Rahimi, J.; Rahimi-Esbo, M.; Ganji, D. D.; Rahimipetroudi, I.; Mohammadyari, R. Implementation of homotopy analysis method on circular permeable slider containing of incompressible Newtonian fluid. (English) Zbl 1424.76016 Bol. Soc. Parana. Mat. (3) 34, No. 1, 21-31 (2016). MSC: 76D10 65Z05 76M25 PDFBibTeX XMLCite \textit{J. Rahimi} et al., Bol. Soc. Parana. Mat. (3) 34, No. 1, 21--31 (2016; Zbl 1424.76016) Full Text: Link
Singh, Dharmendra Kumar On partial fractional differential equations with variable coefficients. (English) Zbl 1438.35441 Fract. Differ. Calc. 6, No. 1, 121-132 (2016). MSC: 35R11 26A33 33E12 65D99 65M99 PDFBibTeX XMLCite \textit{D. K. Singh}, Fract. Differ. Calc. 6, No. 1, 121--132 (2016; Zbl 1438.35441) Full Text: DOI
Ayati, Zainab; Ahmady, Sima The comparison of optimal homotopy asymptotic method and homotopy perturbation method to solve Fisher equation. (English) Zbl 1438.35253 Comput. Methods Differ. Equ. 4, No. 1, 43-53 (2016). MSC: 35K91 35C10 35K15 PDFBibTeX XMLCite \textit{Z. Ayati} and \textit{S. Ahmady}, Comput. Methods Differ. Equ. 4, No. 1, 43--53 (2016; Zbl 1438.35253) Full Text: Link
Kozak, Jernej; Krajnc, Marjeta; Vitrih, Vito \(G^1\) interpolation by rational cubic PH curves in \(\mathbb R^3\). (English) Zbl 1417.65061 Comput. Aided Geom. Des. 42, 7-22 (2016). MSC: 65D05 41A05 41A20 PDFBibTeX XMLCite \textit{J. Kozak} et al., Comput. Aided Geom. Des. 42, 7--22 (2016; Zbl 1417.65061) Full Text: DOI
Chorny, Boris A classification of small linear functors. (English) Zbl 1404.55014 Int. Math. Res. Not. 2016, No. 18, 5493-5517 (2016). MSC: 55P65 18G30 PDFBibTeX XMLCite \textit{B. Chorny}, Int. Math. Res. Not. 2016, No. 18, 5493--5517 (2016; Zbl 1404.55014) Full Text: DOI arXiv
Dan-Cohen, Ishai; Wewers, Stefan Mixed Tate motives and the unit equation. (English) Zbl 1404.11093 Int. Math. Res. Not. 2016, No. 17, 5291-5354 (2016). MSC: 11G55 11D45 14F42 14H30 PDFBibTeX XMLCite \textit{I. Dan-Cohen} and \textit{S. Wewers}, Int. Math. Res. Not. 2016, No. 17, 5291--5354 (2016; Zbl 1404.11093) Full Text: DOI arXiv
Dupont, Clément Purity, formality, and arrangement complements. (English) Zbl 1404.55013 Int. Math. Res. Not. 2016, No. 13, 4132-4144 (2016). MSC: 55P62 14C30 14F35 32S22 32S35 PDFBibTeX XMLCite \textit{C. Dupont}, Int. Math. Res. Not. 2016, No. 13, 4132--4144 (2016; Zbl 1404.55013) Full Text: DOI arXiv
Guo, Changhong; Fang, Shaomei Stability and approximate analytic solutions of the fractional Lotka-Volterra equations for three competitors. (English) Zbl 1418.92092 Adv. Difference Equ. 2016, Paper No. 219, 14 p. (2016). MSC: 92D25 37N25 34A08 34D05 PDFBibTeX XMLCite \textit{C. Guo} and \textit{S. Fang}, Adv. Difference Equ. 2016, Paper No. 219, 14 p. (2016; Zbl 1418.92092) Full Text: DOI
Gómez-Aguilar, J. F.; Torres, L.; Yépez-Martínez, H.; Baleanu, D.; Reyes, J. M.; Sosa, I. O. Fractional Liénard type model of a pipeline within the fractional derivative without singular kernel. (English) Zbl 1419.35208 Adv. Difference Equ. 2016, Paper No. 173, 13 p. (2016). MSC: 35R11 34A08 34A25 26A33 65M99 35Q35 PDFBibTeX XMLCite \textit{J. F. Gómez-Aguilar} et al., Adv. Difference Equ. 2016, Paper No. 173, 13 p. (2016; Zbl 1419.35208) Full Text: DOI
Morales-Delgado, Victor Fabian; Gómez-Aguilar, José Francisco; Yépez-Martínez, Huitzilin; Baleanu, Dumitru; Escobar-Jimenez, Ricardo Fabricio; Olivares-Peregrino, Victor Hugo Laplace homotopy analysis method for solving linear partial differential equations using a fractional derivative with and without kernel singular. (English) Zbl 1419.35220 Adv. Difference Equ. 2016, Paper No. 164, 17 p. (2016). MSC: 35R11 26A33 34A08 65M99 34A45 PDFBibTeX XMLCite \textit{V. F. Morales-Delgado} et al., Adv. Difference Equ. 2016, Paper No. 164, 17 p. (2016; Zbl 1419.35220) Full Text: DOI
Elliott, Robert J.; Chan, Leunglung; Siu, Tak Kuen Pricing options in a Markov regime switching model with a random acceleration for the volatility. (English) Zbl 1418.91509 IMA J. Appl. Math. 81, No. 5, 842-859 (2016). MSC: 91G20 60J28 91G60 65C05 PDFBibTeX XMLCite \textit{R. J. Elliott} et al., IMA J. Appl. Math. 81, No. 5, 842--859 (2016; Zbl 1418.91509) Full Text: DOI Link
Mendes Lopes, Margarida; Pardini, Rita Godeaux surfaces with an Enriques involution and some stable degenerations. (English) Zbl 1400.14097 Casnati, Gianfranco (ed.) et al., From classical to modern algebraic geometry. Corrado Segre’s mastership and legacy. Basel: Birkhäuser/Springer (ISBN 978-3-319-32992-5/hbk; 978-3-319-32994-9/ebook). Trends in the History of Science, 451-473 (2016). MSC: 14J10 14J28 14J29 14F35 PDFBibTeX XMLCite \textit{M. Mendes Lopes} and \textit{R. Pardini}, in: From classical to modern algebraic geometry. Corrado Segre's mastership and legacy. Basel: Birkhäuser/Springer. 451--473 (2016; Zbl 1400.14097) Full Text: DOI arXiv
Aquino, A. I.; Bo-ot, L. Ma. T. Multivalued behavior for a two-level system using homotopy analysis method. (English) Zbl 1400.76056 Physica A 443, 358-371 (2016). MSC: 76M25 34A45 65L99 76P05 PDFBibTeX XMLCite \textit{A. I. Aquino} and \textit{L. Ma. T. Bo-ot}, Physica A 443, 358--371 (2016; Zbl 1400.76056) Full Text: DOI
Huang, Rui Zhi; Liu, Xiu Gui Non-triviality of a product in the Adams \(E_2\)-term. (English) Zbl 1410.55013 Indian J. Pure Appl. Math. 47, No. 1, 59-72 (2016). MSC: 55T15 55Q45 PDFBibTeX XMLCite \textit{R. Z. Huang} and \textit{X. G. Liu}, Indian J. Pure Appl. Math. 47, No. 1, 59--72 (2016; Zbl 1410.55013) Full Text: DOI
Auyeung, Shamuel; Ruiter, Joshua; Zhang, Daiwei An algebraic characterization of highly connected \(2n\)-manifolds. (English) Zbl 1398.57038 Undergrad. Math J. 17, No. 2, 74-112 (2016). MSC: 57R19 55P15 PDFBibTeX XMLCite \textit{S. Auyeung} et al., Undergrad. Math J. 17, No. 2, 74--112 (2016; Zbl 1398.57038) Full Text: Link
Dirican, Esma; Sözen, Yaşar Connected sum of orientable surfaces and Reidemeister torsion. (English) Zbl 1401.57033 Pure Appl. Math. Q. 12, No. 4, 517-541 (2016). MSC: 57Q10 PDFBibTeX XMLCite \textit{E. Dirican} and \textit{Y. Sözen}, Pure Appl. Math. Q. 12, No. 4, 517--541 (2016; Zbl 1401.57033) Full Text: DOI
Ahmed, Saeed; Kalim, Muhammad A comparative approach to the solution of the Zabolotskaya-Khokhlov equation by iteration methods. (English) Zbl 1457.65157 Adv. Math. Phys. 2016, Article ID 7909632, 8 p. (2016). MSC: 65M99 35Q53 PDFBibTeX XMLCite \textit{S. Ahmed} and \textit{M. Kalim}, Adv. Math. Phys. 2016, Article ID 7909632, 8 p. (2016; Zbl 1457.65157) Full Text: DOI
Patel, Kajal K.; Mehta, M. N.; Singh, Twinkle R. A homotopy series solution to a nonlinear partial differential equation arising from a mathematical model of the counter-current imbibition phenomenon in a heterogeneous porous medium. (English) Zbl 1408.76406 Eur. J. Mech., B, Fluids 60, 119-126 (2016). MSC: 76M25 76A05 65M99 76S05 PDFBibTeX XMLCite \textit{K. K. Patel} et al., Eur. J. Mech., B, Fluids 60, 119--126 (2016; Zbl 1408.76406) Full Text: DOI
Rong, Jiang; Qin, Tao; An, Bo; Liu, Tie-Yan Modeling bounded rationality for sponsored search auctions. (English) Zbl 1396.91278 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 515-523 (2016). MSC: 91B26 91-04 68W15 PDFBibTeX XMLCite \textit{J. Rong} et al., Front. Artif. Intell. Appl. 285, 515--523 (2016; Zbl 1396.91278) Full Text: DOI
Căruntu, Bogdan; Ene, Remus-Daniel Approximate analytic solutions for stagnation-point flow of a viscous fluid over a non-linearly stretching surface. (English) Zbl 1413.76030 Bul. Științ. Univ. Politeh. Timiș., Ser. Mat.-Fiz. 61(75), No. 1, 45-60 (2016). MSC: 76M25 76A10 76D05 76D10 76M55 PDFBibTeX XMLCite \textit{B. Căruntu} and \textit{R.-D. Ene}, Bul. Științ. Univ. Politeh. Timiș., Ser. Mat.-Fiz. 61(75), No. 1, 45--60 (2016; Zbl 1413.76030)
Yu, Meilin; Wang, Z. J. Homotopy continuation of the high-order flux reconstruction/correction procedure via reconstruction (FR/CPR) method for steady flow simulation. (English) Zbl 1390.76690 Comput. Fluids 131, 16-28 (2016). MSC: 76M25 65M99 76H05 PDFBibTeX XMLCite \textit{M. Yu} and \textit{Z. J. Wang}, Comput. Fluids 131, 16--28 (2016; Zbl 1390.76690) Full Text: DOI
Kraus, Nicolai Constructions with non-recursive higher inductive types. (English) Zbl 1394.03010 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 595-604 (2016). MSC: 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{N. Kraus}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 595--604 (2016; Zbl 1394.03010) Full Text: DOI Link
Hou (Favonia), Kuen-Bang; Finster, Eric; Licata, Daniel R.; Lumsdaine, Peter LeFanu A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory. (English) Zbl 1395.55011 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 565-574 (2016). MSC: 55P35 03B15 03B35 55P40 55U35 PDFBibTeX XMLCite \textit{K.-B. Hou (Favonia)} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 565--574 (2016; Zbl 1395.55011) Full Text: DOI arXiv
Chambers, Erin; Kostitsyna, Irina; Löffler, Maarten; Staals, Frank Homotopy measures for representative trajectories. (English) Zbl 1397.68199 Sankowski, Piotr (ed.) et al., 24th annual European symposium on algorithms, ESA 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-015-6). LIPIcs – Leibniz International Proceedings in Informatics 57, Article 27, 17 p. (2016). MSC: 68U05 68Q17 68Q25 PDFBibTeX XMLCite \textit{E. Chambers} et al., LIPIcs -- Leibniz Int. Proc. Inform. 57, Article 27, 17 p. (2016; Zbl 1397.68199) Full Text: DOI
Bandiera, Ruggero Homotopy abelian \(L_{\infty}\) algebras and splitting property. (English) Zbl 1416.17025 Rend. Mat. Appl., VII. Ser. 37, No. 1-2, 105-122 (2016). MSC: 17D25 17B55 18G35 18G55 PDFBibTeX XMLCite \textit{R. Bandiera}, Rend. Mat. Appl., VII. Ser. 37, No. 1--2, 105--122 (2016; Zbl 1416.17025) Full Text: Link
Behrens, Mark Joseph (ed.); Teichner, Peter (ed.); Wahl, Nathalie (ed.); Weiss, Michael S. (ed.) Topology. Abstracts from the workshop held July 17–23, 2016. (Topologie.) (English) Zbl 1380.00029 Oberwolfach Rep. 13, No. 3, 2009-2068 (2016). MSC: 00B05 00B25 55-XX 57-XX 18Axx 18Bxx 14F42 13D03 16E40 55-06 57-06 PDFBibTeX XMLCite \textit{M. J. Behrens} (ed.) et al., Oberwolfach Rep. 13, No. 3, 2009--2068 (2016; Zbl 1380.00029) Full Text: DOI
Geisser, Thomas (ed.); Huber-Klawitter, Annette (ed.); Jannsen, Uwe (ed.); Levine, Marc (ed.) Algebraic \(K\)-theory and motivic cohomology. Abstracts from the workshop held June 26 – July 2, 2016. (English) Zbl 1380.00079 Oberwolfach Rep. 13, No. 2, 1753-1807 (2016). MSC: 00B05 00B25 14C15 14F42 19Axx 19Exx 19Fxx 14-06 19-06 PDFBibTeX XMLCite \textit{T. Geisser} (ed.) et al., Oberwolfach Rep. 13, No. 2, 1753--1807 (2016; Zbl 1380.00079) Full Text: DOI
Gille, Stefan (ed.); Levine, Marc (ed.); Panin, Ivan A. (ed.); Vishik, Alexander (ed.) Algebraic cobordism and projective homogeneous varieties. Abstracts from the workshop held January 31 – February 6, 2016. (English) Zbl 1380.00080 Oberwolfach Rep. 13, No. 1, 215-265 (2016). MSC: 00B05 00B25 20Gxx 14F42 14-06 14M17 14F43 PDFBibTeX XMLCite \textit{S. Gille} (ed.) et al., Oberwolfach Rep. 13, No. 1, 215--265 (2016; Zbl 1380.00080) Full Text: DOI
Voelkel, Konrad; Wendt, Matthias On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups. (Sur le groupe fondamental au sens de la A1-homotopie des groupes réductifs isotropes.) (English. French summary) Zbl 1387.14065 C. R., Math., Acad. Sci. Paris 354, No. 5, 453-458 (2016). MSC: 14F42 19E15 20G15 PDFBibTeX XMLCite \textit{K. Voelkel} and \textit{M. Wendt}, C. R., Math., Acad. Sci. Paris 354, No. 5, 453--458 (2016; Zbl 1387.14065) Full Text: DOI arXiv
Chimani, Markus; Hliněný, Petr Inserting multiple edges into a planar graph. (English) Zbl 1388.68216 Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 30, 15 p. (2016). MSC: 68R10 68Q25 PDFBibTeX XMLCite \textit{M. Chimani} and \textit{P. Hliněný}, LIPIcs -- Leibniz Int. Proc. Inform. 51, Article 30, 15 p. (2016; Zbl 1388.68216) Full Text: DOI arXiv
Chang, Hsien-Chih; Erickson, Jeff Untangling planar curves. (English) Zbl 1387.57028 Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 29, 16 p. (2016). MSC: 57M50 57M15 57M25 PDFBibTeX XMLCite \textit{H.-C. Chang} and \textit{J. Erickson}, LIPIcs -- Leibniz Int. Proc. Inform. 51, Article 29, 16 p. (2016; Zbl 1387.57028) Full Text: DOI arXiv
Han, S.-E. Existence of the category \(\mathit{DTC}_2(k)\) equivalent to the given category \(\mathit{KAC}_2\). (English) Zbl 1377.68280 Ukr. Math. J. 67, No. 8, 1264-1276 (2016) and Ukr. Mat. Zh. 67, No. 8, 1122-1133 (2015). MSC: 68U05 54B30 54C08 54F65 55P10 55U40 68U10 PDFBibTeX XMLCite \textit{S. E. Han}, Ukr. Math. J. 67, No. 8, 1264--1276 (2016; Zbl 1377.68280) Full Text: DOI
Hamdi Cherif, Mountassir; Belghaba, Kacem; Ziane, Djelloul Homotopy perturbation method for solving the fractional Fisher’s equation. (English) Zbl 1378.35326 Int. J. Anal. Appl. 10, No. 1, 9-16 (2016). MSC: 35R11 65M99 PDFBibTeX XMLCite \textit{M. Hamdi Cherif} et al., Int. J. Anal. Appl. 10, No. 1, 9--16 (2016; Zbl 1378.35326) Full Text: Link
Nagata, Masato Homotopy between exact coherent structures in shear flows. (English) Zbl 1374.76054 Meccanica 51, No. 12, 3015-3023 (2016). MSC: 76D05 76F06 76F20 76M99 PDFBibTeX XMLCite \textit{M. Nagata}, Meccanica 51, No. 12, 3015--3023 (2016; Zbl 1374.76054) Full Text: DOI
Li, Chong; Kumar, Amit; Kumar, Sunil; Yang, Xiao-Jun On the approximate solution of nonlinear time-fractional KdV equation via modified homotopy analysis Laplace transform method. (English) Zbl 1490.35381 J. Nonlinear Sci. Appl. 9, No. 9, 5463-5470 (2016). MSC: 35Q53 35A22 35R11 PDFBibTeX XMLCite \textit{C. Li} et al., J. Nonlinear Sci. Appl. 9, No. 9, 5463--5470 (2016; Zbl 1490.35381) Full Text: DOI Link
Ziegler, Günter M. Cannons at sparrows. (Catalan. English summary) Zbl 1375.00014 Butll. Soc. Catalana Mat. 31, No. 1, 73-89 (2016). MSC: 00A08 52A38 55P91 55R80 PDFBibTeX XMLCite \textit{G. M. Ziegler}, Butll. Soc. Catalana Mat. 31, No. 1, 73--89 (2016; Zbl 1375.00014) Full Text: DOI
Sriburadet, Sirilak; Wang, Y.-S.; Chien, C.-S.; Shih, Y. Pseudo-arclength continuation algorithms for binary Rydberg-dressed Bose-Einstein condensates. (English) Zbl 1388.65039 Commun. Comput. Phys. 19, No. 4, 1067-1093 (2016). MSC: 65H17 65H20 PDFBibTeX XMLCite \textit{S. Sriburadet} et al., Commun. Comput. Phys. 19, No. 4, 1067--1093 (2016; Zbl 1388.65039) Full Text: DOI
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert Homotopical patch theory. (English) Zbl 1420.68060 J. Funct. Program. 26, Paper No. e18, 45 p. (2016). MSC: 68N30 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{C. Angiuli} et al., J. Funct. Program. 26, Paper No. e18, 45 p. (2016; Zbl 1420.68060) Full Text: DOI
Cockx, Jesper; Devriese, Dominique; Piessens, Frank Eliminating dependent pattern matching without K. (English) Zbl 1419.68037 J. Funct. Program. 26, Paper No. e16, 40 p. (2016). MSC: 68N18 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{J. Cockx} et al., J. Funct. Program. 26, Paper No. e16, 40 p. (2016; Zbl 1419.68037) Full Text: DOI
Cao, Li; Wen, Haiyu Weighted Poincaré inequalities for differential forms in the variable exponent spaces. (English) Zbl 1389.42047 J. Nat. Sci. Heilongjiang Univ. 33, No. 6, 744-750 (2016). MSC: 42B25 PDFBibTeX XMLCite \textit{L. Cao} and \textit{H. Wen}, J. Nat. Sci. Heilongjiang Univ. 33, No. 6, 744--750 (2016; Zbl 1389.42047) Full Text: DOI
Timany, Amin; Jacobs, Bart Category theory in Coq 8.5. (English) Zbl 1387.68208 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 30, 18 p. (2016). MSC: 68T15 03B15 03G30 18A99 55U40 PDFBibTeX XMLCite \textit{A. Timany} and \textit{B. Jacobs}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 30, 18 p. (2016; Zbl 1387.68208) Full Text: DOI arXiv
Hermann, Reiner Monoidal categories and the Gerstenhaber bracket in Hochschild cohomology. (English) Zbl 1397.16008 Mem. Am. Math. Soc. 1151, vi, 149 p. (2016). MSC: 16E40 14F35 16T05 18D10 18E10 18G15 PDFBibTeX XMLCite \textit{R. Hermann}, Monoidal categories and the Gerstenhaber bracket in Hochschild cohomology. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1397.16008) Full Text: DOI arXiv
Pridham, J. P. Real non-abelian mixed Hodge structures for quasi-projective varieties: formality and splitting. (English) Zbl 1376.14014 Mem. Am. Math. Soc. 1150, vi, 182 p. (2016). MSC: 14D07 32S35 55P62 14C30 14F35 PDFBibTeX XMLCite \textit{J. P. Pridham}, Real non-abelian mixed Hodge structures for quasi-projective varieties: formality and splitting. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1376.14014) Full Text: DOI arXiv
Verevkin, Ya. A. Pontryagin algebras of some moment-angle-complexes. (Russian. English summary) Zbl 1378.57044 Dal’nevost. Mat. Zh. 16, No. 1, 9-23 (2016). MSC: 57S15 55P15 55P35 55N99 PDFBibTeX XMLCite \textit{Ya. A. Verevkin}, Dal'nevost. Mat. Zh. 16, No. 1, 9--23 (2016; Zbl 1378.57044) Full Text: arXiv MNR
Karoubi, Max; Weibel, Charles A. On the covering type of a space. (English) Zbl 1378.55002 Enseign. Math. (2) 62, No. 3-4, 457-474 (2016). Reviewer: Daniel Tanré (Villeneuve d’ Ascq) MSC: 55M99 55M30 55P99 PDFBibTeX XMLCite \textit{M. Karoubi} and \textit{C. A. Weibel}, Enseign. Math. (2) 62, No. 3--4, 457--474 (2016; Zbl 1378.55002) Full Text: DOI arXiv Backlinks: MO MO
Brunebarbe, Yohan; Campana, Frédéric Fundamental group and pluridifferentials on compact Kähler manifolds. (English) Zbl 1386.14050 Mosc. Math. J. 16, No. 4, 651-658 (2016). MSC: 14C30 14J40 14H30 14F35 32J18 32J25 32J27 32Q30 PDFBibTeX XMLCite \textit{Y. Brunebarbe} and \textit{F. Campana}, Mosc. Math. J. 16, No. 4, 651--658 (2016; Zbl 1386.14050) Full Text: arXiv Link
Barnes, David A monoidal algebraic model for rational \(\mathrm{SO}(2)\)-spectra. (English) Zbl 1371.55008 Math. Proc. Camb. Philos. Soc. 161, No. 1, 167-192 (2016). MSC: 55P91 55P42 55P62 55U35 PDFBibTeX XMLCite \textit{D. Barnes}, Math. Proc. Camb. Philos. Soc. 161, No. 1, 167--192 (2016; Zbl 1371.55008) Full Text: DOI arXiv
Friedlander, Eric M.; Ross, J. An approach to intersection theory on singular varieties using motivic complexes. (English) Zbl 1387.14067 Compos. Math. 152, No. 11, 2371-2404 (2016). Reviewer: Piotr Krasoń (Szczecin) MSC: 14F43 14C25 19E15 14F42 PDFBibTeX XMLCite \textit{E. M. Friedlander} and \textit{J. Ross}, Compos. Math. 152, No. 11, 2371--2404 (2016; Zbl 1387.14067) Full Text: DOI arXiv
Kahn, Bruno; Saito, Shuji; Yamazaki, Takao; Rülling, Kay Reciprocity sheaves. (English) Zbl 1419.19001 Compos. Math. 152, No. 9, 1851-1898 (2016). Reviewer: Javier Majadas (Santiago de Compostela) MSC: 19E15 14F42 19D45 19F15 PDFBibTeX XMLCite \textit{B. Kahn} et al., Compos. Math. 152, No. 9, 1851--1898 (2016; Zbl 1419.19001) Full Text: DOI arXiv
Balmer, Paul; Dell’Ambrogio, Ivo; Sanders, Beren Grothendieck-Neeman duality and the Wirthmüller isomorphism. (English) Zbl 1408.18026 Compos. Math. 152, No. 8, 1740-1776 (2016). Reviewer: Fosco Loregian (Mestrino) MSC: 18G80 14F08 55U35 PDFBibTeX XMLCite \textit{P. Balmer} et al., Compos. Math. 152, No. 8, 1740--1776 (2016; Zbl 1408.18026) Full Text: DOI arXiv
Kahn, Bruno The Brauer group and indecomposable \((2,1)\)-cycles. (English) Zbl 1375.19008 Compos. Math. 152, No. 5, 1041-1051 (2016). Reviewer: Tom Bachmann (Essen) MSC: 19E15 14F22 14F42 PDFBibTeX XMLCite \textit{B. Kahn}, Compos. Math. 152, No. 5, 1041--1051 (2016; Zbl 1375.19008) Full Text: DOI arXiv
Davis, Rachel; Pries, Rachel; Stojanoska, Vesna; Wickelgren, Kirsten Galois action on the homology of Fermat curves. (English) Zbl 1416.11045 Eischen, Ellen E. (ed.) et al., Directions in number theory. Proceedings of the 2014 women in numbers, WIN3 workshop. Banff, Alberta, Canada, April 21–25, 2014. Cham: Springer. Assoc. Women Math. Ser. 3, 57-86 (2016). MSC: 11R34 14H50 11D41 11R18 14F35 14H25 PDFBibTeX XMLCite \textit{R. Davis} et al., Assoc. Women Math. Ser. 3, 57--86 (2016; Zbl 1416.11045) Full Text: DOI arXiv
Choudhury, Snigdha Bharati; Behera, A. Cayley’s theorem and Adams completion. (English) Zbl 1389.18005 Miskolc Math. Notes 17, No. 1, 133-138 (2016). MSC: 18B40 55P60 PDFBibTeX XMLCite \textit{S. B. Choudhury} and \textit{A. Behera}, Miskolc Math. Notes 17, No. 1, 133--138 (2016; Zbl 1389.18005) Full Text: DOI
Boyd, John P. Tracing multiple solution branches for nonlinear ordinary differential equations: Chebyshev and Fourier spectral methods and a degree-increasing spectral homotopy [DISH]. (English) Zbl 1371.65070 J. Sci. Comput. 69, No. 3, 1115-1143 (2016). MSC: 65L60 65L10 34B15 65R20 45G10 PDFBibTeX XMLCite \textit{J. P. Boyd}, J. Sci. Comput. 69, No. 3, 1115--1143 (2016; Zbl 1371.65070) Full Text: DOI
Li, Tien-Yien Homotopy continuation methods for solving polynomial systems. (English) Zbl 1386.13074 ICCM Not. 4, No. 2, 53-63 (2016). MSC: 13P15 68W10 65Y05 65H20 PDFBibTeX XMLCite \textit{T.-Y. Li}, ICCM Not. 4, No. 2, 53--63 (2016; Zbl 1386.13074) Full Text: DOI Link
Gray, Brayton Abelian properties of Anick spaces. (English) Zbl 1373.55022 Mem. Am. Math. Soc. 1162, vi, 110 p. (2016). Reviewer: Jonathan Hodgson (Swarthmore) MSC: 55Q15 55Q20 55Q51 55Q40 55Q52 55R99 PDFBibTeX XMLCite \textit{B. Gray}, Abelian properties of Anick spaces. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1373.55022) Full Text: DOI arXiv
Wildeshaus, Jörg Notes on Artin-Tate motives. (English. French summary) Zbl 1430.14053 Bost, J.-B. (ed.) et al., Autour des motifs. École d’été franco-asiatique de géométrie algébrique et de théorie des nombres. Volume III. Paris: Société Mathématique de France (SMF). Panor. Synth. 49, 101-131 (2016). MSC: 14F42 14C35 14D10 14F08 18G80 19E15 19F27 PDFBibTeX XMLCite \textit{J. Wildeshaus}, Panor. Synth. 49, 101--131 (2016; Zbl 1430.14053) Full Text: arXiv
Wildeshaus, Jörg Pure motives, mixed motives and extensions of motives associated to singular surfaces. (English. French summary) Zbl 1375.14005 Bost, J.-B. (ed.) et al., Autour des motifs. École d’été franco-asiatique de géométrie algébrique et de théorie des nombres. Volume III. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-846-6/pbk). Panoramas et Synthèses 49, 65-100 (2016). MSC: 14-02 14C15 14F42 11F41 14C17 14F43 14G35 14J17 PDFBibTeX XMLCite \textit{J. Wildeshaus}, Panor. Synth. 49, 65--100 (2016; Zbl 1375.14005) Full Text: arXiv
Licata, Daniel R.; Shulman, Michael Adjoint logic with a 2-category of modes. (English) Zbl 1477.03267 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 219-235 (2016). MSC: 03G30 18N10 55U35 PDFBibTeX XMLCite \textit{D. R. Licata} and \textit{M. Shulman}, Lect. Notes Comput. Sci. 9537, 219--235 (2016; Zbl 1477.03267) Full Text: DOI
Forssell, Henrik; Gylterud, Håkon Robbestad; Spivak, David I. Type theoretical databases. (English) Zbl 1474.68099 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 117-129 (2016). MSC: 68P15 03B38 18N50 55U35 PDFBibTeX XMLCite \textit{H. Forssell} et al., Lect. Notes Comput. Sci. 9537, 117--129 (2016; Zbl 1474.68099) Full Text: DOI arXiv Link
Lee, Dae-Woong Comultiplication structures for a wedge of spheres. (English) Zbl 1437.55019 Filomat 30, No. 13, 3525-3546 (2016). MSC: 55Q25 PDFBibTeX XMLCite \textit{D.-W. Lee}, Filomat 30, No. 13, 3525--3546 (2016; Zbl 1437.55019) Full Text: DOI
Ninsri, Aphinat; Sintunavarat, Wutiphol Approximation fixed theorems for \(\alpha\)-partial weakly Zamfirescu mappings with application to homotopy invariance. (English) Zbl 1460.54050 Filomat 30, No. 7, 1941-1956 (2016). MSC: 54H25 54E40 54E50 PDFBibTeX XMLCite \textit{A. Ninsri} and \textit{W. Sintunavarat}, Filomat 30, No. 7, 1941--1956 (2016; Zbl 1460.54050) Full Text: DOI
Elbeleze, Asma Ali; Kılıçman, Adem; Taib, Bachok M. Modified homotopy perturbation method for solving linear second-order Fredholm integro-differential equations. (English) Zbl 1404.65321 Filomat 30, No. 7, 1823-1831 (2016). MSC: 65R20 34K07 45J05 PDFBibTeX XMLCite \textit{A. A. Elbeleze} et al., Filomat 30, No. 7, 1823--1831 (2016; Zbl 1404.65321) Full Text: DOI
Turkyilmazoglu, Mustafa An effective approach for evaluation of the optimal convergence control parameter in the homotopy analysis method. (English) Zbl 1474.34079 Filomat 30, No. 6, 1633-1650 (2016). MSC: 34A45 PDFBibTeX XMLCite \textit{M. Turkyilmazoglu}, Filomat 30, No. 6, 1633--1650 (2016; Zbl 1474.34079) Full Text: DOI
Orton, Ian; Pitts, Andrew M. Axioms for modelling cubical type theory in a topos. (English) Zbl 1370.03016 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 24, 19 p. (2016). MSC: 03B15 03G30 18B25 55U40 PDFBibTeX XMLCite \textit{I. Orton} and \textit{A. M. Pitts}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 24, 19~p. (2016; Zbl 1370.03016) Full Text: DOI
Birkedal, Lars; Bizjak, Aleš; Clouston, Ranald; Grathwohl, Hans Bugge; Spitters, Bas; Vezzosi, Andrea Guarded cubical type theory: path equality for guarded recursion. (English) Zbl 1370.68052 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 23, 17 p. (2016). MSC: 68N30 03B15 03B70 03G30 55U40 68Q55 68T15 PDFBibTeX XMLCite \textit{L. Birkedal} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 23, 17~p. (2016; Zbl 1370.68052) Full Text: DOI arXiv
Hou (Favonia), Kuen-Bang; Shulman, Michael The Seifert-van Kampen theorem in homotopy type theory. (English) Zbl 1370.03015 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 22, 16 p. (2016). MSC: 03B15 03B35 03G30 55U40 PDFBibTeX XMLCite \textit{K.-B. Hou (Favonia)} and \textit{M. Shulman}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 22, 16~p. (2016; Zbl 1370.03015) Full Text: DOI
Altenkirch, Thorsten; Capriotti, Paolo; Kraus, Nicolai Extending homotopy type theory with strict equality. (English) Zbl 1370.03014 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 21, 17 p. (2016). MSC: 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{T. Altenkirch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 21, 17~p. (2016; Zbl 1370.03014) Full Text: DOI arXiv
Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean The directed homotopy hypothesis. (English) Zbl 1369.55013 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 9, 16 p. (2016). MSC: 55U10 18D20 68Q85 PDFBibTeX XMLCite \textit{J. Dubut} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 9, 16~p. (2016; Zbl 1369.55013) Full Text: DOI
Sarwar, S.; Rashidi, M. M. Approximate solution of two-term fractional-order diffusion, wave-diffusion, and telegraph models arising in mathematical physics using optimal homotopy asymptotic method. (English) Zbl 1366.35226 Waves Random Complex Media 26, No. 3, 365-382 (2016). MSC: 35R11 26A33 PDFBibTeX XMLCite \textit{S. Sarwar} and \textit{M. M. Rashidi}, Waves Random Complex Media 26, No. 3, 365--382 (2016; Zbl 1366.35226) Full Text: DOI
Xu, Tianliang; Fan, Xiaomin; Zhang, Yuejin Homotopy analysis method for nonlinear fractional differential equation. (Chinese. English summary) Zbl 1374.35431 Nat. Sci. J. Xiangtan Univ. 38, No. 4, 6-9 (2016). MSC: 35R11 65H20 PDFBibTeX XMLCite \textit{T. Xu} et al., Nat. Sci. J. Xiangtan Univ. 38, No. 4, 6--9 (2016; Zbl 1374.35431) Full Text: DOI