Other
Mathematica verification
(2021)
Abstract
This is a set of Mathematica notebooks and their pdf images accompanying the paper "An intertwined Cauchy--Schwarz-type inequality based on a Lagrange-type identity"
Disciplines
Publication Date
Summer August 22, 2021
Citation Information
Iosif Pinelis. "Mathematica verification" (2021) Available at: http://works.bepress.com/iosif-pinelis/22/