Sammanfattning : PAC är ett datoralgebrasystem, baserat på MIMD typ parallellism. Den använder parallellism som ett verktyg för att bearbeta problem som är alltför komplexa för en sekventiell behandling. Grundprinciperna för systemet diskuteras för det första. Sedan studeras olika problem, särskilt genomförandet av oändlig precision aritmetik, lösningen av linjära system och Diofantine ekvationer, parallelliseringen av Buchbergers algoritm för Grtbner baser. En prototyp av PAC implementeras på Floating Point System hypercube Tesseract 20 (16 noder), och olika timing resultat som erhållits på denna maskin ges.  I enlighet med artikel 16 i förordning (EG) nr 1107/2009 ska kommissionen anta delegerade akter i enlighet med artikel 290 i fördraget om Europeiska unionens funktionssätt för att se till att bestämmelserna i denna förordning efterlevs.
Roch et al REF diskuterar genomförandet och prestandan av en parallell Gröbner-basalgoritm på Floating Point System hypercube Tesseract 20 med 16 noder.
Computer algebra on MIMD machine
{'venue': 'SIGS', 'journal': None, 'mag_field_of_study': ['Computer Science']}