120 search results - page 13 / 24 » Experimenting with Deduction Modulo |
151
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
120
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
105
click to vote
ISSAC
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
115
click to vote
ANTS
2006
Springer
15 years 6 months ago
2006
Springer
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
94
Voted
MP
2006
15 years 2 months ago
2006
A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points ...