×
切换导航
关于
常见问题解答
审阅者服务
联系人
偏好
每页点击数
10
20
50
100（默认）
200
显示格式
MathJax（默认）
乳胶
文档排序
最新的第一个（默认）
引文
关联
作者排序
按字母顺序（默认）
引文
序列号排序
按字母顺序（默认）
引文
软件排序
引文（默认）
按字母顺序排列
好 啊
文件
作者
系列
软件
分类
福尔穆尔
结构化搜索
搜索
字段
任何：
任意位置（默认）
ab公司：
描述
澳大利亚：
作者
复写的副本：
分类
注：
程序设计语言
硅：
swMATH ID
软件：
软件名称
美国犹他州：
关键字
操作员
一个
&
b条
逻辑和（默认）
一个
|
b条
逻辑或
！
实验室
逻辑不是
美国广播公司
*
右通配符
"
ab c公司
"
短语
(
ab c公司
)
圆括号
帮助
示例
sw：鼠尾草*
搜索特定的软件包。
ab:geometry和ut:ORMS
搜索描述中包含单词“geometry”且具有关键字ORMS（Oberwolfach Registry of Mathematical software）的软件包。
运算符“&”是默认值，可以省略。
抄送：13 | 14
搜索MSC第13和14节中的文章引用的软件包。
GAP au:Eick公司
在“任意”索引中搜索术语（也包括依赖项），并按软件作者搜索。
pl:Java和ab:R
搜索描述中包含“R”的Java编程软件包
单行搜索
软件名称：
软件作者：
描述：
语言：
swMATH ID:
主要字段：
关键词：
任何地方：
全部清除
搜索
第页
1
属于
1
弗斯特
上一个
♦
下一步
最后
找到2个软件包
（结果1-2）
引文
按字母顺序排列
时钟同步
1份文件引用
(2007)
软件作者：
Alwen Tiu先生
相关软件：
繁荣；
Yices；
施耐德时钟同步…
主要字段：
计算机科学（68-XX）
施耐德时钟同步
1份文件引用
(2007)
软件作者：
达米安·巴索蒂
相关软件：
繁荣；
Yices；
时钟同步…
主要字段：
计算机科学（68-XX）
筛选结果依据…
全部的
前5名
相关软件
伊莎贝尔
(2)
Prosper公司
(2)
伊莎贝尔/HOL
(2)
SMT-LIB语言
(2)
第三方交易协议
(2)
伊塞斯
(2)
伊萨尔
(2)
HOL灯
(2)
CVC精简版
(2)
繁荣
(2)
哈里发
(2)
存档正式证据
(2)
时钟同步
(2)
施耐德时钟同步
(2)
主字段
68倍
(2)
© 2024
FIZ卡尔斯鲁厄股份有限公司
隐私政策
法律声明
条款和条件
（在新选项卡中打开）