Results 1  10
of
69,403
Complexity of SemiAlgebraic Proofs
, 2001
"... It is a known approach to translate propositional formulas into systems of polynomial inequalities and to consider proof systems for the latter ones. The wellstudied proof systems of this kind are the Cutting Planes proof system (CP) utilizing linear inequalities and the LovaszSchrijver calculi ..."
Abstract

Cited by 26 (3 self)
 Add to MetaCart
It is a known approach to translate propositional formulas into systems of polynomial inequalities and to consider proof systems for the latter ones. The wellstudied proof systems of this kind are the Cutting Planes proof system (CP) utilizing linear inequalities and the Lovasz
Algorithms in Semialgebraic Geometry
, 1996
"... In this thesis we present new algorithms to solve several very general problems of semialgebraic geometry. These are currently the best algorithms for solving these problems. In addition, we have proved new bounds on the topological complexity of real semialgebraic sets, in terms of the paramete ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
. Moreover, we prove some purely mathematical theorems on the number of connected components and on the existence of small rational points in a given semialgebraic set. The second part of this thesis deals with connectivity questions of semialgebraic sets. We develop new techniques in order to give a...
Homological Algebra of Mirror Symmetry
 in Proceedings of the International Congress of Mathematicians
, 1994
"... Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual Ca ..."
Abstract

Cited by 529 (3 self)
 Add to MetaCart
Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual
Using Linear Algebra for Intelligent Information Retrieval
 SIAM REVIEW
, 1995
"... Currently, most approaches to retrieving textual materials from scientific databases depend on a lexical match between words in users' requests and those in or assigned to documents in a database. Because of the tremendous diversity in the words people use to describe the same document, lexical ..."
Abstract

Cited by 672 (18 self)
 Add to MetaCart
Currently, most approaches to retrieving textual materials from scientific databases depend on a lexical match between words in users' requests and those in or assigned to documents in a database. Because of the tremendous diversity in the words people use to describe the same document
Computing Roadmaps of General SemiAlgebraic Sets
, 1993
"... In this paper we study the problem of determining whether two points lie in the same connected component of a semialgebraic set S. Although we are mostly concerned with sets S # , our algorithm can also decide if points in an arbitrary set S # R can be joined by a semialgebraic path, for any real ..."
Abstract

Cited by 53 (2 self)
 Add to MetaCart
In this paper we study the problem of determining whether two points lie in the same connected component of a semialgebraic set S. Although we are mostly concerned with sets S # , our algorithm can also decide if points in an arbitrary set S # R can be joined by a semialgebraic path, for any real
Results 1  10
of
69,403