Advances on the simplification of sine-cosine equations

por Gutiérrez, Jaime
Publicado 1995

A new method to obtain lower bounds for polynomial evaluation

Publicado 2000

Dynamic evaluation and real closure

por Duval, Dominique
Publicado 1993

A combinatorial algorithm solving some quantifier elimination problems

por González-Vega, Laureano
Publicado 1993

Classification of group representations on a local k-algebra

por Martín Hernández, Tomás
Publicado 1997

Smooth parametrizations for several cases of the positivstellensatz

por González-Vega, Laureano
Publicado 1993

Sturm-habicht sequence, determinants and real roots of univariate polynomials

Publicado 1993

Procesadores de lenguaje una introducción a la fase de análisis

Publicado 2008

Two algorithms computing the Trace Quadratic Form and their implementation in Axiom

Publicado 1993

Real reparametrizations of real curves

por Recio, Tomás, 1949-
Publicado 1995

Lower bounds for diophantine approximations

Publicado 1996

A unified method to determine the canonical forms of any matrix

por Olazábal, Juan Manuel de
Publicado 1997

On closed concircular almost contact riemannian manifolds

por Etayo Gordejuela, Fernando
Publicado 1998

A skin effect in the homogeneization of systems with many concentrated masses

por Lobo Hidalgo, Miguel
Publicado 1999

Using computer algebra to solve the birkhoff interpolation problem

por González-Vega, Laureano
Publicado 1995

Implizitizations of parametric curves and surfaces by using symmetric functions

por González-Vega, Laureano
Publicado 1995

Symbolic recipes for polynomial system solving real solutions

por González-Vega, Laureano
Publicado 1996

Sur la complexité du théoreme des zéros

por Fitchas, Noaï
Publicado 1993

On para-kählerian manifolds having the skew-symmetric killing property

por Etayo Gordejuela, Fernando
Publicado 1995

Time-space tradeoffs in algebraic complexity theory

Publicado 1997