Search results

arithmetic are integer parts of models of real exponentation 2021-05-26 Paper Ordered fields dense in their real closure and definable convex valuations 2020-10-22...

rings 2009-06-01 Paper Uniqueness of real closure * of regular rings 2007-12-17 Paper Uniqueness of real closure * of Baer regular rings 2007-10-01 Paper...

Publication Type Strongly NIP almost real closed fields 2023-09-12 Paper Ordered fields dense in their real closure and definable convex valuations 2022-04-04...

2002-12-15 Paper The closure diagram for nilpotent orbits of the real form EIX of \(E_ 8\). 2002-10-22 Paper On the congruence of square real matrices 2002-09-12...

functions 2006-01-31 Paper Tight Closure and Plus Closure for Cones Over Elliptic Curves 2005-05-06 Paper Computing the tight closure in dimension two 2005-04-27...

inequalities for real-valued functions with applications to monotonicity testing 2024-11-20 Paper Isoperimetric inequalities for real-valued functions...

Computable Real Numbers 2011-03-18 Paper Points on Computable Curves of Computable Lengths 2009-10-16 Paper Classification of computably approximable real numbers...

Completeness criterion for the enumeration closure operator in three-valued logic 2020-02-17 Paper Equational closure and closure with respect to enumeration on a...

and integral closure of integrally decomposable modules 2020-01-22 Paper Polynomial maps with maximal multiplicity and the special closure 2019-02-28 Paper...

their real closure and definable convex valuations 2022-04-04 Paper On Rayner structures 2022-03-01 Paper Ordered fields dense in their real closure and...

multicounter automata 1979-01-01 Paper A note on cyclic closure operations 1979-01-01 Paper A note on closure properties of the classes of sets accepted by tape-...

completion 2018-12-19 Paper The other closure and complete sublocales 2018-10-15 Paper Correction to: ``The other closure and complete sublocales 2018-10-15...

The Boolean closure of linear context-free languages 2008-06-17 Paper Regulated Nondeterminism in Pushdown Automata 2008-06-10 Paper Real-Time Reversible...

2021-10-19 Paper Sums of Squares: A Real Projective Story 2021-10-08 Paper Sums of squares, Hankel index, and almost real rank 2021-08-14 Paper Lectures on...

2013-01-04 Paper Generating the Pfaffian closure with total Pfaffian functions 2012-12-17 Paper Expansions of the real field by open sets: definability versus...

Chvátal-Gomory Closure 2022-10-14 Paper On a generalization of the Chvátal-Gomory closure 2022-03-22 Paper Generalized Chvátal-Gomory closures for integer...

Topics in the categorical algebra of closure spaces 2025-01-09 Paper Strict monadic topology. II: Descent for closure spaces 2024-08-26 Paper Effective descent...

polynomial ring 2022-12-29 Paper A weak version of the strong exponential closure 2021-07-12 Paper Truncations of ordered abelian groups 2021-05-06 Paper...

1940-01-01 Paper Closure of products of functions. 1940-01-01 Paper Closure of products of functions 1940-01-01 Paper Correction to “Closure of products of...

smooth and compact real hypersurfaces 2023-01-11 Paper Bit complexity for computing one point in each connected component of a smooth real algebraic set 2022-11-21...