Complexity of computations with Pfaffian and Noetherian functions

A Gabrielov, N Vorobjov - Normal forms, bifurcations and …, 2004 - books.google.com
This paper is a survey of the upper bounds on the complexity of basic algebraic and
geometric operations with Pfaffian and Noetherian functions, and with sets definable by …

Complexity in tame quantum theories

TW Grimm, L Schlechter, M van Vliet - Journal of High Energy Physics, 2024 - Springer
A bstract Inspired by the notion that physical systems can contain only a finite amount of
information or complexity, we introduce a framework that allows for quantifying the amount of …

Betti numbers of semialgebraic and sub-Pfaffian sets

A Gabrielov, N Vorobjov, T Zell - Journal of the London Mathematical …, 2004 - cambridge.org
BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS Page 1 J. London Math.
Soc. (2) 69 (2004) 27–43 Cо2004 London Mathematical Society DOI: 10.1112/S0024610703004939 …

Approximation of definable sets by compact families, and upper bounds on homotopy and homology

A Gabrielov, N Vorobjov - Journal of the London Mathematical …, 2009 - Wiley Online Library
We prove new upper bounds on homotopy and homology groups of o‐minimal sets in terms
of their approximations by compact o‐minimal sets. In particular, we improve the known …

Extremal real algebraic geometry and A-discriminants

A Dickenstein, JM Rojas, K Rusek, J Shih - arXiv preprint math/0609485, 2006 - arxiv.org
We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture.
Along the way, we illustrate a computer-assisted approach to finding sparse polynomial …

Effective cylindrical cell decompositions for restricted sub-Pfaffian sets

G Binyamini, N Vorobjov - International mathematics research …, 2022 - academic.oup.com
The o-minimal structure generated by the restricted Pfaffian functions, known as restricted
sub-Pfaffian sets, admits a natural measure of complexity in terms of a format, recording …

Towards better simplification of elementary functions

R Bradford, JH Davenport - … of the 2002 international symposium on …, 2002 - dl.acm.org
We present an algorithm for simplifying a large class of elementary functions in the presence
of branch cuts. This algorithm works by:(a) verifying that the proposed simplification is …

A preparation theorem for Weierstrass systems

D Miller - Transactions of the american mathematical society, 2006 - ams.org
A PREPARATION THEOREM FOR WEIERSTRASS SYSTEMS Introduction Given a real analytic
function f : U → R defined on an open neighbo Page 1 TRANSACTIONS OF THE AMERICAN …

Combinatorial complexity in o-minimal geometry

S Basu - Proceedings of the thirty-ninth annual ACM symposium …, 2007 - dl.acm.org
In this paper we prove tight bounds on the combinatorial and topological complexity of sets
dened in terms of n denable sets belonging to some fixed denable family of sets in an o …

Fewnomial systems with many roots, and an adelic tau conjecture

K Phillipson, JM Rojas - arXiv preprint arXiv:1011.4128, 2010 - arxiv.org
Consider a system F of n polynomials in n variables, with a total of n+ k distinct exponent
vectors, over any local field L. We discuss conjecturally tight bounds on the maximal number …