Search Results - "Naumowicz, Adam"

Elementary Number Theory Problems. Part V.

Authors: Korniłowicz, Artur Naumowicz, Adam

Source: Formalized Mathematics. Oct2022, Vol. 30 Issue 3, p229-234. 6p.

Interfacing external CA systems for Grobner bases computation in Mizar proof checking.

Authors: Naumowicz, Adam¹, adamn@mizar.org

Source: International Journal of Computer Mathematics; Jan2010, Vol. 87 Issue 1, p1-11, 11p, 1 Chart

Structures, Antioxidant Properties, and Antimicrobial Properties of Eu(III), Gd(III), and Dy(III) Caffeinates and p -Coumarates.

Authors: Świderski, Grzegorz Kalinowska, Monika Gołębiewska, Ewelina et al.

Source: Molecules. Sep2023, Vol. 28 Issue 18, p6506. 25p.