×

Found 10,206 Documents (Results 1–100)

Newest Citations Relevance
Glushchenko, A. I.; Lastochkin, K. A.

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

Comput. Math. Math. Phys. 63, No. 9, 1559-1570 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415-1427 (2023).
MSC:  81-XX 65-XX
PDF BibTeX XML Cite
\textit{A. I. Glushchenko} and \textit{K. A. Lastochkin}, Comput. Math. Math. Phys. 63, No. 9, 1559--1570 (2023; Zbl 07752283); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 9, 1415--1427 (2023)
Full Text: DOI
Jeong, Jihwan; Sanner, Scott; Kumar, Akshat

A mixed-integer linear programming reduction of disjoint bilinear programs via symbolic variable elimination. (English) Zbl 07745654

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 79-95 (2023).
MSC:  68T20 90Bxx 90C27
PDF BibTeX XML Cite
\textit{J. Jeong} et al., Lect. Notes Comput. Sci. 13884, 79--95 (2023; Zbl 07745654)
Full Text: DOI
Batkhin, A. B.; Khaidarov, Z. Kh.

Calculation of a strong resonance condition in a Hamiltonian system. (English. Russian original) Zbl 07709474

Comput. Math. Math. Phys. 63, No. 5, 687-703 (2023); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 5, 697-714 (2023).
MSC:  70-08 70H14 68W30
PDF BibTeX XML Cite
\textit{A. B. Batkhin} and \textit{Z. Kh. Khaidarov}, Comput. Math. Math. Phys. 63, No. 5, 687--703 (2023; Zbl 07709474); translation from Zh. Vychisl. Mat. Mat. Fiz. 63, No. 5, 697--714 (2023)
Full Text: DOI
Alekseev, A. O.; Amosov, G. G.

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

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).
MSC:  81P45 03C10 28B05 81R30 47B65 46C05 81P15 47B10
PDF BibTeX XML Cite
\textit{A. O. Alekseev} and \textit{G. G. Amosov}, Vestn. St. Petersbg. Univ., Math. 56, No. 1, 1--8 (2023; Zbl 07688772); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 1, 3--13 (2023)
Full Text: DOI
Poizat, Bruno; Yeshkeyev, Aibat

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).
MSC:  03A05 03Bxx 01A25 01A55 03C95 03C48 03C10
PDF BibTeX XML Cite
\textit{B. Poizat} and \textit{A. Yeshkeyev}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 603--609 (2022; Zbl 07740534)
Full Text: DOI
Semenov, A. L.; Soprunov, S. F.

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
PDF BibTeX XML Cite
\textit{A. L. Semenov} and \textit{S. F. Soprunov}, Dokl. Math. 106, Part Suppl. 2, S288--S298 (2022; Zbl 07728611); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304--327 (2021)
Full Text: DOI
Tran, Bénédikt; Vaudenay, Serge

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

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).
MSC:  81P68 68T05 03C10 28C20 94A60 81P94 15B34 68P10 81P73
PDF BibTeX XML Cite
\textit{B. Tran} and \textit{S. Vaudenay}, Lect. Notes Comput. Sci. 13503, 295--322 (2022; Zbl 07691414)
Full Text: DOI
Dekker, David; Jansen, Bart M. P.

Kernelization for feedback vertex set via elimination distance to a forest. (English) Zbl 07682408

Bekos, Michael A. (ed.) et al., Graph-theoretic concepts in computer science. 48th international workshop, WG 2022, Tübingen, Germany, June 22–24, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13453, 158-172 (2022).
MSC:  68R10
PDF BibTeX XML Cite
\textit{D. Dekker} and \textit{B. M. P. Jansen}, Lect. Notes Comput. Sci. 13453, 158--172 (2022; Zbl 07682408)
Full Text: DOI arXiv
Orlandelli, Eugenio; Tesi, Matteo

Labelled sequent calculi for logics of strict implication. (English) Zbl 07668118

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 625-641 (2022).
MSC:  03F03 03B45
PDF BibTeX XML Cite
\textit{E. Orlandelli} and \textit{M. Tesi}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 625--641 (2022; Zbl 07668118)
Ono, Hiroakira; Sano, Katsuhiko

Analytic cut and Mints’ symmetric interpolation method for bi-intuitionistic tense logic. (English) Zbl 07668117

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 601-623 (2022).
MSC:  03F05 03B20 03C40
PDF BibTeX XML Cite
\textit{H. Ono} and \textit{K. Sano}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 601--623 (2022; Zbl 07668117)
Goré, Rajeev; Shillito, Ian

Direct elimination of additive-cuts in GL4ip: verified and extracted. (English) Zbl 1518.03015

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 429-449 (2022).
Reviewer: Annika Kanckos (Helsinki)
MSC:  03F45 03B35 03F05
PDF BibTeX XML Cite
\textit{R. Goré} and \textit{I. Shillito}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 429--449 (2022; Zbl 1518.03015)
Ciabattoni, Agata; Straßburger, Lutz; Tesi, Matteo

Taming bounded depth with nested sequents. (English) Zbl 07668098

Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 199-216 (2022).
MSC:  03F05 03B55
PDF BibTeX XML Cite
\textit{A. Ciabattoni} et al., in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 199--216 (2022; Zbl 07668098)

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

Main Field

all top 3

Biographic Reference

all top 3

Software