Results 271 to 280 of about 12,698 (302)

Guest Editorial Integrated Formal Methods

Formal Aspects of Computing, 2005
Eerke A. Boiten, John Derrick, Graeme Smith 0001   +2 more
openaire   +3 more sources

Formal integration on a digital computer

Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery on - ACM '59, 1959
openaire   +1 more source

Hamiltonian path integral formalism with higher derivatives

Zeitschrift Für Physik C-Particles and Fields, 1991
J Barcelos-Neto, C P Natividade, Barcelos-Neto J   +2 more
exaly  

Integral formalism for surface polaritons at the boundary between two anisotropic media

Microwave and Optical Technology Letters, 1997
A N Furs
exaly  

A canonical formalism for multiple integral problems in the calculus of variations

Aequationes Mathematicae, 1969
Hanno Rund, Rund Hanno
exaly  

Integration: Formalism

2008
openaire   +1 more source

A new integral equation formalism for the polarizable continuum model: Theoretical background and applications to isotropic and anisotropic dielectrics

Journal of Chemical Physics, 1997
Benedetta Mennucci, J Tomasi, Tomasi J   +2 more
exaly  

Derivation of anomalous commutator in the functional integral formalism

Theoretical and Mathematical Physics(Russian Federation), 1987
A Yu Alekseev, S L Shatashvili, Faddeev L D   +2 more
exaly  

A canonical formalism for multiple integral problems in the calculus of variations

Aequationes Mathematicae, 1968
Hanno Rund, Rund Hanno
exaly  

Klein–Gordon equation from the path integral formalism

European Physical Journal C, 2001
D Felea, C Besliu, I S Zgură
exaly