Arjeh M. Cohen Henri Cohen David Eisenbud Michael F. Singer

B Sturmfels - 2006 - Springer
Since a real univariate polynomial does not always have real roots, a very natural
algorithmic problem, is to design a method to count the number of real roots of a given …

[图书][B] Lectures on discrete geometry

J Matousek - 2013 - books.google.com
This book is primarily a textbook introduction to various areas of discrete geometry. In each
area, it explains several key results and methods, in an accessible and concrete manner. It …

[图书][B] Geometric discrepancy: An illustrated guide

J Matousek - 2009 - books.google.com
Discrepancy theory is also called the theory of irregularities of distribution. Here are some
typical questions: What is the" most uniform" way of dis tributing n points in the unit square …

On the combinatorial and algebraic complexity of quantifier elimination

S Basu, R Pollack, MF Roy - Journal of the ACM (JACM), 1996 - dl.acm.org
In this paper, a new algorithm for performing quantifier elimination from first order formulas
over real closed fields in given. This algorithm improves the complexity of the asymptotically …

Arrangements and their applications

PK Agarwal, M Sharir - Handbook of computational geometry, 2000 - Elsevier
The arrangement of a finite collection of geometric objects is the decomposition of the space
into connected cells induced by them. We survey combinatorial and algorithmic properties of …

An incidence theorem in higher dimensions

J Solymosi, T Tao - Discrete & Computational Geometry, 2012 - Springer
An Incidence Theorem in Higher Dimensions | SpringerLink Skip to main content Advertisement
SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home 2.Discrete & …

[PDF][PDF] On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets

S Basu - Proceedings of the twenty-eighth annual ACM …, 1996 - dl.acm.org
In this paper we give a new bound on the sum of the Betti numbers of semi-algebraic sets.
This extends a well-known bound due to Oleinik and Petrovsky [20], Thorn [25] and Milnor …

On range searching with semialgebraic sets. II

PK Agarwal, J Matousek, M Sharir - SIAM Journal on Computing, 2013 - SIAM
Let P be a set of n points in R^d. We present a linear-size data structure for answering range
queries on P with constant-complexity semialgebraic sets as ranges, in time close to O(n^1 …

Verification of hierarchical artifact systems

A Deutsch, Y Li, V Vianu - ACM Transactions on Database Systems …, 2019 - dl.acm.org
Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been
successfully deployed in practice, adopted in industrial standards, and have spawned a rich …

Bounded VC-dimension implies a fractional Helly theorem

J Matousek - Discrete & Computational Geometry, 2004 - Springer
We prove that every set system of bounded VC-dimension has a fractional Helly property.
More precisely, if the dual shatter function of a set system \FF is bounded by o(m^k), then \FF …