Pandir, Yusuf; Akturk, Tolga; Gurefe, Yusuf; Juya, Hussain The modified exponential function method for beta time fractional Biswas-Arshed equation. (English) Zbl 07747992 Adv. Math. Phys. 2023, Article ID 1091355, 18 p. (2023). MSC: 81V35 35Q41 78A50 33B10 14D15 81Q80 65S05 03D45 35B10 PDFBibTeX XMLCite \textit{Y. Pandir} et al., Adv. Math. Phys. 2023, Article ID 1091355, 18 p. (2023; Zbl 07747992) Full Text: DOI
Li, Yinan; Liu, Jun Formal methods for control of nonlinear systems. (English) Zbl 1519.93004 Boca Raton, FL: CRC Press (ISBN 978-0-367-21999-4/hbk; 978-1-032-42816-1/pbk; 978-0-429-27025-3/ebook). xviii, 253 p. (2023). Reviewer: Mihail Voicu (Iaşi) MSC: 93-02 93C10 93C55 93C57 93B03 93-08 65G99 PDFBibTeX XMLCite \textit{Y. Li} and \textit{J. Liu}, Formal methods for control of nonlinear systems. Boca Raton, FL: CRC Press (2023; Zbl 1519.93004) Full Text: DOI
Goncharuk, A. Cramer’s rule for implicit linear differential equations over a non-Archimedean ring. (English) Zbl 1513.34057 Visn. Khark. Univ., Ser. Mat. Prykl. Mat. Mekh. 95, 39-48 (2022). MSC: 34A30 13F25 12J25 65F05 34A09 34A25 PDFBibTeX XMLCite \textit{A. Goncharuk}, Visn. Khark. Univ., Ser. Mat. Prykl. Mat. Mekh. 95, 39--48 (2022; Zbl 1513.34057) Full Text: DOI
Cárcamo-Díaz, Daniela; Palacián, Jesús F.; Vidal, Claudio; Yanguas, Patricia Nonlinear stability in the spatial attitude motion of a satellite in a circular orbit. (English) Zbl 1481.37105 SIAM J. Appl. Dyn. Syst. 20, No. 3, 1421-1463 (2021). MSC: 37N05 37J25 37J40 70F15 70K28 65L70 PDFBibTeX XMLCite \textit{D. Cárcamo-Díaz} et al., SIAM J. Appl. Dyn. Syst. 20, No. 3, 1421--1463 (2021; Zbl 1481.37105) Full Text: DOI
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César; Anderson, Gregory; Bobot, François Formal analysis of the compact position reporting algorithm. (English) Zbl 1458.68273 Formal Asp. Comput. 33, No. 1, 65-86 (2021). MSC: 68U35 65Y04 68P30 68Q60 68W40 PDFBibTeX XMLCite \textit{A. Dutle} et al., Formal Asp. Comput. 33, No. 1, 65--86 (2021; Zbl 1458.68273) Full Text: DOI
Blas, H.; Callisaya, H. F.; Campos, J. P. R. Riccati-type pseudo-potentials, conservation laws and solitons of deformed sine-Gordon models. (English) Zbl 1472.81067 Nucl. Phys., B 950, Article ID 114852, 53 p. (2020). MSC: 81Q05 81R20 14D15 81R12 35C08 35G35 35P25 65L06 PDFBibTeX XMLCite \textit{H. Blas} et al., Nucl. Phys., B 950, Article ID 114852, 53 p. (2020; Zbl 1472.81067) Full Text: DOI arXiv
Brezinski, Claude; Redivo-Zaglia, Michela Extrapolation and rational approximation. The works of the main contributors. (English) Zbl 1477.65006 Cham: Springer (ISBN 978-3-030-58417-7/hbk; 978-3-030-58420-7/pbk; 978-3-030-58418-4/ebook). viii, 406 p. (2020). Reviewer: Manfred Tasche (Rostock) MSC: 65-02 65-03 65B05 40A15 41A20 65F10 65H10 PDFBibTeX XMLCite \textit{C. Brezinski} and \textit{M. Redivo-Zaglia}, Extrapolation and rational approximation. The works of the main contributors. Cham: Springer (2020; Zbl 1477.65006) Full Text: DOI
Tsachouridis, Vassilios A.; Giantamidis, Georgios; Basagiannis, Stylianos; Kouramas, Kostas Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers. (English) Zbl 1458.65035 Numer. Algebra Control Optim. 10, No. 2, 177-206 (2020). MSC: 65F10 15A09 68Q60 PDFBibTeX XMLCite \textit{V. A. Tsachouridis} et al., Numer. Algebra Control Optim. 10, No. 2, 177--206 (2020; Zbl 1458.65035) Full Text: DOI
Yang, Zhengfeng; Wu, Min; Lin, Wang An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. (English) Zbl 07198064 Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020). MSC: 65-XX 93-XX PDFBibTeX XMLCite \textit{Z. Yang} et al., Nonlinear Anal., Hybrid Syst. 36, Article ID 100837, 17 p. (2020; Zbl 07198064) Full Text: DOI
De Terán, Fernando; Iannazzo, Bruno; Poloni, Federico; Robol, Leonardo Nonsingular systems of generalized Sylvester equations: an algorithmic approach. (English) Zbl 1474.65108 Numer. Linear Algebra Appl. 26, No. 5, e2261, 29 p. (2019). Reviewer: Ninoslav Truhar (Osijek) MSC: 65F45 15A24 PDFBibTeX XMLCite \textit{F. De Terán} et al., Numer. Linear Algebra Appl. 26, No. 5, e2261, 29 p. (2019; Zbl 1474.65108) Full Text: DOI arXiv
Immler, Fabian; Traut, Christoph The flow of ODEs: formalization of variational equation and Poincaré map. (English) Zbl 1468.68325 J. Autom. Reasoning 62, No. 2, 215-236 (2019). MSC: 68V20 03B35 34A12 34A26 37C10 65L05 65P99 PDFBibTeX XMLCite \textit{F. Immler} and \textit{C. Traut}, J. Autom. Reasoning 62, No. 2, 215--236 (2019; Zbl 1468.68325) Full Text: DOI
Pozza, Stefano; Pranić, Miroslav S.; Strakoš, Zdeněk The Lanczos algorithm and complex Gauss quadrature. (English) Zbl 06965964 ETNA, Electron. Trans. Numer. Anal. 50, 1-19 (2018). MSC: 65D15 65D32 65F10 47B36 PDFBibTeX XMLCite \textit{S. Pozza} et al., ETNA, Electron. Trans. Numer. Anal. 50, 1--19 (2018; Zbl 06965964) Full Text: DOI Link
Immler, Fabian A verified ODE solver and the Lorenz attractor. (English) Zbl 1448.68460 J. Autom. Reasoning 61, No. 1-4, 73-111 (2018). MSC: 68V15 34-04 34A34 37D45 65G20 65L05 PDFBibTeX XMLCite \textit{F. Immler}, J. Autom. Reasoning 61, No. 1--4, 73--111 (2018; Zbl 1448.68460) Full Text: DOI
Schivo, Stefano; Langerak, Rom Discretization of continuous dynamical systems using UPPAAL. (English) Zbl 1498.68142 Katoen, Joost-Pieter (ed.) et al., ModelEd, testEd, trustEd. Essays dedicated to Ed Brinksma on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10500, 297-315 (2017). MSC: 68Q45 37M15 65L05 68Q60 92C42 PDFBibTeX XMLCite \textit{S. Schivo} and \textit{R. Langerak}, Lect. Notes Comput. Sci. 10500, 297--315 (2017; Zbl 1498.68142) Full Text: DOI
Esmaeil Zadeh Soudjani, Sadegh; Majumdar, Rupak; Nagapetyan, Tigran Multilevel Monte Carlo method for statistical model checking of hybrid systems. (English) Zbl 1420.68126 Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 351-367 (2017). MSC: 68Q60 65C05 68Q87 PDFBibTeX XMLCite \textit{S. Esmaeil Zadeh Soudjani} et al., Lect. Notes Comput. Sci. 10503, 351--367 (2017; Zbl 1420.68126) Full Text: DOI arXiv
Djaballah, Adel; Chapoutot, Alexandre; Kieffer, Michel; Bouissou, Olivier Construction of parametric barrier functions for dynamical systems using interval analysis. (English) Zbl 1357.93046 Automatica 78, 287-296 (2017). MSC: 93C10 93C15 65G30 PDFBibTeX XMLCite \textit{A. Djaballah} et al., Automatica 78, 287--296 (2017; Zbl 1357.93046) Full Text: DOI arXiv
Lück, Alexander Replicated computational results (RCR) report for “Automatic moment-closure approximation of spatially distributed collective adaptive systems”. (English) Zbl 1368.68323 ACM Trans. Model. Comput. Simul. 26, No. 4, Article No. 27, 3 p. (2016). MSC: 68U20 65C20 68M14 68Q45 PDFBibTeX XMLCite \textit{A. Lück}, ACM Trans. Model. Comput. Simul. 26, No. 4, Article No. 27, 3 p. (2016; Zbl 1368.68323) Full Text: DOI
Feng, Cheng; Hillston, Jane; Galpin, Vashti Automatic moment-closure approximation of spatially distributed collective adaptive systems. (English) Zbl 1368.68316 ACM Trans. Model. Comput. Simul. 26, No. 4, Article No. 26, 22 p. (2016). MSC: 68U20 65C20 68M14 68Q45 PDFBibTeX XMLCite \textit{C. Feng} et al., ACM Trans. Model. Comput. Simul. 26, No. 4, Article No. 26, 22 p. (2016; Zbl 1368.68316) Full Text: DOI Link
Abramov, Sergey A.; Petkovšek, Marko; Ryabenko, Anna A. Resolving sequences of operators for linear ordinary differential and difference systems of arbitrary order. (English) Zbl 1379.39001 Comput. Math. Math. Phys. 56, No. 5, 894-910 (2016). Reviewer: Petr Zemánek (Brno) MSC: 39A06 34A30 39A12 68W40 65L99 65Q10 PDFBibTeX XMLCite \textit{S. A. Abramov} et al., Comput. Math. Math. Phys. 56, No. 5, 894--910 (2016; Zbl 1379.39001) Full Text: DOI
Zhang, RuiLi; Tang, YiFa; Zhu, BeiBei; Tu, XiongBiao; Zhao, Yue Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems. (English) Zbl 1350.65138 Sci. China, Math. 59, No. 2, 379-396 (2016). Reviewer: Seenith Sivasundaram (Daytona Beach) MSC: 65P10 37M15 65L06 70H05 PDFBibTeX XMLCite \textit{R. Zhang} et al., Sci. China, Math. 59, No. 2, 379--396 (2016; Zbl 1350.65138) Full Text: DOI
Zhao, Li-Chen; Guo, Boling; Ling, Liming High-order rogue wave solutions for the coupled nonlinear Schrödinger equations. II. (English) Zbl 1339.35299 J. Math. Phys. 57, No. 4, 043508, 14 p. (2016). MSC: 35Q55 35G50 35L67 35C07 65N35 37K35 PDFBibTeX XMLCite \textit{L.-C. Zhao} et al., J. Math. Phys. 57, No. 4, 043508, 14 p. (2016; Zbl 1339.35299) Full Text: DOI arXiv
Ullah, Zakir; Farooq, Muhammad; Salhi, Abdellah \(A_{19}/B_6\): a new Lanczos-type algorithm and its implementation. (English) Zbl 1448.65024 J. Prime Res. Math. 11, 106-122 (2015). MSC: 65F10 PDFBibTeX XMLCite \textit{Z. Ullah} et al., J. Prime Res. Math. 11, 106--122 (2015; Zbl 1448.65024) Full Text: Link
Sellama, Hocine An alternative method to estimate the splitting of separatrices for the discretized pendulum equation. (English) Zbl 1337.65070 Asymptotic Anal. 95, No. 3-4, 279-324 (2015). Reviewer: Pavol Chocholatý (Bratislava) MSC: 65L05 70B05 65L12 65L07 34A34 34D20 39A12 39A10 39A30 PDFBibTeX XMLCite \textit{H. Sellama}, Asymptotic Anal. 95, No. 3--4, 279--324 (2015; Zbl 1337.65070) Full Text: DOI
Abate, Alessandro; Soudjani, Sadegh Esmaeil Zadeh Quantitative approximation of the probability distribution of a Markov process by formal abstractions. (English) Zbl 1342.60120 Log. Methods Comput. Sci. 11, No. 3, Paper No. 8, 29 p. (2015). MSC: 60J05 60J10 60J22 60F05 65C40 PDFBibTeX XMLCite \textit{A. Abate} and \textit{S. E. Z. Soudjani}, Log. Methods Comput. Sci. 11, No. 3, Paper No. 8, 29 p. (2015; Zbl 1342.60120) Full Text: DOI arXiv
Bobodzhanov, A. A.; Safonov, V. F. Regularization method for nonlinear integro-differential systems of Fredholm type with rapidly varying kernels. (English. Russian original) Zbl 1323.65124 Differ. Equ. 51, No. 2, 255-267 (2015); translation from Differ. Uravn. 51, No. 2, 251-262 (2015). Reviewer: Alexandru Mihai Bica (Oradea) MSC: 65R20 45G15 45J05 45B05 PDFBibTeX XMLCite \textit{A. A. Bobodzhanov} and \textit{V. F. Safonov}, Differ. Equ. 51, No. 2, 255--267 (2015; Zbl 1323.65124); translation from Differ. Uravn. 51, No. 2, 251--262 (2015) Full Text: DOI
Chartier, P.; Murua, A.; Sanz-Serna, J. M. Higher-order averaging, formal series and numerical integration. III: Error bounds. (English) Zbl 1322.34057 Found. Comput. Math. 15, No. 2, 591-612 (2015). MSC: 34C29 65L06 34D20 70H05 34A25 PDFBibTeX XMLCite \textit{P. Chartier} et al., Found. Comput. Math. 15, No. 2, 591--612 (2015; Zbl 1322.34057) Full Text: DOI HAL
Caruso, Xavier Random matrices over a DVR and LU factorization. (English) Zbl 1316.65038 J. Symb. Comput. 71, 98-123 (2015). MSC: 65F05 16W60 PDFBibTeX XMLCite \textit{X. Caruso}, J. Symb. Comput. 71, 98--123 (2015; Zbl 1316.65038) Full Text: DOI arXiv
Farooq, Muhammad; Salhi, Abdellah A new Lanczos-type algorithm for systems of linear equations. (English) Zbl 1448.65023 J. Prime Res. Math. 10, 104-119 (2014). MSC: 65F10 PDFBibTeX XMLCite \textit{M. Farooq} and \textit{A. Salhi}, J. Prime Res. Math. 10, 104--119 (2014; Zbl 1448.65023) Full Text: Link
Kujan, Petr Solving composite sum of powers via Padé approximation and orthogonal polynomials with application to optimal PWM problem. (English) Zbl 1334.65093 Appl. Math. Comput. 236, 593-605 (2014). MSC: 65H10 41A21 PDFBibTeX XMLCite \textit{P. Kujan}, Appl. Math. Comput. 236, 593--605 (2014; Zbl 1334.65093) Full Text: DOI
Ahmadi, Amir Ali; Jungers, Raphaël M.; Parrilo, Pablo A.; Roozbehani, Mardavij Joint spectral radius and path-complete graph Lyapunov functions. (English) Zbl 1292.93093 SIAM J. Control Optim. 52, No. 1, 687-717 (2014). MSC: 93D05 93B60 93C30 65Q10 37C75 68Q45 90C22 93D30 05C90 PDFBibTeX XMLCite \textit{A. A. Ahmadi} et al., SIAM J. Control Optim. 52, No. 1, 687--717 (2014; Zbl 1292.93093) Full Text: DOI arXiv Link
Bourke, Timothy; Pouzet, Marc Zélus: a synchronous language with ODEs. (English) Zbl 1361.68026 Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 113-118 (2013). MSC: 68N15 34A38 65C20 68Q45 93A30 PDFBibTeX XMLCite \textit{T. Bourke} and \textit{M. Pouzet}, in: Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8--11, 2013. New York, NY: Association for Computing Machinery (ACM). 113--118 (2013; Zbl 1361.68026) Full Text: DOI
Muñoz, César; Narkawicz, Anthony Formalization of Bernstein polynomials and applications to global optimization. (English) Zbl 1314.68286 J. Autom. Reasoning 51, No. 2, 151-196 (2013). MSC: 68T15 65K10 PDFBibTeX XMLCite \textit{C. Muñoz} and \textit{A. Narkawicz}, J. Autom. Reasoning 51, No. 2, 151--196 (2013; Zbl 1314.68286) Full Text: DOI
Saifullah; Farooq, Muhammad; Salhi, Abdellah An alternative derivation of a new Lanczos-type algorithm for systems of linear equations. (English) Zbl 1291.65107 J. Math., Punjab Univ. 45, 39-49 (2013). MSC: 65F10 PDFBibTeX XMLCite \textit{Saifullah} et al., J. Math., Punjab Univ. 45, 39--49 (2013; Zbl 1291.65107) Full Text: arXiv Link
Barkatou, Moulay A.; El Bacha, Carole On \(k\)-simple forms of first-order linear differential systems and their computation. (English) Zbl 1277.34011 J. Symb. Comput. 54, 36-58 (2013). MSC: 34A30 34A05 65L99 34-04 PDFBibTeX XMLCite \textit{M. A. Barkatou} and \textit{C. El Bacha}, J. Symb. Comput. 54, 36--58 (2013; Zbl 1277.34011) Full Text: DOI
Farooq, Muhammad; Salhi, Abdellah New recurrence relationships between orthogonal polynomials which lead to new Lanczos-type algorithms. (English) Zbl 1274.65093 J. Prime Res. Math. 8, 61-75 (2012). Reviewer: Constantin Popa (Constanţa) MSC: 65F10 PDFBibTeX XMLCite \textit{M. Farooq} and \textit{A. Salhi}, J. Prime Res. Math. 8, 61--75 (2012; Zbl 1274.65093) Full Text: arXiv
Butcher, J. C. Runge-Kutta methods and Banach algebras. (English) Zbl 1246.65120 J. Comput. Appl. Math. 236, No. 16, 3931-3936 (2012). MSC: 65L06 65L05 34A34 PDFBibTeX XMLCite \textit{J. C. Butcher}, J. Comput. Appl. Math. 236, No. 16, 3931--3936 (2012; Zbl 1246.65120) Full Text: DOI
Dang, Thao; Testylier, Romain Hybridization domain construction using curvature estimation. (English) Zbl 1362.93014 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 123-132 (2011). MSC: 93B03 34A38 65D15 68Q60 PDFBibTeX XMLCite \textit{T. Dang} and \textit{R. Testylier}, in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 123--132 (2011; Zbl 1362.93014) Full Text: DOI
Spicer, Paul E.; Nijhoff, Frank W.; van der Kamp, Peter H. Higher analogues of the discrete-time Toda equation and the quotient-difference algorithm. (English) Zbl 1223.37088 Nonlinearity 24, No. 8, 2229-2263 (2011). MSC: 37K10 42C05 39A14 65Q10 PDFBibTeX XMLCite \textit{P. E. Spicer} et al., Nonlinearity 24, No. 8, 2229--2263 (2011; Zbl 1223.37088) Full Text: DOI arXiv
Kunkel, Peter; Mehrmann, Volker Formal adjoints of linear DAE operators and their role in optimal control. (English) Zbl 1226.49030 Electron. J. Linear Algebra 22, 672-693 (2011). MSC: 49N10 93C10 93C15 93B52 65L80 49K15 34H05 PDFBibTeX XMLCite \textit{P. Kunkel} and \textit{V. Mehrmann}, Electron. J. Linear Algebra 22, 672--693 (2011; Zbl 1226.49030) Full Text: DOI EuDML EMIS
Sharyĭ, S. P. On “Spanish version” of formal approach to outer estimation of the solution sets to interval linear systems. (Russian. English summary) Zbl 1367.65052 Vychisl. Tekhnol. 16, No. 3, 100-133 (2011). MSC: 65F10 65G30 PDFBibTeX XMLCite \textit{S. P. Sharyĭ}, Vychisl. Tekhnol. 16, No. 3, 100--133 (2011; Zbl 1367.65052) Full Text: Link
Nagy, Benedek; Strand, Robin Approximating Euclidean circles by neighbourhood sequences in a hexagonal grid. (English) Zbl 1207.68421 Theor. Comput. Sci. 412, No. 15, 1364-1377 (2011). MSC: 68U05 65D17 PDFBibTeX XMLCite \textit{B. Nagy} and \textit{R. Strand}, Theor. Comput. Sci. 412, No. 15, 1364--1377 (2011; Zbl 1207.68421) Full Text: DOI Link
Morikawa, Shuji; Saito, Katsunori; Takeuchi, Taihei; Umemura, Hiroshi Discrete Burgers’ equation, binomial coefficients and Mandala. (English) Zbl 1217.39010 Math. Comput. Sci. 4, No. 2-3, 151-167 (2010). MSC: 39A12 35Q53 03D05 39A10 12F10 37J35 65Q10 PDFBibTeX XMLCite \textit{S. Morikawa} et al., Math. Comput. Sci. 4, No. 2--3, 151--167 (2010; Zbl 1217.39010) Full Text: DOI
Fu, Hongguang; Wang, Ying; Zhao, Shizhong; Wang, Qingxian A recursive algorithm for constructing complicated Dixon matrices. (English) Zbl 1202.65065 Appl. Math. Comput. 217, No. 6, 2595-2601 (2010). MSC: 65H10 65H04 65F30 12Y05 26C10 PDFBibTeX XMLCite \textit{H. Fu} et al., Appl. Math. Comput. 217, No. 6, 2595--2601 (2010; Zbl 1202.65065) Full Text: DOI
Murali, K.; Miliotis, Abraham; Ditto, William L.; Sinha, Sudeshna Logic from nonlinear dynamical evolution. (English) Zbl 1228.94036 Phys. Lett., A 373, No. 15, 1346-1351 (2009). MSC: 94C10 65P20 68Q45 03B05 03D05 PDFBibTeX XMLCite \textit{K. Murali} et al., Phys. Lett., A 373, No. 15, 1346--1351 (2009; Zbl 1228.94036) Full Text: DOI
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael Convergence thresholds of Newton’s method for monotone polynomial equations. (English) Zbl 1259.65225 Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 289-300, electronic only (2008). MSC: 65Y20 65H04 65H10 PDFBibTeX XMLCite \textit{J. Esparza} et al., LIPIcs -- Leibniz Int. Proc. Inform. 1, 289--300 (2008; Zbl 1259.65225) Full Text: DOI arXiv Link
Gougam, Leila Ait; Tribeche, Mouloud; Mekideche-Chafa, Fawzia A systematic investigation of a neural network for function approximation. (English) Zbl 1254.65025 Neural Netw. 21, No. 9, 1311-1317 (2008). MSC: 65D15 42C40 PDFBibTeX XMLCite \textit{L. A. Gougam} et al., Neural Netw. 21, No. 9, 1311--1317 (2008; Zbl 1254.65025) Full Text: DOI
Levin, V. I. Continuous logic as iterative method in automata dynamics. (English) Zbl 1343.68144 Int. J. Appl. Math. Stat. 13, No. J08, 69-76 (2008). MSC: 68Q45 03B50 65F10 PDFBibTeX XMLCite \textit{V. I. Levin}, Int. J. Appl. Math. Stat. 13, No. J08, 69--76 (2008; Zbl 1343.68144) Full Text: Link
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier On the convergence of Newton’s method for monotone systems of polynomial equations. (English) Zbl 1232.65076 STOC’07. Proceedings of the 39th annual ACM symposium on theory of computing, San Diego, CA, USA, June 11–13, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-631-8). 217-226 (2007). MSC: 65H10 65H04 65F10 68Q45 PDFBibTeX XMLCite \textit{S. Kiefer} et al., in: Proceedings of the 39th annual ACM symposium on theory of computing, STOC 2007. San Diego, CA, USA, June 11--13, 2007. New York, NY: Association for Computing Machinery (ACM). 217--226 (2007; Zbl 1232.65076)
Galucio, A. C.; Deü, J.-F.; Mengué, S.; Dubois, F. An adaptation of the Gear scheme for fractional derivatives. (English) Zbl 1123.65123 Comput. Methods Appl. Mech. Eng. 195, No. 44-47, 6073-6085 (2006). MSC: 65R20 45J05 26A33 65L05 34A30 PDFBibTeX XMLCite \textit{A. C. Galucio} et al., Comput. Methods Appl. Mech. Eng. 195, No. 44--47, 6073--6085 (2006; Zbl 1123.65123) Full Text: DOI HAL
Abbas, H.; Zalzali, I. New algorithm for computing some formal invariants of meromorphic differential systems. (English) Zbl 1089.65054 Far East J. Appl. Math. 20, No. 2, 233-248 (2005). Reviewer: Manuel Calvo (Zaragoza) MSC: 65L05 34M25 34M35 34A30 37J10 34M30 PDFBibTeX XMLCite \textit{H. Abbas} and \textit{I. Zalzali}, Far East J. Appl. Math. 20, No. 2, 233--248 (2005; Zbl 1089.65054)
Knudsen, K.; Mueller, J.; Siltanen, S. Numerical solution method for the \(\overline\partial\)-equation in the plane. (English) Zbl 1059.65116 J. Comput. Phys. 198, No. 2, 500-517 (2004). Reviewer: Kevin Burrage (Brisbane) MSC: 65P20 35N15 37D45 78A46 PDFBibTeX XMLCite \textit{K. Knudsen} et al., J. Comput. Phys. 198, No. 2, 500--517 (2004; Zbl 1059.65116) Full Text: DOI
Wazner, Alain New results about super-irreducible forms of a linear differential system. (Nouveaux résultats autour des formes super-irréductibles d’un systéme différentiel linéaire.) (French) Zbl 1078.65063 Aequationes Math. 66, No. 1-2, 1-36 (2003). Reviewer: Manuel Calvo (Zaragoza) MSC: 65L05 34M25 34A30 68W30 65Y15 65L07 PDFBibTeX XMLCite \textit{A. Wazner}, Aequationes Math. 66, No. 1--2, 1--36 (2003; Zbl 1078.65063) Full Text: DOI
Kolokolnikov, Theodore; Ward, Michael J. Reduced wave Green’s functions and their effect on the dynamics of a spike for the Gierer-Meinhardt model. (English) Zbl 1063.35024 Eur. J. Appl. Math. 14, No. 5, 513-545 (2003). Reviewer: Jiaqi Mo (Wuhu) MSC: 35B25 35K57 35K50 92C20 65M60 35B40 PDFBibTeX XMLCite \textit{T. Kolokolnikov} and \textit{M. J. Ward}, Eur. J. Appl. Math. 14, No. 5, 513--545 (2003; Zbl 1063.35024) Full Text: DOI
Tang, Yi-Fa; Xiao, Ai-Guo; Chen, Jing-Bo Is the formal energy of the mid-point rule convergent? (English) Zbl 1050.65128 Comput. Math. Appl. 43, No. 8-9, 1171-1181 (2002). MSC: 65P10 37M15 PDFBibTeX XMLCite \textit{Y.-F. Tang} et al., Comput. Math. Appl. 43, No. 8--9, 1171--1181 (2002; Zbl 1050.65128) Full Text: DOI
Payne, F. R. Does “chaos” exist mostly in computing machinery? (English) Zbl 0958.65082 Corduneanu, C. (ed.) et al., Volterra equations and applications. Proceedings of the Volterra centennial symposium, University of Texas, Arlington, TX, USA, May 23-25, 1996. London: Gordon and Breach Science Publishers. Stab. Control Theory Methods Appl. 10, 403-410 (2000). MSC: 65L05 65L12 34A34 65L10 65L50 PDFBibTeX XMLCite \textit{F. R. Payne}, Stab. Control Theory Methods Appl. 10, 403--410 (2000; Zbl 0958.65082)
Tang, Yifa A note on construction of higher-order symplectic schemes from lower-order one via formal energies. (English) Zbl 0952.65103 J. Comput. Math. 17, No. 6, 561-568 (1999). Reviewer: Lubomír Bakule (Praha) MSC: 65P10 37M15 37C10 PDFBibTeX XMLCite \textit{Y. Tang}, J. Comput. Math. 17, No. 6, 561--568 (1999; Zbl 0952.65103)
Payne, Fred R. Exact numeric solution of nonlinear DE systems. (English) Zbl 0947.65082 Dyn. Contin. Discrete Impulsive Syst. 5, No. 1-4, 39-51 (1999). Reviewer: H.Brunner (St.John’s) MSC: 65L05 35J55 35M10 34A34 34A25 45G15 65Y20 PDFBibTeX XMLCite \textit{F. R. Payne}, Dyn. Contin. Discrete Impulsive Syst. 5, No. 1--4, 39--51 (1999; Zbl 0947.65082)
Balser, Werner Computation of formal fundamental solutions. (English) Zbl 0934.65066 Linear Algebra Appl. 288, No. 1-3, 293-312 (1999). Reviewer: R.Fazio (Messina) MSC: 65L05 34A30 34A25 PDFBibTeX XMLCite \textit{W. Balser}, Linear Algebra Appl. 288, No. 1--3, 293--312 (1999; Zbl 0934.65066) Full Text: DOI
Fernandes, Paulo; Plateau, Brigitte; Stewart, William J. Efficient descriptor-vector multiplications in stochastic automata networks. (English) Zbl 1065.68578 J. ACM 45, No. 3, 381-414 (1998). MSC: 68Q45 68M20 65F10 PDFBibTeX XMLCite \textit{P. Fernandes} et al., J. ACM 45, No. 3, 381--414 (1998; Zbl 1065.68578) Full Text: DOI Link
Seiler, Werner M. Numerical analysis of constrained Hamiltonian systems and the formal theory of differential equations. (English) Zbl 1017.70505 Math. Comput. Simul. 45, No. 5-6, 561-576 (1998). MSC: 70H05 34A09 65L05 65P10 70-08 70H45 PDFBibTeX XMLCite \textit{W. M. Seiler}, Math. Comput. Simul. 45, No. 5--6, 561--576 (1998; Zbl 1017.70505) Full Text: DOI
Hochbruck, Marlis A numerical comparison of look-ahead Levinson and Schur algorithms for non-Hermitian Toeplitz systems. (English) Zbl 0932.65026 Arbenz, Peter (ed.) et al., High performance algorithms for structured matrix problems. Commack, NY: Nova Science Publishers. Advanced in the Theory of Computation and Computational Mathematics. 2, 127-148 (1998). MSC: 65F05 41A21 PDFBibTeX XMLCite \textit{M. Hochbruck}, in: High performance algorithms for structured matrix problems. Commack, NY: Nova Science Publishers. 127--148 (1998; Zbl 0932.65026)
Feng, Kang The calculus of generating functions and the formal energy for Hamiltonian algorithms. (English) Zbl 0926.65137 J. Comput. Math. 16, No. 6, 481-498 (1998). Reviewer: D.Petcu (Timişoara) MSC: 65P10 37M15 PDFBibTeX XMLCite \textit{K. Feng}, J. Comput. Math. 16, No. 6, 481--498 (1998; Zbl 0926.65137)
Cordaro, Paulo D.; Himonas, A. Alexandrou Global analytic regularity for sums of squares of vector fields. (English) Zbl 0914.35087 Trans. Am. Math. Soc. 350, No. 12, 4993-5001 (1998). Reviewer: M.Derridj (Rouen) MSC: 35N15 65H10 32F10 58J40 PDFBibTeX XMLCite \textit{P. D. Cordaro} and \textit{A. A. Himonas}, Trans. Am. Math. Soc. 350, No. 12, 4993--5001 (1998; Zbl 0914.35087) Full Text: DOI
Brezinski, C.; Redivo-Zaglia, M. Transpose-free Lanczos-type algorithms for nonsymmetric linear systems. (English) Zbl 0907.65031 Numer. Algorithms 17, No. 1-2, 67-103 (1998). Reviewer: Petko Hr.Petkov (Sofia) MSC: 65F10 PDFBibTeX XMLCite \textit{C. Brezinski} and \textit{M. Redivo-Zaglia}, Numer. Algorithms 17, No. 1--2, 67--103 (1998; Zbl 0907.65031) Full Text: DOI
Payne, F. R.; Payne, K. R. New facets of DFI, a DE solver for all seasons. (English) Zbl 0901.65045 Constanda, C. (ed.) et al., Integral methods in science and engineering. Vol. II: Approximation methods. Proceedings of the 4th international conference, IMSE ’96, Oulu, Finland, June 17–20, 1996. Harlow: Longman. Pitman Res. Notes Math. Ser. 375, 176-180 (1997). MSC: 65L05 45G15 65R20 34A34 35J05 65N38 PDFBibTeX XMLCite \textit{F. R. Payne} and \textit{K. R. Payne}, Pitman Res. Notes Math. Ser. 375, 176--180 (1997; Zbl 0901.65045)
Pflügel, E. On the latest version of DESIR-II. (English) Zbl 0898.65036 Theor. Comput. Sci. 187, No. 1-2, 81-86 (1997). MSC: 65L05 65Q05 34A30 34-04 39-04 PDFBibTeX XMLCite \textit{E. Pflügel}, Theor. Comput. Sci. 187, No. 1--2, 81--86 (1997; Zbl 0898.65036) Full Text: DOI
Hochbruck, Marlis Further optimized look-ahead recurrences for adjacent rows in the Padé table and Toeplitz matrix factorizations. (English) Zbl 0932.65025 J. Comput. Appl. Math. 86, No. 1, 219-236 (1997). Reviewer: M.M.Konstantinov (Sofia) MSC: 65F05 65E05 65Y20 41A21 PDFBibTeX XMLCite \textit{M. Hochbruck}, J. Comput. Appl. Math. 86, No. 1, 219--236 (1997; Zbl 0932.65025) Full Text: DOI
Arnold, C. Formal continued fractions solutions of the generalized second order Riccati equations. Applications. (English) Zbl 0897.65047 Numer. Algorithms 15, No. 1, 111-134 (1997). Reviewer: K.Moszyński (Warszawa) MSC: 65L05 34A34 PDFBibTeX XMLCite \textit{C. Arnold}, Numer. Algorithms 15, No. 1, 111--134 (1997; Zbl 0897.65047) Full Text: DOI
van Hoeij, Mark Formal solutions and factorization of differential operators with power series coefficients. (English) Zbl 0924.12005 J. Symb. Comput. 24, No. 1, 1-30 (1997). Reviewer: E.V.Pankrat’ev (Moskva) MSC: 12H20 68W30 34A30 65L99 PDFBibTeX XMLCite \textit{M. van Hoeij}, J. Symb. Comput. 24, No. 1, 1--30 (1997; Zbl 0924.12005) Full Text: DOI Link
Nataf, Frédéric; Nier, F. Convergence rate of some domain decomposition methods for overlapping and nonoverlapping subdomains. (English) Zbl 0873.65108 Numer. Math. 75, No. 3, 357-377 (1997). Reviewer: G.Hedstrom (Livermore) MSC: 65N55 65N06 65F10 35J25 PDFBibTeX XMLCite \textit{F. Nataf} and \textit{F. Nier}, Numer. Math. 75, No. 3, 357--377 (1997; Zbl 0873.65108) Full Text: DOI
Beals, Richard; Gaveau, Bernard; Greiner, Peter The Green function of model step two hypoelliptic operators and the analysis of certain tangential Cauchy Riemann complexes. (English) Zbl 0858.43009 Adv. Math. 121, No. 2, 288-345 (1996). Reviewer: H.Schröder (Dortmund) MSC: 43A80 65H10 35S99 32W05 37D99 35N15 PDFBibTeX XMLCite \textit{R. Beals} et al., Adv. Math. 121, No. 2, 288--345 (1996; Zbl 0858.43009) Full Text: DOI
Baheux, C. New implementations of Lanczos method. (English) Zbl 0827.65037 J. Comput. Appl. Math. 57, No. 1-2, 3-15 (1995). Reviewer: W.Govaerts (Gent) MSC: 65F10 65N06 PDFBibTeX XMLCite \textit{C. Baheux}, J. Comput. Appl. Math. 57, No. 1--2, 3--15 (1995; Zbl 0827.65037) Full Text: DOI
Schatzman, Michelle Higher order alternate directions methods. (English) Zbl 0824.65017 Comput. Methods Appl. Mech. Eng. 116, 219-225 (1994). Reviewer: E.Lanckau (Chemnitz) MSC: 65F10 65M06 PDFBibTeX XMLCite \textit{M. Schatzman}, Comput. Methods Appl. Mech. Eng. 116, No. 1--4, 219--225 (1994; Zbl 0824.65017) Full Text: DOI
van Iseghem, Jeannette Convergence of vectorial sequences. Applications. (English) Zbl 0805.65001 Numer. Math. 68, No. 4, 549-562 (1994). Reviewer: Jeannette van Iseghem MSC: 65B05 65B10 65F15 65H10 65F10 PDFBibTeX XMLCite \textit{J. van Iseghem}, Numer. Math. 68, No. 4, 549--562 (1994; Zbl 0805.65001) Full Text: DOI
Gutknecht, Martin H. A completed theory of the unsymmetric Lanczos process and related algorithms. II. (English) Zbl 0809.65028 SIAM J. Matrix Anal. Appl. 15, No. 1, 15-58 (1994). Reviewer: H.Matthies (Hamburg) MSC: 65F10 65F15 41A21 PDFBibTeX XMLCite \textit{M. H. Gutknecht}, SIAM J. Matrix Anal. Appl. 15, No. 1, 15--58 (1994; Zbl 0809.65028) Full Text: DOI
Gutknecht, Martin H. Variants of BiCGStab for matrices with complex spectrum. (English) Zbl 0837.65031 SIAM J. Sci. Comput. 14, No. 5, 1020-1033 (1993). MSC: 65F10 PDFBibTeX XMLCite \textit{M. H. Gutknecht}, SIAM J. Sci. Comput. 14, No. 5, 1020--1033 (1993; Zbl 0837.65031) Full Text: DOI Link
Zhu, Wenjie; Qin, Mengzhao Constructing higher order schemes by formal power series. (English) Zbl 0781.65072 Comput. Math. Appl. 25, No. 12, 31-38 (1993). Reviewer: S.Gocheva-Ilieva (El Menara) MSC: 65L12 37-XX PDFBibTeX XMLCite \textit{W. Zhu} and \textit{M. Qin}, Comput. Math. Appl. 25, No. 12, 31--38 (1993; Zbl 0781.65072) Full Text: DOI
Brezinski, Claude; Sadok, Hassane Lanczos-type algorithms for solving systems of linear equations. (English) Zbl 0780.65020 Appl. Numer. Math. 11, No. 6, 443-473 (1993). Reviewer: R.Blaheta (Ostrava) MSC: 65F10 PDFBibTeX XMLCite \textit{C. Brezinski} and \textit{H. Sadok}, Appl. Numer. Math. 11, No. 6, 443--473 (1993; Zbl 0780.65020) Full Text: DOI
Feng, Kang Formal dynamical systems and numerical algorithms. (English) Zbl 0878.65060 Shi, Zhong-Ci (ed.) et al., The computation of differential equations and dynamical systems. Proceedings of the international conference held at Beijing, P. R. China, September 1–5, 1992. Singapore: World Scientific. Ser. Appl. Math. 4, 1-10 (1993). MSC: 65L05 37-XX PDFBibTeX XMLCite \textit{K. Feng}, Ser. Appl. Math. 4, 1--10 (1993; Zbl 0878.65060)
Moroşan, Bogdan I. Characterization of discrete signals in the space of formal power series. (English) Zbl 0849.94007 Bul. Inst. Politeh Iași, Secț. IV 38, 87-94 (1992). MSC: 94A12 65T99 93C55 PDFBibTeX XMLCite \textit{B. I. Moroşan}, Bul. Inst. Politeh. Iași, Secț. IV 38, 87--94 (1992; Zbl 0849.94007)
Hammer, Rolf Maximally exact calculation of expressions of scalar products and highly exact evaluation of parts of programs. (Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen.) (German) Zbl 0847.68023 Karlsruhe: Math. Fak., Univ. Karlsruhe, vi, 171 S. (1992). Reviewer: S.Meyer (Berlin) MSC: 68N20 68-02 65G50 65G30 68Q42 68Q45 PDFBibTeX XMLCite \textit{R. Hammer}, Maximal genaue Berechnung von Skalarproduktausdrücken und hochgenaue Auswertung von Programmteilen. Karlsruhe: Math. Fak., Univ. Karlsruhe (1992; Zbl 0847.68023)
Couvreur, J. M.; Haddad, S.; Peyre, J. F. Résolution paramétrée de familles de systèmes linéaires. (Parametrized solution of families of linear systems). (French) Zbl 0764.90053 RAIRO, Rech. Opér. 26, No. 2, 183-206 (1992). MSC: 90C05 65F10 PDFBibTeX XMLCite \textit{J. M. Couvreur} et al., RAIRO, Rech. Opér. 26, No. 2, 183--206 (1992; Zbl 0764.90053) Full Text: DOI EuDML
Mourrain, Bernard Computable identities in the algebra of formal matrices. (English) Zbl 0762.15006 Theor. Comput. Sci. 98, No. 1, 115-133 (1992). Reviewer: N.Backhouse (Liverpool) MSC: 15A24 15A21 15A30 65F30 PDFBibTeX XMLCite \textit{B. Mourrain}, Theor. Comput. Sci. 98, No. 1, 115--133 (1992; Zbl 0762.15006) Full Text: DOI
Wang, Yihe; Hong, Jiarong; D’Andrea, Vincenzo; Uhrik, Carl AECAM: An extension matrix algorithm on a cellular automata machine. (English) Zbl 0755.65147 J. Comput. Sci. Technol. 7, No. 1, 88-91 (1992). Reviewer: T.C.Mohan (Madras) MSC: 65Y10 68T05 65F30 68Q45 PDFBibTeX XMLCite \textit{Y. Wang} et al., J. Comput. Sci. Technol. 7, No. 1, 88--91 (1992; Zbl 0755.65147) Full Text: DOI
Hounie, Jorge Local solvability of partial differential equations. (English) Zbl 0813.35003 Rev. Unión Mat. Argent. 37, No. 1-2, 77-86 (1991). Reviewer: P.Popivanov (Sofia) MSC: 35A07 35-02 65H10 35A27 35N15 PDFBibTeX XMLCite \textit{J. Hounie}, Rev. Unión Mat. Argent. 37, No. 1--2, 77--86 (1991; Zbl 0813.35003)
Padovan, Joseph; Guo, Yue Hua; Ryland, G. Static response of sparsely probabilistic systems. (English) Zbl 0715.73095 Comput. Methods Appl. Mech. Eng. 79, No. 2, 113-127 (1990). MSC: 74S30 65F05 65C99 PDFBibTeX XMLCite \textit{J. Padovan} et al., Comput. Methods Appl. Mech. Eng. 79, No. 2, 113--127 (1990; Zbl 0715.73095) Full Text: DOI
Christ, Mike On the \({\bar \partial}_ b\) equation and Szegö projection on CR manifolds. (English) Zbl 0701.35116 Harmonic analysis and partial differential equations, Proc. Int. Conf., El Escorial/Spain 1987, Lect. Notes Math. 1384, 146-158 (1989). Reviewer: P.Popivanov MSC: 35N15 65H10 35B65 35A08 PDFBibTeX XML
Piñar, M. A.; Ramírez, V. Recursive inversion of Hankel matrices. (English) Zbl 0684.65020 Orthogonal polynomials and their applications, 2nd Int. Symp., Segovia/Spain 1986, Monogr. Acad. Cienc. Exactas, Fís., Quím., Nat., Zaragoza, 119-128 (1988). Reviewer: Wu Minyen MSC: 65F05 15A09 65K10 PDFBibTeX XML
Ho, Y. C. Perturbation analysis explained. (English) Zbl 0649.93057 IEEE Trans. Autom. Control 33, No. 8, 761-763 (1988). MSC: 93E03 68Q45 93B35 65C05 93C99 PDFBibTeX XMLCite \textit{Y. C. Ho}, IEEE Trans. Autom. Control 33, No. 8, 761--763 (1988; Zbl 0649.93057) Full Text: DOI
Trench, William F. Toeplitz systems associated with the product of a formal Laurent series and a Laurent polynomial. (English) Zbl 0647.65017 SIAM J. Matrix Anal. Appl. 9, No. 2, 181-193 (1988). Reviewer: H.Matthies MSC: 65F05 15A54 PDFBibTeX XMLCite \textit{W. F. Trench}, SIAM J. Matrix Anal. Appl. 9, No. 2, 181--193 (1988; Zbl 0647.65017) Full Text: DOI
Boyd, Stephen P.; Balakrishnan, Venkataramanan; Barratt, Craig H.; Khraishi, Nasser M.; Li, Xiaoming; Meyer, David G.; Norman, Stephen A. A new CAD method and associated architectures for linear controllers. (English) Zbl 0641.93027 IEEE Trans. Autom. Control 33, No. 3, 268-283 (1988). Reviewer: Petko Hr.Petkov MSC: 93B40 93B50 93C05 65K10 68Q45 68U99 93C35 93D15 PDFBibTeX XMLCite \textit{S. P. Boyd} et al., IEEE Trans. Autom. Control 33, No. 3, 268--283 (1988; Zbl 0641.93027) Full Text: DOI
Jupp, Alan H. The ideal resonance problem. A comparison of two formal solutions. III. (English) Zbl 0661.70030 Celestial Mech. 40, 87-93 (1987). MSC: 70K40 70K05 70H05 65L05 37J40 PDFBibTeX XMLCite \textit{A. H. Jupp}, Celest. Mech. 40, 87--93 (1987; Zbl 0661.70030) Full Text: DOI
Payne, Fred R.; Mahmoudi, Mohsen An optimal(?) elliptic solver. (English) Zbl 0654.65084 Nonlinear analysis and applications, Proc. 7th Int. Conf., Arlington/Tex. 1986, Lect. Notes Pure Appl. Math. 109, 427-432 (1987). Reviewer: E.D’yakonov MSC: 65Z05 65N22 65H10 35J05 PDFBibTeX XML
Catlin, David Subelliptic estimates for the \({\bar \partial}\)-Neumann problem on pseudoconvex domains. (English) Zbl 0627.32013 Ann. Math. (2) 126, 131-191 (1987). Reviewer: A.Kaneko MSC: 32W05 32T99 35N15 65H10 35J55 PDFBibTeX XMLCite \textit{D. Catlin}, Ann. Math. (2) 126, 131--191 (1987; Zbl 0627.32013) Full Text: DOI
Bär, M.; Fritz, H.; Zeitz, M. Rechnergestützter Entwurf nichtlinearer Beobachter mit Hilfe einer symbolverarbeitenden Programmiersprache. (Computer-aided design of nonlinear observers by use of a symbolic programming language). (German) Zbl 0621.93016 Automatisierungstechnik 35, 177-183 (1987). MSC: 93B40 68Q45 93C10 65K10 93B07 93B50 93C15 PDFBibTeX XMLCite \textit{M. Bär} et al., Automatisierungstechnik 35, 177--183 (1987; Zbl 0621.93016)
Sibony, Nessim Hypoellipticité pour l’opérateur \({\bar\partial}\). (Hypoellipticity of the \({\bar\partial}\)-operator). (French) Zbl 0589.32032 Math. Ann. 276, 279-290 (1987). MSC: 32W05 32T99 65H10 58J10 35N15 PDFBibTeX XMLCite \textit{N. Sibony}, Math. Ann. 276, 279--290 (1987; Zbl 0589.32032) Full Text: DOI EuDML
Majda, Andrew Nonlinear geometric optics for hyperbolic systems of conservation laws. (English) Zbl 0622.65117 Oscillation theory, computation, and methods of compensated compactness, Proc. Workshop, Minneapolis/Minn. 1984/85, IMA Vol. Math. Appl. 2, 115-165 (1986). Reviewer: V.P.Tyagi MSC: 65Z05 35L65 78A05 PDFBibTeX XML
Wu, Ja-Ling A fast algorithm for exact convolution of rational sequences by using integer arithmetics only. (English) Zbl 0622.65032 Comput. Electr. Eng. 12, 187-197 (1986). Reviewer: Y.Kobayashi MSC: 65F30 68Q25 16W60 11S05 11T06 PDFBibTeX XMLCite \textit{J.-L. Wu}, Comput. Electr. Eng. 12, 187--197 (1986; Zbl 0622.65032) Full Text: DOI
Jupp, A. H.; Abdulla, A. Y. The ideal resonance problem. A comparison of two formal solutions. I. (English) Zbl 0596.70025 Celestial Mech. 34, 411-423 (1984). Reviewer: H.Rüßmann MSC: 70K40 70K05 65L05 37J40 70H05 PDFBibTeX XMLCite \textit{A. H. Jupp} and \textit{A. Y. Abdulla}, Celest. Mech. 34, 411--423 (1984; Zbl 0596.70025) Full Text: DOI
Åström, K. J. Computer aided design of control systems. (English) Zbl 0558.93028 Analysis and optimization of systems, Proc. 6th int. Conf., Nice 1984, Part 2, Lect. Notes Control Inf. Sci. 63, 549-563 (1984). MSC: 93B40 68U20 93-04 65K10 68Q45 68T20 PDFBibTeX XML