1
by Platzer, André.
Published 2021
Format:
Table of Contents: ... Preliminary Case Study -- 6 Conclusion -- References -- Equational Theorem Proving Modulo -- 1 Introduction...
Click to View
2
by Fischer, Veronique.
Published 2016
Format:
Table of Contents: ... kernel -- 4.2.3 Proof of the heat kernel theorem and its corollaries -- 4.3 Fractional powers of positive...
Click to View
3
by Gimpel, Henner.
Published 2021
Format:
Table of Contents: ...-Run Efficiency -- 3.1.3 Support of the Broader Economy and Society -- 3.1.4 Security of Supply -- 3...
Click to View
4
by Benth, Fred Espen.
Published 2015
Format:
Table of Contents: ... Solutions -- References -- Nonlinear Young Integrals via Fractional Calculus -- 1 Introduction -- 2...
Click to View
5
by Myers, Stephen.
Published 2020
Format:
Table of Contents: ....3 Liouville's Theorem -- 2.3.1 Chains of Accelerators -- 2.3.2 Exceptions to Liouville's Theorem -- 2...
Click to View
6
by Marwedel, Peter.
Published 2021
Format:
Table of Contents: ....4 Common Characteristics -- 1.5 Curriculum Integration of Embedded Systems, CPS, and IoT -- 1...
Click to View
7
by Daya Sagar, B. S.
Published 2018
Format:
Table of Contents: ...-The Discrete Case -- 1.2.5 Kriging and Bayesian Inversion -- 1.2.5.1 Bayesian Linear Inversion -- 1...
Click to View