Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems

被引：0

作者：

机构：

[1] Narkawicz, Anthony

[2] Muñoz, César

[3] Dutle, Aaron

来源：

Muñoz, César (Cesar.A.Munoz@nasa.gov) | 1600年 / Kluwer Academic Publishers卷 / 54期

关键词：

Polynomials;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 10 条

[1] Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems
Anthony Narkawicz
César Muñoz
Aaron Dutle
Journal of Automated Reasoning, 2015, 54 : 285 - 326
[2] Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm's and Tarski's Theorems
Narkawicz, Anthony
Munoz, Cesar
Dutle, Aaron
JOURNAL OF AUTOMATED REASONING, 2015, 54 (04) : 285 - 326
[3] A Formally Verified Abstract Account of Godel's Incompleteness Theorems
Popescu, Andrei
Traytel, Dmitriy
AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 442 - 461
[4] SμV-The Security MicroVisor: A Formally-Verified Software-Based Security Architecture for the Internet of Things
Ammar, Mahmoud
Crispo, Bruno
Jacobs, Bart
Hughes, Danny
Daniels, Wilfried
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 16 (05) : 885 - 901
[5] Near-optimal analysis of Lasserre’s univariate measure-based bounds for multivariate polynomial optimization
Lucas Slot
Monique Laurent
Mathematical Programming, 2021, 188 : 443 - 460
[6] Near-optimal analysis of Lasserre's univariate measure-based bounds for multivariate polynomial optimization
Slot, Lucas
Laurent, Monique
MATHEMATICAL PROGRAMMING, 2021, 188 (02) : 443 - 460
[7] Two Decision Procedures for Costa's Cn Logics Based on Restricted Nmatrix Semantics
Coniglio, Marcelo E.
Toledo, Guilherme, V
STUDIA LOGICA, 2022, 110 (03) : 601 - 642
[8] Cognitive Computation on Consumer's Decision Making of Internet Financial Products Based on Neural Activity Data
Hu, Hongzhi
Tang, Yunbing
Xie, Yanqiang
Dai, Yonghui
Dai, Weihui
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (02) : 689 - 704
[9] A Kamm's Circle-Based Potential Risk Estimation Scheme in the Local Dynamic Map Computation Enhanced by Binary Decision Diagrams
Kumar, Arvind
Wagatsuma, Hiroaki
SENSORS, 2022, 22 (19)
[10] Two Decision Procedures for da Costa’s Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_n$$\end{document} Logics Based on Restricted Nmatrix Semantics
Marcelo E. Coniglio
Guilherme V. Toledo
Studia Logica, 2022, 110 (3) : 601 - 642

← 1 →