Abstract: Summary. This part of this book, which is the first of the four foundational chapters, presents a systematic development of trigonometry, volume, hypermap, and fan. There is a separate chapter on each of these topics. The purpose of the this material is to build a bridge between the foundations of mathematics, as presented in formal theorem proving systems such as HOL Light, and the solution to the packing problem.
Publication Year: 2012
Publication Date: 2012-09-06
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot