Sciweavers

5510 search results - page 155 / 1102
» Mathematics
Sort
View
ASMTA
2009
Springer
110views Mathematics» more  ASMTA 2009»
15 years 10 months ago
Equilibrium in Size-Based Scheduling Systems
Sebastien Soudan, Dinil Mon Divakaran, Eitan Altma...
ERSHOV
2009
Springer
15 years 10 months ago
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Sc...
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
15 years 10 months ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
ISSAC
2009
Springer
149views Mathematics» more  ISSAC 2009»
15 years 10 months ago
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
Ana Romero, Graham Ellis, Julio Rubio
ISSAC
2009
Springer
150views Mathematics» more  ISSAC 2009»
15 years 10 months ago
On finding multiplicities of characteristic polynomial factors of black-box matrices
We present algorithms and heuristics to compute the characteristic polynomial of a matrix given its minimal polynomial. The matrix is represented as a black-box, i.e., by a functi...
Jean-Guillaume Dumas, Clément Pernet, B. Da...