Exakt beräkning antas i de flesta algoritmer i beräkningsgeometri. I praktiken utför implementatorer beräkning i vissa fast precision modell, vanligtvis maskinen flytta-punkt aritmetik. Sådana genomföranden har många välkända problem, här informellt kallade "robustness frågeställningar". För att förena teori och praktik, författare har föreslagit att teoretiska algoritmer bör omformas för att bli robust under fast precision aritmetik. Vi föreslår att implementatörer i många fall ska göra robusthet till en icke-fråga genom att exakt beräkna. Fördelarna med exakt beräkning är för många för att ignorera. Många av de förmodade svårigheterna med exakt beräkning är delvis oöverstigliga och delvis inneboende i robusthetsmålet. Denna uppsats formulerar den teoretiska ramen för exakt beräkning baserad på algebraiska tal. Vi undersöker sedan det praktiska stöd som behövs för att göra det exakta tillvägagångssättet till ett genomförbart alternativ. Det visar sig att det exakta beräkningsparadigmet omfattar en rik uppsättning beräkningstaktik. Vår grundförutsättning är att det traditionella "BigNumber"-paketet som utgör arbetshästen för exakt beräkning måste återuppfinnas för att dra nytta av många funktioner som finns i geometriska algoritmer. Utöver detta postulerar vi flera andra paket som ska byggas ovanpå BigNumber-paketet.
Ett förhärskande tillvägagångssätt för att övervinna robusthetsproblem i beräkningsgeometri är att använda exakt beräkning [13], REF.
Towards Exact Geometric Computation
{'venue': 'Comput. Geom.', 'journal': 'Comput. Geom.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}