按照传统,ISSAC 2003进行了邀请的演讲,贡献的论文,教程,海报会议和软件展览。该卷包含将在会议上发表的所有论文以及受邀演讲的摘要。封面(设计:Ed Shields)展示了费城30街与市场街交汇处的Drexel大学广告牌。 p>
总共提交了68篇论文,每篇都分发给计划委员会的成员和外部审阅者。每次提交平均获得3篇裁判报告,最后选择36篇论文进行介绍。因此,我们深信,这些程序中的贡献代表了跨越大多数符号和代数计算领域的卓越而广泛(尽管不完整)的光谱。我们对所有的贡献者和讲师表示祝贺和最热烈的感谢。
机译:对真实代数集的每个连接分量中的至少一个点的预测和计算的正确性缺陷
机译:Banach代数中的代数元素集的连接组件中的漂亮连接路径
机译:Banach代数中的一组代数元素的连接组件中的漂亮连接路径
机译:光滑实代数集的每个连通分量的极点多样性和一个点的计算
机译:实数和Z(2)-等价同构理论的代数循环。
机译:PACC:Hadoop和Spark上的大规模连接组件计算
机译:平滑实代数集中每个连通分量中一个点的极性变种与计算
机译:图2的2和3连接组件的维护,第2部分:2和3边连接组件和2顶点连接组件。