Marek Karpinski (bonn

A Generalization of Wilkie's Theorem of the Complement, and an Application to Pfaffian Closure (2007)

Marek Karpinski, Angus Macintyre, Marek Karpinski (bonn, Angus Macintyre (edinburgh

Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we give an invariant characterization of o-minimal expansions of IR. We apply this to construct the Pfaffian...

Mathematisches Forschungsinstitut Oberwolfach Report No. 28/2004 Approximation Algorithms for NP-Hard Problems (2004)

Ravi Kannan (yale, Marek Karpinski (bonn

Introduction by the Organizers It is an interesting artifact that most computational tasks today that arise in realistic scenarios are intractable, at least if one insists on delivering exact...

Mathematisches Forschungsinstitut Oberwolfach Report No. 28/2004 Approximation Algorithms for NP-Hard Problems (2004)

Ravi Kannan (yale, Marek Karpinski (bonn

Introduction by the Organisers It is an interesting artifact that most computational tasks today that arise in realistic scenarios are intractable, at least if one insists on delivering exact...

o-Minimal Expansions of the Real Field: A Characterization, and an Application to Pfaffian Closure (1997)

Marek Karpinski, Angus Macintyre, Marek Karpinski (bonn, Angus Macintyre (oxford

Using a modification of Wilkie's recent proof of o-minimality for Pfaffian functions, we gave an invariant characterization of o-minimal expansions of IR. We apply this to construct the Pfaffian...