the present study introduces a new technique of homotopy perturbation method for the solution of systems of fractional partial differential equations. the proposed scheme is based on laplace transform and new homotopy perturbation methods. the fractional derivatives are considered in caputo sense. to illustrate the ability and reliability of the method some examples are provided. the results ob...

in this study, a new efficient semi-analytical method is introduced to give approximate solutions of strongly nonlinear oscillators. the proposed method is based on combination of two different methods, the multi-step homotopy analysis method and spectral method, called the multi-step spectral homotopy analysis method (msham). in this method, firstly, we propose a new spectral homotopy analysis...

We report about recent progress in computing four-loop massive correlators. The expansion of these correlators in the external momentum leads to vacuum integrals. The calculation of these vacuum integrals can be used to determine Taylor expansion coefficients of the vacuum polarization function and decoupling functions in pertur-bative Quantum chromodynamics. New results at four-loop order for ...

here, a new method called aboodh transform homotopy perturbation method(athpm) is used to solve nonlinear partial dierential equations, we presenta reliable combination of homotopy perturbation method and aboodh transformto investigate some nonlinear partial dierential equations. the nonlinearterms can be handled by the use of homotopy perturbation method. the resultsshow the eciency of this...

in this paper, elzaki homotopy perturbation method is employed for solving linear and nonlinear differential equations with a variable coffecient. this method is a combination of elzaki transform and homotopy perturbation method. the aim of using elzaki transform is to overcome the deficiencies that mainly caused by unsatised conditions in some semi-analytical methods such as homotopy perturbat...

Here, a new method called Aboodh transform homotopy perturbation method(ATHPM) is used to solve nonlinear partial dierential equations, we presenta reliable combination of homotopy perturbation method and Aboodh transformto investigate some nonlinear partial dierential equations. The nonlinearterms can be handled by the use of homotopy perturbation method. The resultsshow the eciency of this me...

Analytical solutions are attractive for parametric studies and consideration of the problems physics. In addition, analytical solutions can be employed as a reference framewo...

The present study introduces a new technique of homotopy perturbation method for the solution of systems of fractional partial differential equations. The proposed scheme is based on Laplace transform and new homotopy perturbation methods. The fractional derivatives are considered in Caputo sense. To illustrate the ability and reliability of the method some examples are provided. The results ob...

Homotopy type theory is a new foundation of mathematics under current development. To compare it with the existing set theoretic foundation, we formalize the cumulative hierarchy of sets in the Coq system, closely following and clarifying the informal treatment in the homotopy type theory book [17].

Univalent homotopy type theory (HoTT) may be seen as a language for the category of ∞-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes. We develop the theory of factorization systems, reflective subuniverses, and modalities in homotopy type theory, including their construction using a “localization” higher inductive...