杰西卡·格伦斯基;穆罕默德·阿明·本·萨西;斯蒂芬·贝克尔;桑卡拉纳拉亚南,斯里拉姆 模板多面体和双线性优化。 (英语) Zbl 1426.65079号 表格方法系统。设计。 54,第1号,第27-63页(2019年).MSC公司:65千5 90C25型 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gronski}等人,Form.Methods Syst。设计。54,编号1,27-63(2019;Zbl 1426.65079) 全文: 内政部
鲁克斯,皮埃尔;元朗沃罗宁;桑卡拉纳拉亚南,斯里拉姆 验证多项式不变量的数值半定规划求解器。 (英语) Zbl 1425.68081号 表格方法系统。设计。 53,第2期,286-312(2018).MSC公司:68号30 65千5 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人,《形式方法系统》。设计。53,第2号,286--312(2018;Zbl 1425.68081) 全文: 内政部 哈尔
桑卡拉纳拉亚南,斯里拉姆;Henny B.西普玛。;曼娜,佐哈尔 构造混合系统的不变量。 (英语) Zbl 1133.68365号 表格方法系统。设计。 32,第1号,25-55(2008).MSC公司:65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,《形式方法系统》。设计。32,编号1,25-55(2008;Zbl 1133.68365) 全文: 内政部
伯恩德·芬克贝纳;桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。 收集运行时执行的统计信息。 (英语) Zbl 1083.68068号 表格方法系统。设计。 27,第3期,253-274(2005).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。27,第3号,253--274(2005;Zbl 1083.68068) 全文: 内政部