×

Found 11,566 Documents (Results 1–100)

Some problems of implementing optimal control theory in automated control systems. (English. Russian original) Zbl 07662439

Autom. Remote Control 83, No. 10, 1630-1638 (2022); translation from Datchiki Sist. 2022, No. 3, 3-8 (2022).
MSC:  49J10 93C85 68W30
PDF BibTeX XML Cite
Full Text: DOI

Virtual classes of representation varieties of upper triangular matrices via topological quantum field theories. (English) Zbl 1502.14033

PDF BibTeX XML Cite
Full Text: DOI arXiv

Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description). (English) Zbl 07628183

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 95-105 (2022).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI

A quasi-coherent description of the category \(D\)-\(\bmod(\mathrm{Gr}_{\mathrm{GL}}(n))\). (English) Zbl 1502.14041

Baranovsky, Vladimir (ed.) et al., Representation theory and algebraic geometry. A conference celebrating the birthdays of Sasha Beilinson and Victor Ginzburg, Chicago, IL, USA, August 21–25, 2017. Cham: Birkhäuser. Trends Math., 133-149 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software