Results 11 to 20 of about 2,319,892 (295)
Quantitative Curve Selection Lemma [PDF]
Mathematische Zeitschrift, 2022 11 pagesInternational audienceWe prove a quantitative version of the curve selection lemma. Denoting by $s,d,k$ a bound on the number, the degree and the number of variables of the polynomials describing a semi-algebraic set $S$ and a point $x$ in $\bar ...
Basu, Saugata, Roy, Marie-Françoise
core +5 more sources
Lemma Selection and Entry Types
, 2022 These project notes are part of the lexicographic manual for the Digitales Wörterbuch DGS (DW-DGS). We will explain our lemma selection criteria, outline the resulting dictionary size, and describe the different entry types resulting from this process ...
Hanke, Thomas +5 more
core +3 more sources
Curve selection lemma in arc spaces
, 2022 We first generalize a curve selection lemma for Noetherian schemes and apply it to prove a version of Curve Selection Lemma in arc spaces, answering affirmatively a question by Reguera.
Duc, Nguyen Hong
core +3 more sources
Frontiers in Psychology, 2015 Sentence production involves intricate coordination of planning and speaking. In the word-by-word incremental model, speakers start their speech upon preparing a single lemma, taxing the pre-speech memory buffer minimally (deSmedt, 1990; Griffin, 2001 ...
Jiyeon Lee
doaj +2 more sources
The curve selection lemma and the Morse-Sard theorem
manuscripta mathematica, 2009 We use an inequality due to Bochnak and Lojasiewicz, which follows from the Curve Selection Lemma of real algebraic geometry in order to prove that, given a C(r) function f : U subset of R(m) -> R, we have lim(y -> xy is an element of crit(f)) vertical ...
MOREIRA, Carlos Gustavo +1 more
core +3 more sources
Selection Lemmas for Various Geometric Objects [PDF]
International Journal of Computational Geometry & Applications, 2016 Selection lemmas are classical results in discrete geometry that have been well studied and have applications in many geometric problems like weak epsilon nets and slimming Delaunay triangulations. Selection lemma type results typically show that there exists a point that is contained in many objects that are induced (spanned) by an underlying point ...
Pradeesha Ashok +2 more
openaire +4 more sources
Lemmas: Generation, Selection, Application
, 2023 AbstractNoting that lemmas are a key feature of mathematics, we engage in an investigation of the role of lemmas in automated theorem proving. The paper describes experiments with a combined system involving learning technology that generates useful lemmas for automated theorem provers, demonstrating improvement for several representative systems and ...
Michael Rawson 0001 +3 more
openaire +3 more sources
Corrigendum: A curve selection lemma in spaces of arcs and the image of the Nash map [PDF]
Compositio Mathematica, 2021 The purpose of this note is to correct a mistake in the article “A curve selection lemma in spaces of arcs and the image of the Nash map” Compositio Math. 142 (2006), 119–130. It is due to an overlooked hypothesis in the definition of generically stable subset of the space of arcs
openaire +3 more sources
Lexikos, 2016 This paper initially discusses some of the consequences which the technological development has for lexicography, especially in terms of the different types of empirical basis which can be used in dictionary projects.
Sven Tarp
doaj +1 more source
Theoretical and Practical Reflections on Specialized Lexicography in African Languages
Lexikos, 2019 In this article, reflections are made on some specialized lexicographical/terminographical resources being produced in African languages. The resources are produced in order to contribute towards the intellectualization of those languages for expanded ...
Dion Nkomo
doaj +1 more source