Found 37 Documents (Results 1–37)
Global convergence of the gradient method for functions definable in o-minimal structures. (English) Zbl 1534.90121
Math. Program. 202, No. 1-2 (A), 355-383 (2023); correction ibid. 202, No. 1-2 (A), 385 (2023).
On the Reeb spaces of definable maps. (English) Zbl 1500.03014
Reviewer: Fujita Masato (Kure)
A \(p\)-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration. (English) Zbl 1485.11163
Reviewer: Anatoly N. Kochubei (Kyïv)
Doubling coverings via resolution of singularities and preparation. (English) Zbl 1457.14031
Reviewer: Fujita Masato (Kure)
Optimality regions for designs in multiple linear regression models with correlated random coefficients. (English) Zbl 1441.62180
Accelerating parameter synthesis using semi-algebraic constraints. (English) Zbl 1540.68127
Ahrendt, Wolfgang (ed.) et al., Integrated formal methods. 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11918, 27-45 (2019).
An efficient algorithm for generalized polynomial partitioning and its applications. (English) Zbl 1542.14071
Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 5, 14 p. (2019).
Reviewer: Aris Daniilidis (Wien)
Axl, a geometric modeler for semi-algebraic shapes. (English) Zbl 1396.65028
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 128-136 (2018).
A definable \(p\)-adic analogue of Kirszbraun’s theorem on extensions of Lipschitz maps. (English) Zbl 1436.03196
The degrees of freedom of partly smooth regularizers. (English) Zbl 1382.62027
Reviewer: Oleksandr Kukush (Kyïv)
Positive primitive formulae of modules over rings of semi-algebraic functions on a curve. (English) Zbl 1360.03076
Reviewer: Beibut Kulpeshov (Almaty)
Stratifications in valued fields. (English) Zbl 1345.03069
Campillo, Antonio (ed.) et al., Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18–29, 2011. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-149-1/hbk). EMS Series of Congress Reports, 288-296 (2014).
On some global semianalytic sets. (Sur certains ensembles semianalytiques globaux.) (English. French summary) Zbl 1315.03045
Logarithmic limit sets of real semi-algebraic sets. (English) Zbl 1271.14091
Reviewer: Gareth Jones (Manchester)
Approximations and Lipschitz continuity in \(p\)-adic semi-algebraic and subanalytic geometry. (English) Zbl 1345.03075
Lipschitz continuity properties for \(p\)-adic semi-algebraic and subanalytic functions. (English) Zbl 1220.12003
Reviewer: Tobias Kaiser (Passau)
Approximation of definable sets by compact families, and upper bounds on homotopy and homology. (English) Zbl 1177.14097
Reviewer: Immanuel Halupczok (Münster)
Generating polynomial invariants with DISCOVERER and QEPCAD. (English) Zbl 1151.68366
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 67-82 (2007).
Counterexamples to quantifier elimination for fewnomial and exponential expressions. (English) Zbl 1149.14044
Reviewer: Niels Schwartz (Passau)
Topological elementary equivalence of closed semi-algebraic sets in the real plane. (English) Zbl 0974.03038
Reviewer: Robert A.Herrmann (Annapolis)
Germs of arcs on singular algebraic varieties and motivic integration. (English) Zbl 0928.14004
Reviewer: Roy Joshua (Columbus)
Improved algorithms for sign determination and existential quantifier elimination. (English) Zbl 0789.68079
Quotients of semi-algebraic spaces. (English) Zbl 0647.14008
Reviewer: C.Scheiderer
Macintyre’s theorem on definable sets in \(p\)-adic fields. (Le théorème de Macintyre sur les ensembles définissables dans les corps \(p\)-adiques.) (French) Zbl 0692.03021
Groupe d’Étude d’Analyse Ultramétrique 1985/86, Publ. Math. Univ. Paris VII 29, 15-30 (1986).
Reviewer: Alexander Prestel (Konstanz)
Logique et géométrie algébrique réelle. (Logic and real algebraic geometry). (French) Zbl 0624.14017
Logic colloq. ’85, Proc. Colloq., Orsay/France 1985, Stud. Logic Found. Math. 122, 267-279 (1987).
A hybrid model for prismatic solids. (English) Zbl 0605.73073
MSC:
74S05
74S30
Separably real closed local rings. (English) Zbl 0604.18003
Reviewer: M.F.Roy
Some applications of a model theoretic fact to (semi-)algebraic geometry. (English) Zbl 0538.14017
Reviewer: N.Schwartz
The divisor class groups of some rings of global real analytic, Nash or rational regular functions. (English) Zbl 0519.14019
Geometrie algebrique reelle et formes quadratiques, Journ. S.M.F., Univ. Rennes 1981, Lect. Notes Math. 959, 218-248 (1982).
Filter Results by …
Document Type
- Journal Articles (29)
- Collection Articles (8)
all
top 5
Author
- Cluckers, Raf (5)
- Halupczok, Immanuel (3)
- Xia, Bican (3)
- Gabrielov, Andrei (2)
- Joyal, André (2)
- Loeser, François (2)
- Reyes, Gonzalo E. (2)
- Yang, Lu (2)
- Zhan, Naijun (2)
- Agarwal, Pankaj Kumar (1)
- Alessandrini, Daniele (1)
- Aronov, Boris (1)
- Basu, Saugata (1)
- Bélair, Luc (1)
- Beneš, Nikola (1)
- Bochnak, Jacek (1)
- Brim, Luboš (1)
- Cannarozzi, Mario (1)
- Canny, John F. (1)
- Chen, Yinghua (1)
- Christoforou, Emmanouil (1)
- Comte, Georges (1)
- Cox, Nathanael (1)
- Critch, Andrew James (1)
- Deledalle, Charles-Alban (1)
- Denef, Jan (1)
- Dossal, Charles (1)
- Edmundo, Mário J. (1)
- Elkhadiri, Abdelhafed (1)
- Ezra, Esther E. (1)
- Fadili, Jalal M. (1)
- Friedland, Omer (1)
- Geletka, Martin (1)
- Graßhoff, Ulrike (1)
- Hill, Max (1)
- Holling, Heinz (1)
- Josz, Cédric (1)
- Kucharz, Wojciech (1)
- Kuijpers, Bart H. M. (1)
- Mantzaflaris, Angelos (1)
- Martin, Florent (1)
- Montúfar, Guido F. (1)
- Mourrain, Bernard (1)
- Paredaens, Jan (1)
- Pastva, Samuel (1)
- Percival, Sarah (1)
- Peyré, Gabriel (1)
- Phillips, Laura R. (1)
- Pillay, Anand (1)
- Prelli, Luca (1)
- Roch, Sébastien (1)
- Rodriguez, Jose Israel (1)
- Röttger, Frank (1)
- Roy, Marie-Françoise (1)
- Šafránek, David (1)
- Scheiderer, Claus (1)
- Schwabe, Rainer (1)
- Seigal, Anna Leah (1)
- Shiota, Masahiro (1)
- Steinhorn, Charles I. (1)
- Vaiter, Samuel (1)
- Van den Bussche, Jan (1)
- van den Dries, Lou (1)
- Vorob’ëv, Nikolaĭ N. jun. (1)
- Wintz, Julien (1)
- Yomdin, Yosef (1)
- Zahl, Joshua (1)
- Zhang, Zhihai (1)
- Zhou, Chaochen (1)
all
top 5
Serial
- Math. Z. (2)
- J. Algebr. Stat. (2)
- Bull. Math. Biol. (1)
- Ann. Inst. Fourier (1)
- Ann. Inst. Stat. Math. (1)
- Comput. J. (1)
- Indag. Math. (1)
- Int. J. Numer. Methods Eng. (1)
- Invent. Math. (1)
- J. Lond. Math. Soc., II. Ser. (1)
- J. Pure Appl. Algebra (1)
- J. Reine Angew. Math. (1)
- J. Stat. Plann. Inference (1)
- J. Symb. Log. (1)
- Rev. Colomb. Mat. (1)
- J. Symb. Comput. (1)
- Discrete Comput. Geom. (1)
- Geom. Funct. Anal. (1)
- Bull. Am. Math. Soc., New Ser. (1)
- Arch. Math. Logic (1)
- Math. Program. (1)
- Sel. Math., New Ser. (1)
- Commun. Contemp. Math. (1)
- Adv. Geom. (1)
- Mosc. Math. J. (1)
- J. Inst. Math. Jussieu (1)
- Front. Comput. Sci. China (1)