Sciweavers

963 search results - page 17 / 193
» On the decomposition of rational functions
Sort
View
DLT
2004
13 years 10 months ago
On the Maximum Coefficients of Rational Formal Series in Commuting Variables
We study the maximum function of any R+-rational formal series S in two commuting variables, which assigns to every integer n N, the maximum coefficient of the monomials of degree...
Christian Choffrut, Massimiliano Goldwurm, Violett...
DATE
1998
IEEE
92views Hardware» more  DATE 1998»
14 years 27 days ago
Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions
Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced vari...
Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya
ICRA
2003
IEEE
95views Robotics» more  ICRA 2003»
14 years 1 months ago
Exact Collision Detection of Two Moving Ellipsoids under Rational Motions
In this paper, we describe an exact method for detecting collision between two moving ellipsoids under pre-specified rational motions. Our method is based on an algebraic conditi...
Yi-King Choi, Wenping Wang, Myung-Soo Kim
JACM
2007
85views more  JACM 2007»
13 years 8 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
DCG
2008
132views more  DCG 2008»
13 years 8 months ago
Ehrhart Series and Lattice Triangulations
Abstract We express the generating function for lattice points in a rational polyhedral cone with a simplicial subdivision in terms of multivariate analogues of the h-polynomials o...
Sam Payne