×

找到26个文档(结果1-26)

代数几何的拟阵理论。 (英语) Zbl 1353.05034号

Baker,Matthew(编辑)等人,《非阿基米德几何与热带几何》。基于2013年3月31日至4月6日圣约翰岛和2015年2月1日至7日波多黎各举行的两次西蒙斯研讨会。查姆:施普林格(ISBN 978-3-319-30944-6/hbk;978-3-3169-30945-3/电子书)。西蒙斯研讨会,435-517(2016)。
PDF格式BibTeX公司 XML格式引用

几何定理自动证明中的抵消模式。 (英语) Zbl 1350.68222号

Schreck,Pascal(编辑)等人,《几何中的自动演绎》。2010年7月22日至24日,德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25069-9/pbk)。计算机科学课堂讲稿6877。人工智能课堂讲稿,1-33(2011)。
MSC公司:68吨15 03B35型 51A05号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份