Rational Parametrization of Surfaces
págs. 1-29
Advances on the Simplification of Sine–Cosine Equations
Tomás Jesús Recio Muñiz, Jaime Gutiérrez Gutiérrez
págs. 31-70
Modular Arithmetic for Linear Algebra Computations in the Real Field
Y. Yu, Ioannis Z. Emiris, Victor Y. Pan
págs. 71-87
An Algorithm for Solving the Factorization Problem in Permutation Groups
págs. 89-95
Negation Elimination in Empty or Permutative Theories
págs. 97-133
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: