### 抄録

A real quantifier elimination method based on the theory of real root counting and the computation of comprehensive Gröbner systems introduced by V. Weispfenning is studied in more detail. We introduce a simpler and more intuitive algorithm which is shown to be an improvement of the original algorithm. Our algorithm is implemented on the computer algebra system Maple using a recent algorithm to compute comprehensive Gröbner systems together with several simplification techniques. According to our computation experiments, our program is superior to other existing implementations for many examples which contain many equalities.

元の言語 | 英語 |
---|---|

ホスト出版物のタイトル | ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation |

出版者 | Association for Computing Machinery |

ページ | 173-180 |

ページ数 | 8 |

ISBN（電子版） | 9781450334358 |

DOI | |

出版物ステータス | 出版済み - 6 24 2015 |

外部発表 | Yes |

イベント | 40th ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2015 - Bath, 英国 継続期間: 7 6 2015 → 7 9 2015 |

### 出版物シリーズ

名前 | Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC |
---|---|

巻 | 2015-June |

### 会議

会議 | 40th ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2015 |
---|---|

国 | 英国 |

市 | Bath |

期間 | 7/6/15 → 7/9/15 |

### Fingerprint

### All Science Journal Classification (ASJC) codes

- Mathematics(all)

### これを引用

*ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation*(pp. 173-180). (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; 巻数 2015-June). Association for Computing Machinery. https://doi.org/10.1145/2755996.2756646

**Real quantifier elimination by computation of comprehensive Gröbner systems.** / Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke.

研究成果: 著書/レポートタイプへの貢献 › 会議での発言

*ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation.*Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 巻. 2015-June, Association for Computing Machinery, pp. 173-180, 40th ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, 英国, 7/6/15. https://doi.org/10.1145/2755996.2756646

}

TY - GEN

T1 - Real quantifier elimination by computation of comprehensive Gröbner systems

AU - Fukasaku, Ryoya

AU - Iwane, Hidenao

AU - Sato, Yosuke

PY - 2015/6/24

Y1 - 2015/6/24

N2 - A real quantifier elimination method based on the theory of real root counting and the computation of comprehensive Gröbner systems introduced by V. Weispfenning is studied in more detail. We introduce a simpler and more intuitive algorithm which is shown to be an improvement of the original algorithm. Our algorithm is implemented on the computer algebra system Maple using a recent algorithm to compute comprehensive Gröbner systems together with several simplification techniques. According to our computation experiments, our program is superior to other existing implementations for many examples which contain many equalities.

AB - A real quantifier elimination method based on the theory of real root counting and the computation of comprehensive Gröbner systems introduced by V. Weispfenning is studied in more detail. We introduce a simpler and more intuitive algorithm which is shown to be an improvement of the original algorithm. Our algorithm is implemented on the computer algebra system Maple using a recent algorithm to compute comprehensive Gröbner systems together with several simplification techniques. According to our computation experiments, our program is superior to other existing implementations for many examples which contain many equalities.

UR - http://www.scopus.com/inward/record.url?scp=84957631885&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957631885&partnerID=8YFLogxK

U2 - 10.1145/2755996.2756646

DO - 10.1145/2755996.2756646

M3 - Conference contribution

T3 - Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

SP - 173

EP - 180

BT - ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation

PB - Association for Computing Machinery

ER -