×

FPsolve解决方案

swMATH ID: 10857
软件作者: 哈维尔·埃斯帕尔扎;Michael Luttenberger;马克西米利安·施伦德
描述: FPsolve:半环上不动点方程的通用求解器。我们介绍了FPsolve,一种求解半环上不动点方程的通用算法的实现。我们首先通过一个场景来说明泛型求解器的兴趣。然后,我们简明扼要地描述了该工具中实现的一些算法,并提供了一些实现细节。
主页: https://github.com/mschlund/FPsolve
源代码:  https://github.com/mschlund/FPsolve
相关软件: 戴纳;棱镜;kFOIL公司;千ProbLog;千对数;ProbLog(问题日志);TensorFlow公司;博客;数据日志;DiffSharp(差异锐化);西雅娜;火炬;Prolog公司
引用于: 6文件

按年份列出的引文