最近在学习高级宏观中的拉姆塞模型，内生化诸如闲暇时间，环境等因素后，微分方程和性能指标都是非线性的。有如下问题求教各位大神
0. 高斯伪谱软件包有人用吗？ 求指导
1. 自己内生话后的模型，怎么知道鞍点路径一定存在？
2. 可能无法求出消费和其他控制变量的动态轨迹，想问一下与没有什么软件能够做这个问题？(拉姆塞模型求c，微分方程可以列出来，单变量多了以后视乎没有解析解)
谢谢大神