会员服务
数学 · Engineering · 设计 · AI · Processing（编程语言） ·
10 月 26 日
Building Mathematical Software -- Lessons from the Development of GAP
翻译：暂无翻译
Alexander Hulpke
Alexander Hulpke

Mathematical software has particular needs that are not all covered by the existing literature on software engineering or algorithm design. This paper looks at some of these aspects, in the concrete context of the computer algebra system GAP. It also studies the potential impact AI systems could have on the development process for mathematical software.


翻译：暂无翻译
0
下载
关闭预览

相关内容

数学是关于数量、结构、变化等主题的探索。
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
专知会员服务
20+阅读 · 5月29日
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
《基于大型语言模型的软件工程自动化研究》最新264页
《基于大型语言模型的软件工程自动化研究》最新264页
专知会员服务
39+阅读 · 2025年7月14日
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
专知会员服务
66+阅读 · 2023年6月10日
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
专知会员服务
47+阅读 · 2020年2月11日
【重磅】符号数学下的深度学习-Deep Learning for Symbolic Mathematics
【重磅】符号数学下的深度学习-Deep Learning for Symbolic Mathematics
专知会员服务
32+阅读 · 2019年12月2日
【清华大学】自动微分蒙特卡洛，理论与应用，Automatic Differentiable Monte Carlo: Theory and Application (附pdf）
专知会员服务
28+阅读 · 2019年11月23日
【ACL 2019 Tutorials】政治文本的计算性分析：沟通不同领域的研究成果（Computational Analysis of Political Texts: Bridging Research Efforts Across Communities），GoranGlavaš,Federico Nanni,Simone Paolo Ponzetto
【ACL 2019 Tutorials】政治文本的计算性分析：沟通不同领域的研究成果（Computational Analysis of Political Texts: Bridging Research Efforts Across Communities），GoranGlavaš,Federico Nanni,Simone Paolo Ponzetto
专知会员服务
10+阅读 · 2019年11月17日
开源书：PyTorch深度学习起步
开源书：PyTorch深度学习起步
专知会员服务
51+阅读 · 2019年10月11日
【VLDB2019 tutorial】TextCube：自动构建和多维探索，TextCube: Automated Construction and Multidimensional Exploration， 韩家炜，Jingbo Shang
【VLDB2019 tutorial】TextCube：自动构建和多维探索，TextCube: Automated Construction and Multidimensional Exploration， 韩家炜，Jingbo Shang
专知会员服务
27+阅读 · 2019年8月29日
【2022新书】深度学习的数学工程，The Mathematical Engineering of Deep Learning
【2022新书】深度学习的数学工程，The Mathematical Engineering of Deep Learning
专知
29+阅读 · 2022年4月12日
【Manning新书】高级算法与数据结构，769页pdf
【Manning新书】高级算法与数据结构，769页pdf
专知
46+阅读 · 2021年11月12日
【伯克利马毅老师等重磅新书】低维模型进行高维数据分析:原理、计算和应用，710页pdf
【伯克利马毅老师等重磅新书】低维模型进行高维数据分析:原理、计算和应用，710页pdf
专知
45+阅读 · 2020年12月9日
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
算法与数据结构
51+阅读 · 2019年8月9日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
图论应用 | Python进行图计算和图论理论及其应用
图论应用 | Python进行图计算和图论理论及其应用
沈浩老师
10+阅读 · 2018年10月5日
Reinforcement Learning: An Introduction 2018第二版 500页
Reinforcement Learning: An Introduction 2018第二版 500页
CreateAMind
14+阅读 · 2018年4月27日
用于数学的 10 个优秀编程语言
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
From Softmax to Sparsemax-ICML16（1）
From Softmax to Sparsemax-ICML16（1）
KingsGarden
74+阅读 · 2016年11月26日
积分算子与函数方程的动力学研究
国家自然科学基金
0+阅读 · 2015年12月31日
考虑材料分布不确定性的结构拓扑优化问题数学建模与求解方法
国家自然科学基金
0+阅读 · 2015年12月31日
相关于高阶微分算子的函数空间实变理论及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
超分辨率中的矩阵值算子学习问题
国家自然科学基金
1+阅读 · 2014年12月31日
函数空间、几何和Mahler测度
国家自然科学基金
0+阅读 · 2014年12月31日
面向词汇功能的学术文本语义识别与知识图谱构建
国家自然科学基金
5+阅读 · 2014年12月31日
千万自由度量级并行有限元模态和振动分析软件研发
国家自然科学基金
0+阅读 · 2014年12月31日
关于分数阶偏泛函微分方程基本理论的研究
国家自然科学基金
0+阅读 · 2014年12月31日
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
Arxiv
0+阅读 · 11月9日
Task presentation and execution paths shape LLM mathematical performance
Arxiv
0+阅读 · 11月8日
Beyond the principle-practice gap: Responsible AI as situated epistemic and ethical practice
Arxiv
0+阅读 · 11月4日
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Arxiv
0+阅读 · 11月4日
Grassmann: The Coordinate-Independent Linear Algebra Programming Language
Arxiv
0+阅读 · 10月30日
Scaling Mathematical Proof Supervision from Structured Textbooks
Arxiv
0+阅读 · 10月29日
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
Arxiv
0+阅读 · 10月27日
Aligning Large Language Models with Human Feedback: Mathematical Foundations and Algorithm Design
Arxiv
0+阅读 · 10月22日
Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries
Arxiv
0+阅读 · 10月22日
A Survey of Deep Learning for Mathematical Reasoning
Arxiv
21+阅读 · 2022年12月20日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
数学
Engineering
设计
AI
Processing（编程语言）
最新内容
《自主网络武器作为人工智能致成的数字危害：一种平台问责框架》
《自主网络武器作为人工智能致成的数字危害：一种平台问责框架》
专知会员服务
5+阅读 · 11月9日
《美空军2026条令文件：对海压制作战》
《美空军2026条令文件：对海压制作战》
专知会员服务
12+阅读 · 11月9日
人工智能与战争的未来
人工智能与战争的未来
专知会员服务
5+阅读 · 11月8日
整合胜过数量：5000次德国兵棋推演揭示自主舰队的真相
整合胜过数量：5000次德国兵棋推演揭示自主舰队的真相
专知会员服务
4+阅读 · 11月8日
《Agent Mosaic：识别智能体LLM系统中的机密泄露》
《Agent Mosaic：识别智能体LLM系统中的机密泄露》
专知会员服务
6+阅读 · 11月8日
《武装无人机的兴起：保护人道主义行动的协调路线图与行动框架》
《武装无人机的兴起：保护人道主义行动的协调路线图与行动框架》
专知会员服务
4+阅读 · 11月8日
重塑现代兵棋推演设计与分析：美海军Global 21的经验教训
重塑现代兵棋推演设计与分析：美海军Global 21的经验教训
专知会员服务
4+阅读 · 11月8日
综述｜重新思考AI智能体访问控制：从工具权限到全流程授权
综述｜重新思考AI智能体访问控制：从工具权限到全流程授权
专知会员服务
6+阅读 · 11月8日
综述｜从内部理解AI：机制可解释性如何支持人工智能安全？
综述｜从内部理解AI：机制可解释性如何支持人工智能安全？
专知会员服务
5+阅读 · 11月8日
人工智能在军事教育中的应用：若干视角与经验
人工智能在军事教育中的应用：若干视角与经验
专知会员服务
8+阅读 · 11月6日
《武装无人机作为新兴军事技术：战略与安全影响评析》
《武装无人机作为新兴军事技术：战略与安全影响评析》
专知会员服务
7+阅读 · 11月6日
“星链”减速与不断适应的乌克兰
“星链”减速与不断适应的乌克兰
专知会员服务
7+阅读 · 11月6日
美国中期选举之后：帕兰提尔面临不确定性？
美国中期选举之后：帕兰提尔面临不确定性？
专知会员服务
4+阅读 · 11月6日
NeurIPS 2026｜压下不良行为之后：如何让大模型的纠正更耐久？
NeurIPS 2026｜压下不良行为之后：如何让大模型的纠正更耐久？
专知会员服务
9+阅读 · 11月4日
综述｜基础模型时代的文字识别：从专用模型到统一文档重建
综述｜基础模型时代的文字识别：从专用模型到统一文档重建
专知会员服务
7+阅读 · 11月4日
相关VIP内容
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
生成式AI基础小册子绪论解读：一条数学地基路线，178页pdf
专知会员服务
20+阅读 · 5月29日
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
《基于大型语言模型的软件工程自动化研究》最新264页
《基于大型语言模型的软件工程自动化研究》最新264页
专知会员服务
39+阅读 · 2025年7月14日
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
《生成式模型: 变分自编码器与扩散模型》，75页ppt，Google DeepMind科学家Ruiqi Gao
专知会员服务
66+阅读 · 2023年6月10日
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
【新书】数字图像处理手册第二版，Handbook of Mathematical Methods in Imaging, 2nd edition
专知会员服务
47+阅读 · 2020年2月11日
【重磅】符号数学下的深度学习-Deep Learning for Symbolic Mathematics
【重磅】符号数学下的深度学习-Deep Learning for Symbolic Mathematics
专知会员服务
32+阅读 · 2019年12月2日
【清华大学】自动微分蒙特卡洛，理论与应用，Automatic Differentiable Monte Carlo: Theory and Application (附pdf）
专知会员服务
28+阅读 · 2019年11月23日
【ACL 2019 Tutorials】政治文本的计算性分析：沟通不同领域的研究成果（Computational Analysis of Political Texts: Bridging Research Efforts Across Communities），GoranGlavaš,Federico Nanni,Simone Paolo Ponzetto
【ACL 2019 Tutorials】政治文本的计算性分析：沟通不同领域的研究成果（Computational Analysis of Political Texts: Bridging Research Efforts Across Communities），GoranGlavaš,Federico Nanni,Simone Paolo Ponzetto
专知会员服务
10+阅读 · 2019年11月17日
开源书：PyTorch深度学习起步
开源书：PyTorch深度学习起步
专知会员服务
51+阅读 · 2019年10月11日
【VLDB2019 tutorial】TextCube：自动构建和多维探索，TextCube: Automated Construction and Multidimensional Exploration， 韩家炜，Jingbo Shang
【VLDB2019 tutorial】TextCube：自动构建和多维探索，TextCube: Automated Construction and Multidimensional Exploration， 韩家炜，Jingbo Shang
专知会员服务
27+阅读 · 2019年8月29日
热门VIP内容
相关资讯
【2022新书】深度学习的数学工程，The Mathematical Engineering of Deep Learning
【2022新书】深度学习的数学工程，The Mathematical Engineering of Deep Learning
专知
29+阅读 · 2022年4月12日
【Manning新书】高级算法与数据结构，769页pdf
【Manning新书】高级算法与数据结构，769页pdf
专知
46+阅读 · 2021年11月12日
【伯克利马毅老师等重磅新书】低维模型进行高维数据分析:原理、计算和应用，710页pdf
【伯克利马毅老师等重磅新书】低维模型进行高维数据分析:原理、计算和应用，710页pdf
专知
45+阅读 · 2020年12月9日
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
宾夕法尼亚大学教授用1900页讲透了计算机科学数学基础，还是免费的！
算法与数据结构
51+阅读 · 2019年8月9日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
图论应用 | Python进行图计算和图论理论及其应用
图论应用 | Python进行图计算和图论理论及其应用
沈浩老师
10+阅读 · 2018年10月5日
Reinforcement Learning: An Introduction 2018第二版 500页
Reinforcement Learning: An Introduction 2018第二版 500页
CreateAMind
14+阅读 · 2018年4月27日
用于数学的 10 个优秀编程语言
用于数学的 10 个优秀编程语言
算法与数据结构
13+阅读 · 2018年1月5日
From Softmax to Sparsemax-ICML16（1）
From Softmax to Sparsemax-ICML16（1）
KingsGarden
74+阅读 · 2016年11月26日
相关论文
EcoSearch: A Constant-Delay Best-First Search Algorithm for Program Synthesis
Arxiv
0+阅读 · 11月9日
Task presentation and execution paths shape LLM mathematical performance
Arxiv
0+阅读 · 11月8日
Beyond the principle-practice gap: Responsible AI as situated epistemic and ethical practice
Arxiv
0+阅读 · 11月4日
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Arxiv
0+阅读 · 11月4日
Grassmann: The Coordinate-Independent Linear Algebra Programming Language
Arxiv
0+阅读 · 10月30日
Scaling Mathematical Proof Supervision from Structured Textbooks
Arxiv
0+阅读 · 10月29日
Dependency Graphs of Mathematical Arguments: Representation, Structural Measurement, and Proof Review
Arxiv
0+阅读 · 10月27日
Aligning Large Language Models with Human Feedback: Mathematical Foundations and Algorithm Design
Arxiv
0+阅读 · 10月22日
Beyond Correctness: Attribution of Natural-Language Documentation for Formal Libraries
Arxiv
0+阅读 · 10月22日
A Survey of Deep Learning for Mathematical Reasoning
Arxiv
21+阅读 · 2022年12月20日
相关基金
积分算子与函数方程的动力学研究
国家自然科学基金
0+阅读 · 2015年12月31日
考虑材料分布不确定性的结构拓扑优化问题数学建模与求解方法
国家自然科学基金
0+阅读 · 2015年12月31日
相关于高阶微分算子的函数空间实变理论及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
代数整数的性质研究和无理测度的计算
国家自然科学基金
0+阅读 · 2014年12月31日
超分辨率中的矩阵值算子学习问题
国家自然科学基金
1+阅读 · 2014年12月31日
函数空间、几何和Mahler测度
国家自然科学基金
0+阅读 · 2014年12月31日
面向词汇功能的学术文本语义识别与知识图谱构建
国家自然科学基金
5+阅读 · 2014年12月31日
千万自由度量级并行有限元模态和振动分析软件研发
国家自然科学基金
0+阅读 · 2014年12月31日
关于分数阶偏泛函微分方程基本理论的研究
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top