Symbolic Solution of a Piano Movers' Problem with Four Parameters

Download PDF
Open Webpage

Lu Yang, Zhenbing Zeng

Published: 2004, Last Modified: 13 Nov 2024Automated Deduction in Geometry 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This paper presents a symbolic solution to a piano movers’ problem with four parameters through investigating the positive definiteness of an even polynomial of degree 8 and the feasibility of certain inequality systems.