Sciweavers

577 search results - page 24 / 116
» Computing Rational Bisectors
Sort
View
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 7 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
SBP
2011
Springer
12 years 10 months ago
Consumer Search, Rationing Rules, and the Consequence for Competition
Abstract. Firms’ conjectures about demand are consequential in oligopoly games. Through agent-based modeling of consumers’ search for products, we can study the rationing of de...
Christopher S. Ruebeck
FSTTCS
2006
Springer
13 years 11 months ago
Unbiased Rounding of Rational Matrices
Rounding a real-valued matrix to an integer one such that the rounding errors in all rows and columns are less than one is a classical problem. It has been applied to hypergraph co...
Benjamin Doerr, Christian Klein
DSVIS
1995
Springer
13 years 11 months ago
Exploring Design Options Rationally
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
Chris Bramwell, Bob Fields, Michael D. Harrison
ANTS
2010
Springer
252views Algorithms» more  ANTS 2010»
13 years 12 months ago
On a Problem of Hajdu and Tengely
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ...
Samir Siksek, Michael Stoll