On the seperation of basic semialgebraic sets by polynomials.
Ludwig Bröcker (1988)
Manuscripta mathematica
Similarity:
Ludwig Bröcker (1988)
Manuscripta mathematica
Similarity:
Antonio J. Engler (1978)
Manuscripta mathematica
Similarity:
Lou van den Dries (1986)
Manuscripta mathematica
Similarity:
Keijo Väänänen (1977)
Manuscripta mathematica
Similarity:
Andreas de Vries (1995)
Manuscripta mathematica
Similarity:
Emiliano Ippoliti (2002)
Visual Mathematics
Similarity:
Serban A. Basarab (1982)
Manuscripta mathematica
Similarity:
Hiroyuki Osada (1987)
Manuscripta mathematica
Similarity:
Ulrich Schoenwaelder (1988)
Manuscripta mathematica
Similarity:
Danielle Gondard-Cozette (1990)
Manuscripta mathematica
Similarity:
M.A. Kaashoek, I. Goberg, F. Schagen (1978)
Manuscripta mathematica
Similarity:
Alexander Prestel, Cydara C. Ripoli (1991)
Manuscripta mathematica
Similarity:
Adam Parusinski, Zbigniew Szafraniec (1997)
Manuscripta mathematica
Similarity:
Artur Korniłowicz (2017)
Formalized Mathematics
Similarity:
In this article, we formalize in the Mizar system [3] the notion of the derivative of polynomials over the field of real numbers [4]. To define it, we use the derivative of functions between reals and reals [9].
Israel Vainsencher (1989)
Manuscripta mathematica
Similarity:
Jean-Luc Chabert (2010)
Actes des rencontres du CIRM
Similarity:
The purpose of my talk is to give an overview of some more or less recent developments on integer-valued polynomials and, doing so, to emphasize that integer-valued polynomials really occur in different areas: combinatorics, arithmetic, number theory, commutative and non-commutative algebra, topology, ultrametric analysis, and dynamics. I will show that several answers were given to open problems, and I will raise also some new questions.