| | 作者 | 标题 | 会话 |
1 | A.普罗科彭亚 | 近似量子傅里叶变换和应用：Wolfram Mathematica模拟 | S1（第一阶段） |
2 | A.奥洛夫斯基 | 从经典的普适可逆逻辑运算到量子计算 | S1（第一阶段） |
三 | V.Gerdt、A.Khvedelidze、，Y.巴利 | 混合量子态幺正作用的轨道空间 | S1（第一阶段） |
4 | A.塞托 | Hilbert空间和Liouville空间中量子计算矩阵乘积状态模拟的实际困难和技术 | S1（第一阶段） |
5 | J.A.米兹扎克 | 无复数量子力学中的状态和通道 | S1（第一阶段） |
6 | O.G.Karamitrou、C.Tsimpouris、P.Mavridi、K.N.Sgarbas | 基于Web的量子计算机模拟器和符号扩展 | S1（第一阶段） |
7 | 斯蒂芬·瓦特 | 基于浏览器的InkChat协作 | S2系列 |
8 | 埃琳娜·斯米尔诺娃 | CAS仙境：从用户界面到用户友好界面的旅程 | S2系列 |
9 | Manfred Minimair公司 | 协作计算机代数：基础综述 | S2系列 |
10 | 劳伦斯·鲁伊斯·乌加尔德 | 基于F ormul框架的计算机代数系统的协同开发和人机界面 | S2系列 |
11 | Manfred Minimair公司 | 协同计算机代数中归纳推理的建模 | S2系列 |
12 | 福井忠雄，S.Shirai | 从线性字符串到数学的预测算法数学输入法公式 | S2系列 |
13 | Joris van der Hoeven、Gregoire Lecerf、Denis Raux | 编辑数学公式时保持语法正确性 | S2系列 |
14 | Hans-Gert Gräbe、Albert Heinle、，安德烈亚斯·纳雷克 | 符号数据、计算机代数和Web 3.0 | S2系列 |
15 | 迈克尔·薛 | 费尔巴哈定理的计算机代数系统构造性证明 | 第3章 |
16 | 埃琳娜·瓦尔巴诺娃 | 论CAS在本科数学中的均衡应用 | 第3章 |
17 | Wlodzimierz Wojas和Jan Krupa | wxMaxima系统在复合进料质量最小化LP问题中的应用 | 第3章 |
18 | R.哈塞克 | 一个具有意外发现的历史轨迹问题的当代解读 | 第3章 |
19 | 拉兹万·梅泽伊（Lenoir-Rhyne Razvan A.Mezei） | 为所有数学课程创建SageMath交互 | 第3章 |
20 | G.标签 | 使用Maple和Quicktime生成空间闭合曲面的JPEG图像动画 | 第3章 |
21 | 约瑟夫·伯姆 | GINI系数，GOZINTO-Graph和期权价格 | 第3章 |
22 | 米歇尔·博丁 | 利用CAS进行教学的思路 | 第3章 |
23 | David Zeitoun和Thierry Dana-Picard | 研究两个实变量函数的绘图技术 | 第3章 |
24 | Th.Dana-Picard，N.泽哈维 | 微分几何经典主题的复兴：曲线和曲面参数化族的包络 | 第3章 |
25 | 约瑟夫·伯姆 | 解决大脑撕裂/扭曲-CAS辅助 | 第3章 |
26 | F.博塔纳 | 数学教学中开放式与专有式计算机代数系统的几点思考 | 第3章 |
27 | Wlodzimierz Wojas和Jan Krupa | 函数逼近中用Mathematica可视化泰勒多项式的几点注记 | 第3章 |
28 | G.Aguilera，J.L.Galán，M.á。加兰、Y.帕迪拉、P.罗德里格斯、R.罗德里格兹 | 教学CAS的不当积分 | 第3章 |
29 | T.高桥、T.酒井、F.岩马 | CAS在数学教学中逻辑分析的应用 | 第3章 |
30 | 格雷戈里·巴德 | 使用SageMathCell和Sage交互来接触数学能力较差的商科学生 | 第3章 |
31 | Alkiviadis G.Akritas公司 | 计算次结式多项式剩余序列（PRS）的各种新方法 | 第3章 |
32 | 阿内特·洛佩斯·加西亚（eanett López García）、豪尔赫·杰梅内斯·扎穆迪奥（Jorge J.Jiménez Zamudio）和马·尤金妮娅·卡努特·迪亚斯·贝拉德（Eugenia Canut Díaz Velarde） | 柱坐标和球坐标系中正交三元组的可视化 | 第3章 |
33 | M.Beaudin和F.Henri | 当数学遇到计算机软件 | 第3章 |
34 | 托马斯·韦斯特曼 | WWW:课堂上使用CAS的内容/地点/时间 | 第3章 |
35 | M.Durcheva先生 | 一种使用幂等半环的消息加密方案 | S4系列 |
36 | M.Bras-Amorós、M.E.O'Sullivan和M.Pujol | 关键方程和Berlekamp-Massey算法的新方法 | 第4页 |
37 | 卡里姆·伊沙克、斯文·穆利奇、斯文·普钦格，马丁·博塞特 | 使用广义级联码的基于代码的加密系统 | S4系列 |
38 | 松本龙太郎和迭戈·鲁亚诺 | 经典和量子秘密共享的几何和计算方法 | 第4页 |
39 | J.Rifá，E.Suárez-Canedo | Kronecker求和构造CnQ8型Hadamard全保线性码 | S4系列 |
40 | A.Jeux和C.Pierrot | 近稀疏线性代数及其在离散对数问题中的应用 | 第4页 |
41 | J.Borges、C.Fernández-Córdoba和R.Ten-Valls | 关于Z_{p^r}Z_{p ^s}-可加循环码 | S4系列 |
42 | R.D.Barrolleta和M.Villanueva | （非线性）的PD-setsHadamard Z4-线性代码 | S4系列 |
43 | C.Galindo、F.Hernándo、D.Ruano | 最小距离有界的量子码 | S4系列 |
44 | O.Geil、S.Martin、U.Martinez-Peñas和D.Ruano | Gracia-Stichtenoth第二塔代码对RGHW的精细分析 | S4系列 |
45 | V.贝雷克 | 简单拓扑编码与自旋网络的同调性 | S4系列 |
46 | M.Borges-Quintana、M.A.Borges-Trenard、E.Martínez-Moro | 二进制码的试验集和Gröbner基 | S4系列 |
47 | 安德烈亚斯·莫里沙特 | 微分单环上的微分Galois理论 | 第5章 |
48 | 沃纳·塞勒 | 代数微分方程的几何奇异性 | 第5章 |
49 | 丹尼尔·罗伯茨 | 拉格朗日约束与微分托马斯分解 | 第5章 |
50 | 托马斯·德雷福斯 | 马歇尔方程、微分伽罗瓦理论和超越 | 第5章 |
51 | 卡洛斯·阿雷切 | 二阶线性差分方程微分Galois群的计算 | 第5章 |
52 | 伊万·托马西奇 | 存在闭差分域的原始递归量词消去 | 第5章 |
53 | 弗洛里安·海德利希 | 延长空间和广义微分 | 第5章 |
54 | 阿林·博斯坦 | p-曲率的准最优计算 | 第5章 |
55 | 马蒂亚斯·赛斯 | 经典群的根参数化微分方程 | 第5章 |
56 | 弗兰兹·温克勒 | 一阶自治代数偏微分方程的符号解 | 第5章 |
57 | 曼努埃尔·考尔斯 | 多元级数的正部分 | 第5章 |
58 | 穆罕默德·巴拉卡特 | 特征2中的群代数酉群 | 第5章 |
59 | C.埃尔巴哈 | 计算线性差分系统正则解的一种新方法 | S6系列 |
60 | C.沙基班 | 特征曲线在黑素瘤和痣特征分析中的应用 | S6系列 |
61 | 弗兰兹·温克勒 | 代数常微分方程的双有理变换 | S6系列 |
62 | M.Jaroschek先生 | 具有正规交叉的完全可积Pfaffian系统形式解的计算 | S6系列 |
63 | T.组合 | 线性差分方程Liouvillian解的计算 | S6系列 |
64 | W.塞勒 | 计算线性分辨率差速器系统 | S6系列 |
65 | T.贡卡尔维斯 | 守恒定律与Chazy方程 | S6系列 |
66 | S.Maddah公司 | 奇异摄动线性微分系统的形式解 | S6系列 |
67 | A.科尔瓦尔 | 广义格林算子及其特征线方法 | S6系列 |
68 | 巴拉卡特先生 | 广义态射——将同调算法转化为闭合公式 | S6系列 |
69 | P.奥尔弗 | 用于对象识别、对称性检测和拼图组合的不变直方图和签名 | S6系列 |
70 | L.Poinsot先生 | 雅可比代数、介于泊松、微分和李代数之间 | S6系列 |
71 | V.巴瓦拉 | 可定位环和弱左可定位环 | S6系列 |
72 | C.拉布 | 关于积分微分算子的推广 | S6系列 |
73 | A.基钦 | 量子化Weyl代数与自同构 | S6系列 |
74 | E.普雷维亚托 | Rankin-Cohen微分代数的符号计算 | S6系列 |
75 | A.项目 | 变质量约束三体问题研究中的符号计算 | S6系列 |
76 | I.迪莫夫斯基和M.斯皮里多诺娃 | 二维运算演算在非局部振动边值问题中的应用 | S6系列 |
77 | M.考尔斯 | 使用多个步骤在四分之一平面中行走 | S6系列 |
78 | 克莱门斯·拉布 | 符号积分算法 | 第7部分 |
79 | 曼努埃尔·考尔斯 | 通过Hermite Reduction实现创造性伸缩 | 第7部分 |
80 | 尤尔根·格哈德 | 有理函数的定积分 | 第7部分 |
81 | 尤金·齐马 | 不定和的离散性和复杂性 | 第7部分 |
82 | 弗雷德里克·切扎克 | 四分之一平面中小步行走的显式生成序列 | 第7部分 |
83 | Ngo Quoc Hoan先生 | 负多重诱导下的调和和和多对数 | 第7部分 |
84 | 卡斯滕·施耐德 | 改进的参数化望远镜算法 | 第7部分 |
85 | 标记圆形 | Rened全息求和满足粒子物理 | 第7部分 |
86 | 埃里克装甲车 | 多重对数的符号积分 | 第7部分 |
87 | 马特乌什·贾达 | 酉反射群的代数拓扑——可伸缩同调计算 | 第9部分 |
88 | 玛丽安·姆罗泽克 | 组合多向量的代数拓扑不变量领域 | 第9部分 |
89 | 阿布谢克·拉托尔 | 最大匹配问题的近似算法 | 第9部分 |
90 | 爱德华多·萨恩斯·德卡贝松 | 计算单项式理想的LCM过滤的同调性 | 第9部分 |
91 | 马克·埃西耶 | 用Kronecker标准形计算自映射的持久性 | 第9部分 |
92 | D.M.Onchis博士 | 应用广义Hough变换估计牙片中下颌管的位置 | 第9部分 |
93 | 佩德罗·雷亚尔 | 探索基于正则CW-复形代数拓扑模型的同调生成元之间的关系 | 第9部分 |
94 | 维塔利·库林 | 噪声二维图像的快速稳定拓扑轮廓 | 第9部分 |
95 | 阿尔多·冈萨雷斯-洛伦佐 | 三维三次复形上Betti数的快速计算 | 第9部分 |
96 | 阿尔多·冈萨雷斯·洛伦佐 | 同调离散向量场与同伦等价物 | 第9部分 |
97 | 格热戈兹·贾布隆斯基 | 自映射广义特征空间的持久性 | 第9部分 |
98 | 乔奥·皮塔·科斯塔 | 变量集拓扑上的持久性 | 第9部分 |
99 | 加德·斯普里曼 | 利用持久同源性揭示原位细胞的隐藏信息 | 第9部分 |
100 | E.Roanes-Lozano、J.L.Galan-Garcia、G.Aguilera-Venegas | 基于计算机代数的RBES个性化菜单生成器 | 第10节 |
101 | M.Ramírez、J.M.Gavilán、G.Aguilera、J.L.Galán和M.á。P.罗德里格斯·加兰 | 变得更加灵活使用CAS进行交通仿真的ATISMART+模型 | 第10节 |
102 | P.佩奇 | 斜四边形上Simson–Wallace轨迹的性质 | 第10节 |
103 | 罗伯特H.刘易斯 | 符号数字计算：点云数据图像分析中出现的多项式系统 | 第10节 |
104 | 胡安·加西亚·埃斯库德罗 | 具有许多奇点的tilings和代数超曲面构造中的根格A_2 | 第10节 |
105 | 西拉尼·佩雷拉 | 拟可分多项式的快速欧氏算法 | 第11节 |
106 | Gennadi Malaschonok公司 | 关于区域三角矩阵分解 | 第11节 |
107 | 卢多维克·佩雷特 | 对Wild McEliece和隐姓埋名的代数攻击 | 第11节 |
108 | 阿尼萨·阿里 | 计算闭环过约束机构导纳的代数方法 | 第11节 |
109 | 盖内尔·雷诺 | 计算机代数在基于数论的密码学中的应用 | 第11节 |
110 | 马修·尼默格 | 一类多项式族实解个数的界基于Gale对偶的方程组 | 第11节 |
111 | 特里斯坦·瓦肯 | p-adic场上Groebner基和热带Gröbner基的计算 | 第11节 |
112 | 春明园 | Z[x]格的高效Groebner基计算 | 第11节 |
113 | 克里斯蒂安·埃德尔 | 有限域Gröbner基计算的改进并行高斯消元法 | 第11节 |
114 | Jean-Charles Faugere女士 | 计算线性递归多维序列Gröbner基的线性代数 | 第11节 |
115 | 约翰·佩里 | 旅途中途 | 第11节 |
116 | 沙万·库马尔·蒂瓦里 | 用PBW基计算非交换代数上Grooebner基的模技术 | 第11节 |
117 | 埃利亚斯·齐加里达斯 | 实根和复根求精的近似最优算法 | 第11节 |
118 | 杰雷米·伯托米厄 | 多项式二次同构的多项式时间算法：正则情形 | 第11节 |
119 | 维克托·潘 | 利用矩阵和多项式迭代求实多项式根 | 第11节 |
120 | 金三诚 | 用线性一元表示求解多项式系统 | 第11节 |
121 | 罗伯特·刘易斯 | 用Dixon-EDF求解多项式系统结果强调图像分析问题 | 第11节 |
122 | 伊奥安尼斯·埃米利斯 | 稀疏多齐次系统、根计数和判别式 | 第11节 |
123 | 卢多·托尔胡赞（Ludo Tolhuizen） | HIMMO计划 | 第11节 |
124 | 安德斯·延森 | 热带同伦延拓 | 第11节 |
125 | 纳迪娅·埃尔·姆拉贝特 | 使用Groebner基在基于配对的加密中执行错误攻击 | 第11节 |
126 | Irene Márquez Corbella，鲁德·佩利卡安 | 具有纠错对的MDS码的特征 | 第12节 |
127 | 伯恩哈德·加恩和迪米特里斯·西莫斯 | 覆盖阵列的代数建模 | 第12节 |
128 | Reinde Jurrius和Ruud Pellikaan | 关于广义秩权的定义 | 第12节 |
129 | 阿卜杜勒卡德·哈姆塔特和吉拉利·贝卢尔 | 关于丢番图方程1+5x^2=3y^n | 第12节 |
130 | K.Chatouh、K.Guenda、T.A.Gulliver和L.Noui | R_q上的单纯形码和MacDonald码 | 第12节 |
131 | 埃列尼·扎纳基 | 凸多面体Minkowski和上界定理的几何方法 | 第13节 |
132 | 克里斯托斯·科纳西斯 | 稀疏隐式框架 | 第13节 |
133 | 马丁·赫尔默 | 完全单环面簇的Chern-Schrrartz-MacPherson类和Euler特征的计算 | 第13节 |
134 | Fisikopoulos内脏 | 二级多面体的计数 | 第13节 |
135 | Winfried Bruns公司 | 正规晶格多胞体 | 第13节 |
136 | 克里斯托夫·索格 | Normaliz的最新发展 | 第13节 |
137 | 安德斯·延森 | 热带穿越起始锥 | 第13节 |
138 | 格雷戈里·巴德 | 扩展线性化方法（或XL算法）简介用于求解多项式方程组 | S14标准 |
139 | Manfred Minimair公司 | Dixon结式计算的Maple包设计 | S14标准 |
140 | 曼努埃尔·考尔斯 | D-有限函数的积分基 | S14标准 |
141 | 苏西·马达 | LINDALG:Mathemagix程序包用于奇异线性微分系统的符号解析 | S14标准 |
142 | 埃罗伊尔马兹 | H-基计算的线性代数方法 | S14标准 |
143 | 乔里斯·范德霍温 | 关于多项式约简的复杂性 | S14标准 |
144 | 安娜·卡拉苏鲁 | 关于对称群的等变多项式系统的结式 | S14标准 |
145 | 吕立山 | 具有Dixon结果的参数多项式系统的符号解 | S14标准 |
146 | 周杰（音译） | 广义拉宾诺维奇的诡计 | S14标准 |
147 | 张兆忠、姜同松 | 分裂四元数力学最小二乘问题的代数方法 | 第15节 |
148 | 姜同松、张兆忠 | 分裂四元数力学中分裂四元矩阵特征值的代数方法 | 第15节 |
149 | 余桂海 | 加权图的惯性 | 第15节 |
150 | 陈建龙 | 环中某些元素的Moore-Penrose逆和Drazin逆 | 第15节 |
151 | 惠渠 | 关于minmum的更多信息图的偏斜秩 | 第15节 |
152 | 小敏堂 | 可解李代数t（2，C）上的后李代数结构 | 第15节 |
153 | 卓恒河、王庆文 | 实四元数代数上七个矩阵同时分解的性质及应用 | 第15节 |
154 | 宋广景 | 关于限制四元数矩阵方程通解的凝聚Cramer法则的一些结果 | 第15节 |
155 | 佩沙拉科斯 | 从矩阵到矩阵多项式 | 第15节 |
156 | R.Padmanabhan和Y.Zhang | 用Prover9证明一些矩阵方程 | 第15节 |
157 | D.J.Bates、D.Brake、M.Niemerg | 系数参数同伦的并行实现 | 第16条 |
158 | S.Al-Ashhab公司 | 四角魔术和半对角线方块 | 第16条 |
159 | A.S.Perminov、E.D.Kuznetsov | 利用计算机代数系统Piranha展开哈密顿量并构造行星系统问题的平均运动方程 | 第16条 |
160 | 阿德里安伊奥内斯库（Ionescu，Rea Ulaj） | 使用Linux开源软件和Maple分析新的Goeken-Johnson-Runge-Kutta类型方法 | 第16条 |
161 | D.伯克霍尔德 | 利用CAS发现Radin-Conway风车瓷砖中意外的隐藏美 | 第16条 |
162 | Hans-Gert Graebe、Albert Heinle、Viktor Levandovsky | SDEval–计算机代数基准测试工具包 | 第17节 |
| | | | |
| | | | |
