×

Found 2,134 Documents (Results 1–100)

Variations of \(v\)-change of time in an optimal control problem with state and mixed constraints. (English. Russian original) Zbl 1533.49015

Izv. Math. 87, No. 4, 726-767 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 4, 91-132 (2023).
MSC:  49K15 49K27
PDFBibTeX XMLCite
Full Text: DOI MNR

A Coq formalization of Lebesgue induction principle and Tonelli’s theorem. (English) Zbl 1529.68315

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 39-55 (2023).
PDFBibTeX XMLCite
Full Text: DOI HAL

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