Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs
- 作者Nikolaj Popov; Tudor Jebelean
- 卷第79卷
- 期第8期
- 印刷ISSN0378-4754
- 文件大小129.94KB
- 发表时间2009
- DOI10.1016/j.matcom.2008.11.017
- 页码2302-2309
Preconditioning techniques for the iterative solution of scattering problemsNadaniela Egidi; Pierluigi Maponi · 2008
The efficient solution of electromagnetic scattering for inhomogeneous mediaNadaniela Egidi; Romina Gobbi; Pierluigi Maponi · 2007
Singular value expansion for the Green function of Helmholtz operatorNadaniela Egidi; Pierluigi Maponi · 2011
Artificial boundary conditions for the Burgers equation on the planeEgidi, Nadaniela; Maponi, Pierluigi · Applied Mathematics and Computation · 2016
Normalization techniques for the SVE of the Green function of Helmholtz operatorEgidi, Nadaniela; Maponi, Pierluigi · Mathematics and Computers in Simulation · 2012
An integral equation method for the numerical solution of the Burgers equationEgidi, Nadaniela; Maponi, Pierluigi; Quadrini, Michela · Computers & Mathematics with Applications · 2018
The singular value expansion of the Volterra integral equation associated to a numerical differentiation problemEgidi, Nadaniela; Maponi, Pierluigi · Journal of Mathematical Analysis and Applications · 2017