7 search results - page 1 / 2 » New third order nonlinear solvers for multiple roots |
AMC
2008
13 years 5 months ago
2008
ct 7 Two third order methods for finding multiple zeros of nonlinear functions are developed. One method is based on 8 Chebyshev's third order scheme (for simple roots) and th...
VC
2008
13 years 4 months ago
2008
We present a method for solving arbitrary systems of N nonlinear polynomials in n variables over an n-dimensional simplicial domain based on polynomial representation in the baryce...
AI
2005
Springer
13 years 4 months ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
TPHOL
2007
IEEE
13 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
This paper deals with fair assignment problems in decision contexts involving multiple agents. In such problems, each agent has its own evaluation of costs and we want to find a f...