×

Found 61,652 Documents (Results 1–100)

100
MathJax

Justification logic and type theory as formalizations of intuitionistic propositional logic. (English) Zbl 07551710

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 37-51 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Andrews Skolemization may shorten resolution proofs non-elementarily. (English) Zbl 07551708

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 9-24 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Local dynamics of a singularly perturbed second order equation with state-dependent delay. (English. Russian original) Zbl 07550595

Math. Notes 111, No. 5, 818-822 (2022); translation from Mat. Zametki 111, No. 5, 795-799 (2022).
MSC:  34Kxx 34-XX 49Jxx
PDF BibTeX XML Cite
Full Text: DOI

Equivariant cohomology, Schubert calculus, and edge labeled tableaux. (English) Zbl 07543942

Aluffi, Paolo (ed.) et al., Facets of algebraic geometry. A collection in honor of William Fulton’s 80th birthday. Volume 2. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 473, 284-335 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Characteristic classes of symmetric and skew-symmetric degeneracy loci. (English) Zbl 07543941

Aluffi, Paolo (ed.) et al., Facets of algebraic geometry. A collection in honor of William Fulton’s 80th birthday. Volume 2. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 473, 254-283 (2022).
PDF BibTeX XML Cite
Full Text: DOI

Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula. (English) Zbl 07543935

Aluffi, Paolo (ed.) et al., Facets of algebraic geometry. A collection in honor of William Fulton’s 80th birthday. Volume 2. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 473, 63-83 (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the possibilities of using fractional-order differential calculus in linear and nonlinear model predictive control. (English) Zbl 07543835

Domański, Paweł D. (ed.) et al., Outliers in control engineering. Fractional calculus perspective. Based on the 20th world congress of the International Federation of Automatic Control (IFAC), Toulouse, France, July 9–14, 2017. Berlin: De Gruyter. Fract. Calc. Appl. Sci. Eng. 10, 27-46 (2022).
MSC:  93-XX 26A33
PDF BibTeX XML Cite
Full Text: DOI

Outliers in control engineering – they exist, like it or not. (English) Zbl 07543834

Domański, Paweł D. (ed.) et al., Outliers in control engineering. Fractional calculus perspective. Based on the 20th world congress of the International Federation of Automatic Control (IFAC), Toulouse, France, July 9–14, 2017. Berlin: De Gruyter. Fract. Calc. Appl. Sci. Eng. 10, 1-24 (2022).
MSC:  93-XX 26Axx
PDF BibTeX XML Cite
Full Text: DOI

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

Biographic Reference

all top 3

Software