Published: 01 Jan 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.
Loading
Send Feedback
Enter your feedback below and we'll get back to you as soon as possible. To submit a bug report or feature request, you can use the official OpenReview GitHub repository: Report an issue
BibTeX Record
Click anywhere on the box above to highlight complete record