article

The complexity of elementary algebra and geometry

Authors:

Michael Ben-Or,

Dexter Kozen,

John ReifAuthors Info & Claims

Journal of Computer and System Sciences, Volume 32, Issue 2

Pages 251 - 264

https://doi.org/10.1016/0022-0000(86)90029-2

Published: 01 April 1986 Publication History

Abstract

No abstract available.

Cited By

View all

Ghosh AHofman PLasota S(2025)Orbit-finite Linear ProgrammingJournal of the ACM10.1145/370390972:1(1-39)Online publication date: 24-Jan-2025
https://dl.acm.org/doi/10.1145/3703909
Berthon RKatoen JMittelmann MMurano AWooldridge MDy JNatarajan S(2024)Natural strategic ability in stochastic multi-agent systemsProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i16.29678(17308-17316)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i16.29678
Kosaian KTan YPlatzer AKrebbers RTraytel DPientka BZdancewic S(2023)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOLProceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3573105.3575672(211-224)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3573105.3575672
Show More Cited By

Index Terms

The complexity of elementary algebra and geometry

Recommendations

On mechanical quantifier elimination for elementary algebra and geometry

We give solutions to two problems of elementary algebra and geometry: (1) find conditlons on real numbers p, q, and r; so that the polynomial function f(x) = x^4 + px^2 + q x+ r is nonnegative for all real x and (2) find conditions on real numbers a, b, ...
On the Complexity of Kleene Algebra with Domain
Relational and Algebraic Methods in Computer Science
Abstract
We prove that the equational theory of Kleene algebra with domain is EXPTIME-complete. Our proof makes essential use of Hollenberg’s equational axiomatization of program equations valid in relational test algebra. We also show that the equational ...
Complexity theoretic algebra

Comments

Information & Contributors

Information

Published In

cover image Journal of Computer and System Sciences

Journal of Computer and System Sciences Volume 32, Issue 2

April 1986

109 pages

ISSN:0022-0000

Editor:
E K Blum

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 April 1986

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

65
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ghosh AHofman PLasota S(2025)Orbit-finite Linear ProgrammingJournal of the ACM10.1145/370390972:1(1-39)Online publication date: 24-Jan-2025
https://dl.acm.org/doi/10.1145/3703909
Berthon RKatoen JMittelmann MMurano AWooldridge MDy JNatarajan S(2024)Natural strategic ability in stochastic multi-agent systemsProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i16.29678(17308-17316)Online publication date: 20-Feb-2024
https://dl.acm.org/doi/10.1609/aaai.v38i16.29678
Kosaian KTan YPlatzer AKrebbers RTraytel DPientka BZdancewic S(2023)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOLProceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3573105.3575672(211-224)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3573105.3575672
Dubut J(2020)Bisimilarity of DiagramsRelational and Algebraic Methods in Computer Science10.1007/978-3-030-43520-2_5(65-81)Online publication date: 26-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-43520-2_5
Aminof BKwiatkowska MMaubert BMurano ARubin S(2019)Probabilistic strategy logicProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367038(32-38)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367032.3367038
Roux SPauly ARaskin J(2018)Minkowski GamesACM Transactions on Computational Logic10.1145/323074119:3(1-29)Online publication date: 30-Aug-2018
https://dl.acm.org/doi/10.1145/3230741
Gasquet OGoranko VSchwarzentruber F(2016)Big Brother LogicAutonomous Agents and Multi-Agent Systems10.1007/s10458-015-9306-430:5(793-825)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s10458-015-9306-4
Gasquet OGoranko VSchwarzentruber FBazzan AHuhns MLomuscio AScerri P(2014)Big brother logicProceedings of the 2014 international conference on Autonomous agents and multi-agent systems10.5555/2615731.2615786(325-332)Online publication date: 5-May-2014
https://dl.acm.org/doi/10.5555/2615731.2615786
Benedikt MLenhardt RWorrell J(2013)LTL model checking of interval markov chainsProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_3(32-46)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-36742-7_3
Panangaden P(2012)Dexter kozen's influence on the theory of labelled markov processesLogic and Program Semantics10.5555/2340820.2340850(334-337)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.5555/2340820.2340850
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

On mechanical quantifier elimination for elementary algebra and geometry

On the Complexity of Kleene Algebra with Domain

Complexity theoretic algebra

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations