×

Found 202 Documents (Results 1–100)

100
MathJax

Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories. (English. Russian original) Zbl 07456761

Algebra Logic 60, No. 4, 241-262 (2021); translation from Algebra Logika 60, No. 4, 369-399 (2021).
MSC:  03-XX 20-XX
PDF BibTeX XML Cite
Full Text: DOI

Algebras of distributions of binary isolating formulas for quite o-minimal theories. (English. Russian original) Zbl 1468.03049

Algebra Logic 57, No. 6, 429-444 (2019); translation from Algebra Logika 57, No. 6, 662-683 (2018).
MSC:  03C64 03C15 03C07
PDF BibTeX XML Cite
Full Text: DOI

Minimally many-valued extensions of the monoidal t-norm based logic MTL. (English) Zbl 1401.03048

Petrosino, Alfredo (ed.) et al., Fuzzy logic and soft computing applications. 11th international workshop, WILF 2016, Naples, Italy, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52961-5/pbk; 978-3-319-52962-2/ebook). Lecture Notes in Computer Science 10147. Lecture Notes in Artificial Intelligence, 106-115 (2017).
MSC:  03B50 03B52
PDF BibTeX XML Cite
Full Text: DOI

Positive formulas in intuitionistic and minimal logic. (English) Zbl 1326.03018

Aher, Martin (ed.) et al., Logic, language, and computation. 10th international Tbilisi symposium on logic, language, and computation, TbiLLC 2013, Gudauri, Georgia, September 23–27, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-46905-7/pbk; 978-3-662-46906-4/ebook). Lecture Notes in Computer Science 8984, 175-189 (2015).
MSC:  03B20 03B55
PDF BibTeX XML Cite
Full Text: DOI Link

The area preserving curve shortening flow with Neumann free boundary conditions. (English) Zbl 1297.53004

Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Diss.). iii, 155 p. (2014).
MSC:  53-02 53C44 53C42 35K55
PDF BibTeX XML Cite
Full Text: arXiv Link

Regularity of the singular set of the free boundary for the obstacle problem in codimension one. (English) Zbl 1187.35035

Citti, Giovanna (ed.) et al., Conference on geometric methods in PDE’s. On the occasion of the 65th birthday of Ermanno Lanconelli. Lectures of the conference, Bologna, Italy, May 27–30, 2008. Potenza: Università degli Studi della Basilicata, Dipartimento di Matematica e Informatica (ISBN 978-88-902965-4-3/pbk). Lecture Notes of Seminario Interdisciplinare di Matematica 7, 163-174 (2008).
PDF BibTeX XML Cite

On behaviour of 2-formulas in weakly o-minimal theories. (English) Zbl 1119.03033

Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 31-40 (2006).
MSC:  03C64
PDF BibTeX XML Cite

Algebraic representation formulas for null curves in \(\text{Sl}(2,{\mathbb C})\). (English) Zbl 1144.53304

Opozda, Barbara (ed.) et al., PDEs, submanifolds and affine differential geometry. Proceedings of the conference and autumn school, Bȩdlewo, Poland, September 23–27, 2003. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Center Publications 69, 221-242 (2005).
MSC:  53A10 53C42 68U05
PDF BibTeX XML Cite

On minimal cubature formulas with the trigonometric \(d\)-property in the two-dimensional case. (Russian, English) Zbl 1079.41029

Zh. Vychisl. Mat. Mat. Fiz. 45, No. 1, 8-16 (2005); translation in Comput. Math. Math. Phys. 45, No. 1, 5-12 (2005).
MSC:  41A55 65D30
PDF BibTeX XML Cite
Full Text: Link

Formulas for derivatives of solutions of the \(\overline\partial\)-equation in the ball. (English) Zbl 1076.32505

Barsegian, Grigor A. (ed.) et al., Topics in analysis and its applications. Proceedings of the NATO Advanced Research Workshop, Yerevan, Armenia, September, 22–25, 2002. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-2063-5/pbk; 1-4020-2062-7/hbk). NATO Science Series II: Mathematics, Physics and Chemistry 147, 229-233 (2004).
MSC:  32W05
PDF BibTeX XML Cite
Full Text: DOI

Minimal unsatisfiable sets: Classification and bounds. (English) Zbl 1115.68507

Maher, Michael J. (ed.), Advances in computer science – ASIAN 2004. Higher-level decision making. 9th Asian computing science conference. Dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8–10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24087-X/pbk). Lecture Notes in Computer Science 3321, 330-342 (2004).
MSC:  68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI

An excursion into geometric analysis. (English) Zbl 1076.53001

Grigor’yan, Alexander (ed.) et al., Surveys in differential geometry. Eigenvalues of Laplacians and other geometric operators. Somerville, MA: International Press (ISBN 1-57146-115-9/hbk). Surveys in Differential Geometry 9, 83-146 (2004).
PDF BibTeX XML Cite
Full Text: arXiv

Spectral properties of differential operators of order \(2N\). (English. Russian original) Zbl 1077.34080

Math. Notes 76, No. 2, 280-285 (2004); translation from Mat. Zametki 76, No. 2, 303-307 (2004).
MSC:  34L05 47E05
PDF BibTeX XML Cite
Full Text: DOI

Modal definability in languages with a finite number of propositional variables and a new extension of the Sahlqvist’s class. (English) Zbl 1081.03018

Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 499-518 (2003).
MSC:  03B45
PDF BibTeX XML Cite

Minimal quadrature formulas accurate for Haar polynomials. (Russian, English) Zbl 1061.65021

Zh. Vychisl. Mat. Mat. Fiz. 42, No. 6, 791-799 (2002); translation in Comput. Math. Math. Phys. 42, No. 6, 758-766 (2002).
MSC:  65D32 41A55
PDF BibTeX XML Cite

Pairs of compact convex sets. Fractional arithmetic with convex sets. (English) Zbl 1027.46001

Mathematics and its Applications (Dordrecht). 548. Dordrecht: Kluwer Academic Publishers. xii, 295 p. (2002).
MSC:  46-02 52-02 46A55
PDF BibTeX XML Cite

Natural algebraic representation formulas for curves in \({\mathbb C}^3\). (English) Zbl 1029.53012

Opozda, Barbara (ed.) et al., PDEs, submanifolds and affine differential geometry. Contributions of a conference, Warsaw, Poland, September 4-10, 2000. Warsaw: Polish Academy of Sciences, Institute of Mathematics, Banach Cent. Publ. 57, 109-134 (2002).
MSC:  53A10 49Q05 30F30
PDF BibTeX XML Cite
Full Text: Link

Theory of minimal splines. (Teoriya minimal’nykh splajnov.) (Russian) Zbl 1050.41001

St. Petersburg: Izdatel’stvo Sankt Peterburgskogo Universiteta (ISBN 5-288-02290-9). 316 p. (2000).
PDF BibTeX XML Cite

Spacelike hypersurfaces of constant mean curvature in spacetimes with symmetries. (English) Zbl 0984.53025

Llinares Fuster, Elisa (ed.) et al., Proceedings of the 7th fall workshop on differential geometry and its applications, Valencia, Spain, September 21-23, 1998. Madrid: Real Sociedad Matemática Española. Publ. R. Soc. Mat. Esp. 1, 1-14 (2000).
PDF BibTeX XML Cite

Deformations of minimal surfaces of \(\mathbb{R}^3\) containing planar geodesics. (English) Zbl 0985.53004

Slovák, Jan (ed.) et al., Proceedings of the 18th winter school “Geometry and physics”, Srní, Czech Republic, January 10-17, 1998. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 59, 143-153 (1999).
MSC:  53A10 53A04 34L99
PDF BibTeX XML Cite

Average case analysis of numerical integration. (English) Zbl 0949.65057

Haußmann, Werner (ed.) et al., Advances in multivariate approximation. Proceedings of the 3rd international conference on multivariate approximation theory, Witten-Bommerholz, Germany, September 27-October 2, 1998. Berlin: Wiley-VCH. Math. Res. 107, 185-200 (1999).
MSC:  65J10 65D32 60H05 65C50 43A85 41A65 60G15
PDF BibTeX XML Cite

Distribution of rational points of rational geometrically ruled surfaces. (Répartition des points rationnels des surfaces géométriquement réglées rationnelles.) (French) Zbl 1007.11039

Peyre, Emmanuel (ed.), Nombre et répartition de points de hauteur bornée. Paris: Société Mathématique de France, Astérisque. 251, 79-89 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software