×

Found 1,319 Documents (Results 1–100)

Inverse kinematics and path planning of manipulator using real quantifier elimination based on comprehensive Gröbner systems. (English) Zbl 07842278

Boulier, François (ed.) et al., Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14139, 393-419 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strong forcing axioms and the continuum problem [after Asperó’s and Schindler’s proof that \(\mathrm{MM}^{++}\) implies Woodin’s axiom \((*)\)]. (Axiomes de forcing forts et l’hypothèse du continu [suivant la démonstration d’Asperó et Schindler que \(\mathrm{MM}^{++}\) entraîne l’axiome de Woodin \((*)\)].) (English) Zbl 07827471

Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Paris: Société Mathématique de France (SMF). Astérisque 446, 383-416, Exp. No. 1207 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Universal first-order quantification over automata. (English) Zbl 07810926

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 91-102 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Constructive algorithm to vectorize \((P \otimes P\) product for symmetric matrix \(P\). (English. Russian original) Zbl 1533.81029

Comput. Math. Math. Phys. 63, No. 9, 1559-1570 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415-1427 (2023).
PDFBibTeX XMLCite
Full Text: DOI

On the extension of a family of projections to a positive operator-valued measure. (English. Russian original) Zbl 1522.81036

Vestn. St. Petersbg. Univ., Math. 56, No. 1, 1-8 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 1, 3-13 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Particles and \(p-\)adic integrals of Spin\(\left(\frac{1}{2}\right)\): spin Lie group, \(\mathcal{R}(\rho,q)-\)gamma and \(\mathcal{R}(\rho,q)-\) beta functions, ghost and applications. arXiv:2308.06363

Preprint, arXiv:2308.06363 [math.NT] (2023).
BibTeX Cite
Full Text: arXiv

Strong forcing axioms and the continuum problem (following Asperó’s and Schindler’s proof that \(\mathbf{MM}^{++}\) implies Woodin’s Axiom \((*)\)). arXiv:2305.07784

Preprint, arXiv:2305.07784 [math.LO] (2023).
BibTeX Cite
Full Text: arXiv

Back and forth in positive logic. (English) Zbl 07740534

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 603-609 (2022).
PDFBibTeX XMLCite
Full Text: DOI

The lattice of definability: origins, recent developments, and further directions. (English. Russian original) Zbl 07728611

Dokl. Math. 106, Part Suppl. 2, S288-S298 (2022); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021).
MSC:  03C40 03C10
PDFBibTeX XMLCite
Full Text: DOI

Solving the learning parity with noise problem using quantum algorithms. (English) Zbl 1523.81049

Batina, Lejla (ed.) et al., Progress in cryptology – AFRICACRYPT 2022. 13th international conference on cryptology in Africa, AFRICACRYPT 2022, Fes, Morocco, July 18–20, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13503, 295-322 (2022).
PDFBibTeX XMLCite
Full Text: DOI

A verified decision procedure for univariate real arithmetic with the BKR algorithm. (English) Zbl 07699431

Cohen, Liron (ed.) et al., 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 193, Article 14, 20 p. (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verified quadratic virtual substitution for real arithmetic. (English) Zbl 1521.68246

Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 200-217 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantifier elimination versus Hilbert’s seventeenth problem. (Élimination des quantificateurs versus dix-septième problème de Hilbert.) (French) Zbl 1494.03006

Haffner, Emmylou (ed.) et al., L’épistémologie du dedans. Mélanges en l’honneur de Hourya Benis-Sinaceur. Paris: Classiques Garnier. Rencontres 479, 191-211 (2021).
PDFBibTeX XMLCite

A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 1491.03012

Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software