記号計算および代数計算に関する国際シンポジウム

国際シンポジウム「記号代数計算」 （ISSAC）は、コンピュータ代数の分野における学術会議です。ISSACは1988年以来毎年開催されており^{[ 1 ]} 、通常は7月に開催されます。この会議は、Association for Computing Machineryの特別利益団体SIGSAMによって定期的に後援されており、1989年以降はACMによって議事録が出版されています^{[ 2 ]} 。ISSACは、科学計算研究の発表において最も影響力のある会議の1つと考えられています^{[ 3 ]。}

第1回ISSACは1988年7月4日から8日にローマで開催された。これは1966年から1987年にかけてSYMSAM、SYMSAC、EUROCAL、EUROSAM、EUROCAMという名称で開催されていた一連の会議の後継である。^{[ 4 ]}

• コンピュータ代数に適用されるソフトウェアエンジニアリングにおける卓越性を称えるリチャード・D・ジェンクス記念賞は、 2004年以来、ISSACにおいて隔年で授与されている。
• ISSAC優秀論文賞は、代数計算、記号数値計算、システム設計および実装を含むがこれらに限定されない分野で優れた業績を示した著者に、2002年からISSACで授与されています。^{[ 5 ]}
• ISSAC優秀学生著者賞は、2004年以来ISSACにおいて、論文提出時に学生であった著者に授与されている。

典型的なトピックには以下が含まれます: ^{[ 6 ]}

• 厳密な線形代数;
• 多項式系の解法;
• 記号的総和;
• 記号積分と計算微分代数；
• 計算群論;
• 記号数値アルゴリズム;
• コンピュータ代数システムの設計と実装。
• コンピュータ代数の応用。

• 記号計算ジャーナル

• ISSACのウェブページ
• DBLPにおけるISSACに関する書誌情報