António Pinto da Costa

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Imperative Programs

Automated Deduction

Eigenvalue Problems

Top Venues

Appl. Math. Comput.

Int. J. Appl. Math. Comput. Sci.

Publications

António Pinto da Costa, Alberto Seeger, F. M. F. Simões
Complementarity eigenvalue problems for nonlinear matrix pencils. Appl. Math. Comput. 312 (2017)
Mohamed A. Agwa, António Pinto da Costa
Using Symbolic Computation in the Characterization of Frictional Instabilities Involving Orthotropicmaterials. Int. J. Appl. Math. Comput. Sci. 25 (2) (2015)
António Pinto da Costa, Alberto Seeger
Cone-constrained eigenvalue problems: theory and algorithms. Comput. Optim. Appl. 45 (1) (2010)