×

找到21个文档（结果1–21）

最新的 引文 关联
陈日增;夏碧灿

确定涉及一元混合三角多项式的一阶公式。 （英语） Zbl 07760757号

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145-154（2023年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Chen}和\textit{B.Xia}，《第48届符号和代数计算国际研讨会论文集》，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。145--154（2023年；Zbl 07760757）
全文： 内政部
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林

symQV（对称QV）：量子程序的自动符号验证。 （英语） Zbl 1529.68152号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).
MSC公司：60年第68季度 68号30 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Bauer-Marquart}等人，Lect。注释计算。科学。14000、181--198（2023年；Zbl 1529.68152）
全文： 内政部 arXiv公司
伊曼纽尔·海因里;布鲁斯·卡普伦。;Jean-Yves玛丽恩;罗曼·佩乔克斯

二阶多项式的完整和可控制的机器相关特征。 （英语） Zbl 07793038号

Patricia Bouyer等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 368-388 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{E.Hainry}等人，Lect。注释计算。科学。13242，368--388（2022；Zbl 07793038）
全文： 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） Zbl 1522.68716号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，2022年亚洲电视协会，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505、137-153（2022年）。
MSC公司：68伏15 55平方米 90立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716）
全文： 内政部 链接
Franz Brauße;康斯坦丁·科洛文;玛格丽塔·科罗维纳五世。;穆勒，诺伯特·瑟。

这个ksmt公司微积分是非线性约束的一个完整的决策过程。 （英语） Zbl 07437075号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 113-130 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Brauße}等人，Lect。注释计算。科学。12699113-130（2021年；兹bl 07437075）
全文： 内政部 arXiv公司
安德烈亚·佩鲁福;丹尼尔·艾哈迈德;亚历山德罗·阿巴特

动力学模型神经屏障证书的自动和形式化合成。 （英语） Zbl 1467.68091号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 370-388 (2021).
MSC公司：60年第68季度 第68季度32 68T05型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Peruffo｝等人，Lect。注释计算。科学。12651、370--388（2021；Zbl 1467.68091）
全文： 内政部 arXiv公司
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦

混合自动机的相关句法和语义扰动。 （英语） Zbl 1520.68066号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第26条，第16页（2018年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛N.Roohi｝等人，LIPIcs——莱布尼茨国际期刊。通知。118，第26条，第16页（2018；Zbl 1520.68066）
全文： 内政部
尼科斯·阿雷奇加;詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;安德烈·普拉泽;布鲁斯·克罗格

动力总成控制系统的数字辅助演绎安全性证明。 （英语） Zbl 1351.68150号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，19-25（2015）。
MSC公司：60年第68季度 第68页第15页 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Aréchiga}等人，《电子》。理论注释。计算。科学。317，19-25（2015年；兹bl 1351.68150）
全文： 内政部
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁

利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 （英语） Zbl 1419.68041号

Blazy，Sandrine（编辑）等人，《静态分析》。2015年9月9日至11日，第22届国际研讨会，SAS，法国圣马洛。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9291, 312-331 (2015).
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{D.Cattaruzza}等人，Lect。注释计算。科学。9291、312--331（2015；Zbl 1419.68041）
全文： 内政部 arXiv公司 链接
Bae，Kyungmin先生;彼得·塞巴·奥维茨基

混合多速率PALS。 （英语） Zbl 1321.68354号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，114-134（2015）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bae}和\textit{P.C.lveczky}，莱克特。注释计算。科学。9200、114--134（2015年；Zbl 1321.68354）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件