Results 101 to 110 of about 150 (126)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source

Bayesian Semiparametric Multivariate Density Deconvolution. [PDF]

open access: yesJ Am Stat Assoc, 2018
Sarkar A   +4 more
europepmc   +1 more source

Multiplier operator algebras and applications. [PDF]

open access: yesProc Natl Acad Sci U S A, 2004
Blecher DP, Zarikian V.
europepmc   +1 more source

A new conservation theorem

Journal of Mathematical Analysis and Applications, 2007
Nail H Ibragimov
exaly  

The virial theorem and stress calculation in molecular dynamics

Journal of Chemical Physics, 1979
D H Tsai, Tsai D H
exaly  

Further Results for Perron–Frobenius Theorem for Nonnegative Tensors

SIAM Journal on Matrix Analysis and Applications, 2010
Yuning Yang, Qingzhi Yang
exaly  

Home - About - Disclaimer - Privacy