Inria Saclay/Inria Rennes(フランス)
Inria Saclay/Inria Rennes(フランス)
复制标题
因里亚·萨克雷/因里亚·雷恩（法国）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
微分 Lambda 演算
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
T. Ehrhard;L. Regnier
通讯作者：
L. Regnier
影响因子：
2
作者：
F. Chyzak;T. Dreyfus;P. Dumas;M. Mezzarobba
通讯作者：
M. Mezzarobba
公理化模拟算法
DOI：
10.1007/978-3-319-40189-8_22
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Olivier Bournez;N. Dershowitz;P. Néron
通讯作者：
P. Néron
类比离散微积分
DOI：
10.2174/97816080508641090101
发表时间：
2018
期刊：
--
影响因子：
--
作者：
F. Izadi;N. Aliev;G. Bagirov
通讯作者：
G. Bagirov
以任意精度计算几何洛伦兹吸引子
DOI：
10.1090/tran/7228
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
D. Graça;Cristobal Rojas;Ning Zhong
通讯作者：
Ning Zhong