代码
在这里,我提供了几个文件.mpl,其中包括一些枫树我在论文和博士后期间实现的代码。这包括我博士论文中描述的所有算法,也包括SNC’09论文中解释的算法。
所有这些算法都是用Maple 11编写的,除了成为原型之外,没有其他任何借口。例如,在Maple中,在有限域上进行有限延伸的计算效果不佳。一般来说,我们不使用快速算法进行基本运算或多项式乘法。最后,算法的数值部分需要更多的工作:我们对计算过程中可能出现的数值误差没有任何限制。因此,即使论文中描述的算法被认为是经过认证的,但由于我们没有可证明的误差界,它们目前也不是经过认证的。然而,这些算法具有良好的实际数值性能。
一种模数值Newton-Puiseux算法
所有文件
我们博士论文的第二章致力于描述一种新的计算数值逼近的模块数值算法。本质上,我们首先计算以素数p为模的Puiseux级数,选择素数p使得这些级数的结构通过模归约得以保留。文件puiseuxmodp.mpl公司用于计算有限字段上的Puiseux系列,而文件乔伊斯p.mpl包括找到好素数p的算法。然后,我们使用Puiseux级数的结构来计算级数的近似系数。文件中给出了最后这些算法numpuiseux.mpl号。最后,我们提供了一个枫木锉刀这说明了这些算法在一个(非常简单的)示例中的使用;mpl文件中给出了算法的不同选项。
计算平面代数曲线单值群的符号数字算法
所有文件(monodromy算法需要使用Puiseux文件)
在本文的第三章中,我们提出了一种计算平面代数曲线的单值群的新策略。文件单峰.mpl给出了我们在本章中描述的算法的Maple实现。
随机Riemann曲面上的解析延拓和单值性
所有文件
在SNC’09的论文中,我们重点讨论了随机黎曼曲面,即由具有随机系数的二元多项式定义的黎曼曲面。为了猜测这种曲面的行为,我们首先研究了一些单值群。这些组是用上述算法计算出来的。由于这类群的计算可能需要时间,主要是由于要考虑的临界点的数量,我们将研究限制在7到10之间的总次数多项式。我们在这里给出一些我们计算过的例子。这个第一个示例总度数为7。它包括我们遵循的欧几里德最小生成树、单值群和临界点以上纤维的近似图。实施例2至5前三个为7度,例如5为9度。这里我们只给出单峰群。示例6和7是两个10度的例子,我们给出了它们的单值群。最后,示例8和示例9都是10度。这两个文件给出了临界点以上的单峰群和近似光纤。
在仔细研究了这些数据之后,我们提出了一种基于解析延拓的策略,以找到与二元多项式因子相对应的0以上的光纤子集。该战略的第一次实施是在枫叶。你可以找到代码在这里
谈话(法语或英语)
-
代数平面上的单自由度组的计算:
- 2005年11月15日,利摩日计算标准
- Rencontres Poitiers-Limoges,2006年5月4日
- 2007年1月28日,马赛,2007年国家足球协会(Journées Nationales de Calcul Formel)
- 2007年3月22日,南希,埃科尔·朱内斯·切尔切尔斯信息与数学
- Séminaire ALGO,INRIA Rocquencourt,2007年4月23日
- 2007年6月1日,《雷恩计算公式与综合报告》(Séminaire de calcul formel et complexitéde Rennes)
- Calcul symbolique-numérique des de veloppements de Puiseux au-dessus des points critiques:partie modulare,《壁虎之旅》,2007年11月18日,INRIA Sophia Antipolis
- 2008年2月1日,利摩日医生协会
- 2008年10月3日,索菲亚·安蒂波利斯国际机场,塞米纳伊尔·加拉德,Puiseux发展计算和应用程序
- Puiseux发展计算:非新算法符号-数字,JNCF 2008,Luminy,2008年10月22日
- 计算Puiseux展开的数值近似值,2008年Saga启动会议,2008年11月20日
- 计算Puiseux系列与动机,符号计算实验室研讨会,伦敦,安大略省,2009年6月5日
- 《计算Puiseux展开:一种新的符号-数字算法》,《计算机代数的应用》,蒙特利尔,2009年6月26日
- 通过支持函数近似计算距离,SAGA研讨会,Auron,2010年3月15日
- 用二次支撑曲线逼近曲线,研讨会,桑坦德,2010年4月9日
- Puiseux级数计算:一种模块数值方法,Matesco研讨会,桑坦德,2010年4月23日
- 合成模块及应用,JNCF 2010,Luminy,2010年5月6日
- 运算模un ensembly triangulaire en un temps quasil linéaire,Séminaire calcul formel-Limoges,2010年9月16日
- 通过QSC近似进行距离计算,SAGA秋季学校,科林帕里,2010年10月7日
- Puiseux级数的符号-数值计算,SALSA的Séminaire计算,巴黎,2010年11月5日
- 组合模块模块非集成triangulaire et application au probleme du comptage de points d'une courbe elliptique,Séminaire de cryptologie-GREYC,Caen,2010年11月25日
- 快速计算模块化集成三角形及其应用,Séminaire LFANT-波尔多数学研究所,2011年1月27日
- Calcul symbolique-numérique des séries de Puiseux数字符号2011年RAIM,佩皮尼昂,2011年2月10日
- 计算模非系综三角波zéro维数,Séminaire BIPOP-CASYS-格勒诺布尔,2011年2月17日
- Calcul du groupe de monodromie d'une courbe algébrique飞机2011年2月22日,图卢兹市政厅
- Un algorithme symbolique-numérique pour calculer au-dessus des points d'une courbe algébrique plane,意大利里尔,2011年2月24日
- Calcul symbolique-numérique de séries de Puiseux计算符号,Séminaire Vegas Caramel,Loria,Nancy,2011年3月3日
- Puiseux系列计算:避免计算问,符号计算研讨会,林茨,2012年1月9日
- 基于QSC近似的距离计算,应用几何研讨会,林茨,2012年1月20日
- 《计算模非系综三角波zéro-dimmennel的复杂性》,计算机代数工作组,里尔,2012年2月15日
- 2012年4月4日,格勒诺布尔大学数学系
- 朝向快速Newton-Puseux算法?,符号计算研讨会,林茨,2012年7月4日
- 普瓦塞克斯地区Calcul pratique deséries de Puiseux。2012年9月17日,里尔Calcul Formel Travail de l’équipe Group
- Puiseux系列计算:朝向可用的实现。巴黎ANR Biotempo之旅,2013年1月30日
- Calcul de racines de systèmes creux,联合国Bernd Sturmfels文章。第1部分:二项法的问题、定义和前提。2013年5月27日,里尔Calcul Formel Travail de l’équipe Group
- Calcul de racines de systèmes creux,联合国Bernd Sturmfels文章。第二部分:Puiseux和延长分析。2013年6月3日,里尔Calcul Formel Travail de l’équipe Group
- 模零维三角集计算的复杂性,Gröbner Bases,Resultants and Linear Algebra workshop,奥地利哈根堡,2013年9月5日
- 朝向快速Puiseux级数计算,计算机代数和多项式研讨会,奥地利林茨,2013年11月25日
- ε估值et快速插值2014年5月20日,里尔,Groupe de Travail de l’équipe de Calcul Formel
- 关于Abel映射计算,XXVèmes rencontres arithmétiques de Caen,Tatihou,2014年7月1日
- Puiseux级数的实际计算,Séminaire Mathématique-Physique,勃艮第数学研究所,第戎,2014年12月17日
- 《奇点平面:Newton-Puiseux算法集》,巴黎诺姆布雷斯学院,卡昂,2015年5月15日
- 2015年10月20日,里尔calcul Formel Travail de l’équipe Group,Puiseux国家统计局计算效率
- Puiseux系列的计算效率,JNCF 2015,克吕尼,2015年11月3日
- Puiseux系统的实际计算效率:算法二分法2015年12月18日,雷恩IRMAR,Séminaire de géométrie et algèbre effectives
- 2016年2月25日,里尔Calcul Formel Travail de l'équipe de Calcul Groupe,Troncations吊坠l’algorithme de Newton-Puiseux
- 奇点'une courbe algébrique平面:Newton-Puiseux算法集,西班牙GAATI,巴黎法兰西大学,2016年11月3日
- 2017年6月26日,胡安那州里尔Calcul du groupe de monodromie d'une courbe algébrique plane,groupe de Travail de l'équipe de Calcul Formel
- 平面代数曲线的奇点:改进Newton-Puiseux算法,Gamble团队研讨会,LORIA,Nancy,2017年2月22日
- 分而治之的Newton-Puiseux算法,Groupe de Travail de l’équipe de Calcul Formel,里尔,2017年3月2日
- 分治Newton-Puseux算法,FELIM,Limoges,2017年3月26日
- 关于D5原则的复杂性:走向改进?,2017年6月6日,里尔Calcul Formel Travail de l’équipe集团
- Calcul du groupe de monodromie d'une courbe algébrique飞机,《问题算法en-algèbre et analysis》,IHET,Sidi Dhrif,2017年10月24日和26日
- 分治Newton-Puseux算法,Séminaire de géométrie et algèbre effectives,IRMAR,Rennes,2017年12月15日
- Séries de Puiseux:二分法算法2018年JNCF,2018年朱亚纳州鲁米尼