NOVA Math - NOVA Math - Page 120

NOVA Math

Home NOVA Math

Rogério Ferreira Martins

Algorithm 813: SPG – Software for Convex-Constrained Optimization

2001, ACM Transactions on Mathematical Software, Birgin,EG;Mart√≠nez,JM;Raydan,M

Read More

Rogério Ferreira Martins

Perron-Frobenius theorem for matrices with some negative entries

2001, Linear Algebra and Its Applications, Tarazaga,P;Raydan,M;Hurman,A

Read More

Rogério Ferreira Martins

Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings

2001, PTCS, Kahle,R;Heister,PS;St√§rk,RF

Read More

Rogério Ferreira Martins

Proof Theory in Computer Science

2001, Lecture Notes in Computer Science, Kahle,R;Schroeder-Heister,P;St√§rk,R

Read More

Rogério Ferreira Martins

Implicit characterizations of Pspace

2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Oitavem,I

Read More

Rogério Ferreira Martins

Truth in Applicative Theories

2001, Stud Logica, Kahle,R

Read More

Rogério Ferreira Martins

Formalizing non-termination of recursive programs

2001, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, Kahle,R;Studer,T

Read More

Rogério Ferreira Martins

Universes in explicit mathematics

2001, ANNALS OF PURE AND APPLIED LOGIC, Jager,G;Kahle,R;Studer,T

Read More

Rogério Ferreira Martins

A division theorem for the pseudovariety generated by semigroups of orientation preserving transformations on a finite chain

2001, COMMUNICATIONS IN ALGEBRA, Fernandes,VH

Read More

Rogério Ferreira Martins

The monoid of all injective order preserving partial transformations on a finite chain

2001, SEMIGROUP FORUM, Fernandes,VH

Read More