Results 1 to 10 of about 543 (181)

Two inequalities about the pedal triangle

Journal of Inequalities and Applications, 2018
Two conjectures about the pedal triangle are proved. For the first conjecture, the product of the distances from an interior point to the vertices is mainly considered and a lower bound is obtained by the geometric method.
Fangjian Huang
doaj   +1 more source

Some Refinements and Generalizations of I. Schur Type Inequalities

The Scientific World Journal, 2014
Recently, extensive researches on estimating the value of e have been studied. In this paper, the structural characteristics of I. Schur type inequalities are exploited to generalize the corresponding inequalities by variable parameter techniques.
Xian-Ming Gu, Ting-Zhu Huang, Wei-Ru Xu, Hou-Biao Li, Liang Li, Xi-Le Zhao   +5 more
doaj   +1 more source

Computer-Aided Verification of P/NP Proofs: A Survey and Discussion

IEEE Access
We survey a collection of proofs towards equality, inequality, or independence of the relation of P to NP. Since the problem has attracted much attention from experts, amateurs, and in-betweens, this work is intended as a pointer into directions to ...
Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler   +3 more
doaj   +1 more source

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities

LLM-based formal proof assistants (e.g., in Lean) hold great promise for automating mathematical discovery. But beyond syntactic correctness, do these systems truly understand mathematical structure as humans do? We investigate this question in context of mathematical inequalities -- specifically the prover's ability to recognize that the given problem
Zhao, Haoyu, Geng, Yihan, Tang, Shange, Lin, Yong, Lyu, Bohan, Lin, Hongzhou, Jin, Chi, Arora, Sanjeev   +7 more
openaire   +2 more sources

Divergence-Conforming Velocity and Vorticity Approximations for Incompressible Fluids Obtained with Minimal Facet Coupling. [PDF]

J Sci Comput, 2023
Gopalakrishnan J, Kogler L, Lederer PL, Schöberl J.   +3 more
europepmc   +1 more source

Experimental full-domain mapping of quantum correlation in Clauser-Horne-Shimony-Holt scenarios. [PDF]

Phys Rev Appl, 2023
Tong X, He Z, Zhang Y, Solomon S, Lin L, Song Q, Wang LV.   +6 more
europepmc   +1 more source

Computer-assisted construction of Ramanujan-Sato series for 1 over π. [PDF]

Ramanujan J
Hemmecke R, Paule P, Radu CS.
europepmc   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

The search for the ultra-elusive: Can computed cardiopulmonography enhance early detection of gas exchange abnormality? [PDF]

Exp Physiol
Rossiter HB, Molgat-Seon Y.
europepmc   +1 more source

Liquid Biopsy and Automated Next-Generation Sequencing: Achieving Results in 27 Hours Within a Community Setting. [PDF]

Diagnostics (Basel)
Yajima T, Hata F, Kurokawa S, Sawamoto K, Yajima A, Furuya D, Sato N.   +6 more
europepmc   +1 more source