Huang, Bo Using symbolic computation to analyze zero-Hopf bifurcations of polynomial differential systems. (English) Zbl 07760775 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 307-314 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{B. Huang}, in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 307--314 (2023; Zbl 07760775) Full Text: DOI arXiv
Chen, Rizeng; Xia, Bican Deciding first-order formulas involving univariate mixed trigonometric-polynomials. (English) Zbl 07760757 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 145-154 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{R. Chen} and \textit{B. Xia}, in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 145--154 (2023; Zbl 07760757) Full Text: DOI
Nuspl, Philipp; Pillwein, Veronika A comparison of algorithms for proving positivity of linearly recurrent sequences. (English) Zbl 07635703 Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 268-287 (2022). MSC: 68W40 11B37 PDFBibTeX XMLCite \textit{P. Nuspl} and \textit{V. Pillwein}, Lect. Notes Comput. Sci. 13366, 268--287 (2022; Zbl 07635703) Full Text: DOI
Rahkooy, Hamid; Sturm, Thomas Parametric toricity of steady state varieties of reaction networks. (English) Zbl 07497962 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 314-333 (2021). MSC: 68W30 PDFBibTeX XMLCite \textit{H. Rahkooy} and \textit{T. Sturm}, Lect. Notes Comput. Sci. 12865, 314--333 (2021; Zbl 07497962) Full Text: DOI arXiv
England, Matthew; Florescu, Dorian Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. (English) Zbl 1428.68399 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 93-108 (2019). MSC: 68W30 68T05 PDFBibTeX XMLCite \textit{M. England} and \textit{D. Florescu}, Lect. Notes Comput. Sci. 11617, 93--108 (2019; Zbl 1428.68399) Full Text: DOI arXiv
Sturm, Thomas Thirty years of virtual substitution. Foundations, techniques, applications. (English) Zbl 1460.03007 Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 11-16 (2018). MSC: 03C10 68W30 PDFBibTeX XMLCite \textit{T. Sturm}, in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16--19, 2018. New York, NY: Association for Computing Machinery (ACM). 11--16 (2018; Zbl 1460.03007) Full Text: DOI
Feferman, Solomon Tarski’s influence on computer science. (English) Zbl 1425.03003 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. Stud. Univers. Log., 391-404 (2018). Reviewer: Davide Crippa (Paris) MSC: 03-03 68-03 01A70 PDFBibTeX XMLCite \textit{S. Feferman}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 391--404 (2018; Zbl 1425.03003) Full Text: DOI arXiv
Hong, Hoon; Sturm, Thomas Positive solutions of systems of signed parametric polynomial inequalities. (English) Zbl 1453.26012 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 238-253 (2018). MSC: 26D05 68W30 PDFBibTeX XMLCite \textit{H. Hong} and \textit{T. Sturm}, Lect. Notes Comput. Sci. 11077, 238--253 (2018; Zbl 1453.26012) Full Text: DOI arXiv
Vale-Enriquez, Fernando; Brown, Christopher W. Polynomial constraints and unsat cores in Tarski. (English) Zbl 1395.68353 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 466-474 (2018). MSC: 68W30 PDFBibTeX XMLCite \textit{F. Vale-Enriquez} and \textit{C. W. Brown}, Lect. Notes Comput. Sci. 10931, 466--474 (2018; Zbl 1395.68353) Full Text: DOI
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André Verification of hybrid systems. (English) Zbl 1392.68246 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1047-1110 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{L. Doyen} et al., in: Handbook of model checking. Cham: Springer. 1047--1110 (2018; Zbl 1392.68246) Full Text: DOI
Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming A linear programming relaxation based approach for generating barrier certificates of hybrid systems. (English) Zbl 1427.68176 Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 721-738 (2016). MSC: 68Q60 37B10 90C90 PDFBibTeX XMLCite \textit{Z. Yang} et al., Lect. Notes Comput. Sci. 9995, 721--738 (2016; Zbl 1427.68176) Full Text: DOI
Köppe, Matthias; Zhou, Yuan Toward computer-assisted discovery and automated proofs of cutting plane theorems. (English) Zbl 1445.68329 Cerulli, Raffaele (ed.) et al., Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9849, 332-344 (2016). MSC: 68V15 90C10 90C11 PDFBibTeX XMLCite \textit{M. Köppe} and \textit{Y. Zhou}, Lect. Notes Comput. Sci. 9849, 332--344 (2016; Zbl 1445.68329) Full Text: DOI arXiv
Eraşcu, Mădălina Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms. (English) Zbl 1453.12002 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 193-211 (2016). MSC: 12-08 03C10 65H10 PDFBibTeX XMLCite \textit{M. Eraşcu}, Lect. Notes Comput. Sci. 9890, 193--211 (2016; Zbl 1453.12002) Full Text: DOI
England, Matthew; Davenport, James H. The complexity of cylindrical algebraic decomposition with respect to polynomial degree. (English) Zbl 1453.13079 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 172-192 (2016). MSC: 13P10 13P15 65D17 68W30 PDFBibTeX XMLCite \textit{M. England} and \textit{J. H. Davenport}, Lect. Notes Comput. Sci. 9890, 172--192 (2016; Zbl 1453.13079) Full Text: DOI arXiv
Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke On the implementation of CGS real QE. (English) Zbl 1434.68705 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 165-172 (2016). MSC: 68W30 03C10 13P10 PDFBibTeX XMLCite \textit{R. Fukasaku} et al., Lect. Notes Comput. Sci. 9725, 165--172 (2016; Zbl 1434.68705) Full Text: DOI
Davenport, James H.; England, Matthew Need polynomial systems be doubly-exponential? (English) Zbl 1434.68702 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 157-164 (2016). MSC: 68W30 13P10 68Q25 PDFBibTeX XMLCite \textit{J. H. Davenport} and \textit{M. England}, Lect. Notes Comput. Sci. 9725, 157--164 (2016; Zbl 1434.68702) Full Text: DOI arXiv
Kahle, Thomas On the feasibility of semi-algebraic sets in Poisson regression. (English) Zbl 1439.62255 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 142-147 (2016). MSC: 62R01 62K20 62J12 PDFBibTeX XMLCite \textit{T. Kahle}, Lect. Notes Comput. Sci. 9725, 142--147 (2016; Zbl 1439.62255) Full Text: DOI arXiv
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). (English) Zbl 1344.68198 Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Lect. Notes Comput. Sci. 9791, 28--43 (2016; Zbl 1344.68198) Full Text: DOI arXiv
Jaroschek, Maximilian; Dobal, Pablo Federico; Fontaine, Pascal Adapting real quantifier elimination methods for conflict set computation. (English) Zbl 1471.68248 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 151-166 (2015). MSC: 68T20 03B25 03C10 PDFBibTeX XMLCite \textit{M. Jaroschek} et al., Lect. Notes Comput. Sci. 9322, 151--166 (2015; Zbl 1471.68248) Full Text: DOI arXiv
Abraham, Erika Building bridges between symbolic computation and satisfiability checking. (English) Zbl 1345.68279 Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 1-6 (2015). MSC: 68W30 68T15 68-02 PDFBibTeX XMLCite \textit{E. Abraham}, in: Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6--9, 2015. New York, NY: Association for Computing Machinery (ACM). 1--6 (2015; Zbl 1345.68279) Full Text: DOI
Davenport, James H.; England, Matthew Recent advances in real geometric reasoning. (English) Zbl 1434.68701 Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 37-52 (2015). MSC: 68W30 03B35 03G15 PDFBibTeX XMLCite \textit{J. H. Davenport} and \textit{M. England}, Lect. Notes Comput. Sci. 9201, 37--52 (2015; Zbl 1434.68701) Full Text: DOI arXiv
Paulson, Lawrence C. Automated theorem proving for special functions: the next phase. (English) Zbl 1346.68176 Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 3-8 (2014). MSC: 68T15 PDFBibTeX XMLCite \textit{L. C. Paulson}, in: Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28--31, 2014. New York, NY: Association for Computing Machinery (ACM). 3--8 (2014; Zbl 1346.68176) Full Text: DOI
Han, Jingjun A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms. (English) Zbl 1352.68294 Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 261-274 (2014). MSC: 68W30 11E76 PDFBibTeX XMLCite \textit{J. Han}, in: Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14--17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26--28, 2012. Contributed papers and invited talks. Berlin: Springer. 261--274 (2014; Zbl 1352.68294) Full Text: DOI arXiv
Chen, Changbo; Maza, Marc Moreno An incremental algorithm for computing cylindrical algebraic decompositions. (English) Zbl 1352.68291 Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 199-221 (2014). MSC: 68W30 PDFBibTeX XMLCite \textit{C. Chen} and \textit{M. M. Maza}, in: Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14--17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26--28, 2012. Contributed papers and invited talks. Berlin: Springer. 199--221 (2014; Zbl 1352.68291) Full Text: DOI arXiv
Anai, Hirokazu Applied algebraic geometry in model based design for manufacturing. (English) Zbl 1326.93050 Wakayama, Masato (ed.) et al., The impact of applications on mathematics. Proceedings of the Forum of Mathematics for Industry, “Math-for-Industry 2013”, Fukuoka, Japan, November 4–8, 2013. Tokyo: Springer (ISBN 978-4-431-54906-2/hbk; 978-4-431-54907-9/ebook). Mathematics for Industry 1, 177-186 (2014). MSC: 93B51 14P05 14Q99 13P25 PDFBibTeX XMLCite \textit{H. Anai}, Math. Ind. (Tokyo) 1, 177--186 (2014; Zbl 1326.93050) Full Text: DOI
Bradford, Russell; Chen, Changbo; Davenport, James H.; England, Matthew; Moreno Maza, Marc; Wilson, David Truth table invariant cylindrical algebraic decomposition by regular chains. (English) Zbl 1350.68293 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10514-7/pbk). Lecture Notes in Computer Science 8660, 44-58 (2014). MSC: 68W30 14P99 14Q99 PDFBibTeX XMLCite \textit{R. Bradford} et al., Lect. Notes Comput. Sci. 8660, 44--58 (2014; Zbl 1350.68293) Full Text: DOI arXiv
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu SyNRAC: a toolbox for solving real algebraic constraints. (English) Zbl 1437.13005 Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 518-522 (2014). MSC: 13-04 14Q30 13P10 68W30 PDFBibTeX XMLCite \textit{H. Iwane} et al., Lect. Notes Comput. Sci. 8592, 518--522 (2014; Zbl 1437.13005) Full Text: DOI
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.; Bridge, James Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. (English) Zbl 1304.68224 Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 92-107 (2014). MSC: 68W30 68T05 68T20 PDFBibTeX XMLCite \textit{Z. Huang} et al., Lect. Notes Comput. Sci. 8543, 92--107 (2014; Zbl 1304.68224) Full Text: DOI arXiv
England, Matthew; Bradford, Russell; Chen, Changbo; Davenport, James H.; Maza, Marc Moreno; Wilson, David Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. (English) Zbl 1304.68223 Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 45-60 (2014). MSC: 68W30 14P10 14Q99 68T20 PDFBibTeX XMLCite \textit{M. England} et al., Lect. Notes Comput. Sci. 8543, 45--60 (2014; Zbl 1304.68223) Full Text: DOI arXiv
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun Formal modelling, analysis and verification of hybrid systems. (English) Zbl 1444.68105 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 207-281 (2013). MSC: 68Q60 03B70 68V15 93C30 PDFBibTeX XMLCite \textit{N. Zhan} et al., Lect. Notes Comput. Sci. 8050, 207--281 (2013; Zbl 1444.68105) Full Text: DOI
Iwane, Hidenao; Higuchi, Hiroyuki; Anai, Hirokazu An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification. (English) Zbl 1411.68209 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 15th international workshop, CASC 2013, Berlin, Germany, September 9–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8136, 194-208 (2013). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{H. Iwane} et al., Lect. Notes Comput. Sci. 8136, 194--208 (2013; Zbl 1411.68209) Full Text: DOI Link
Beeson, Michael Proof and computation in geometry. (English) Zbl 1397.03018 Ida, Tetsuo (ed.) et al., Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17–19, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40671-3/pbk). Lecture Notes in Computer Science 7993. Lecture Notes in Artificial Intelligence, 1-30 (2013). MSC: 03B35 03B30 68T15 PDFBibTeX XMLCite \textit{M. Beeson}, Lect. Notes Comput. Sci. 7993, 1--30 (2013; Zbl 1397.03018) Full Text: DOI
Paulson, Lawrence C. MetiTarski’s menagerie of cooperating systems. (English) Zbl 1397.68160 Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 1-6 (2013). MSC: 68T15 PDFBibTeX XMLCite \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 8152, 1--6 (2013; Zbl 1397.68160) Full Text: DOI
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak Synthesizing switching controllers for hybrid systems by generating invariants. (English) Zbl 1390.68316 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 354-373 (2013). MSC: 68Q10 68Q25 PDFBibTeX XMLCite \textit{H. Zhao} et al., Lect. Notes Comput. Sci. 8051, 354--373 (2013; Zbl 1390.68316) Full Text: DOI arXiv
Bradford, Russell; Davenport, James H.; England, Matthew; Wilson, David Optimising problem formulation for cylindrical algebraic decomposition. (English) Zbl 1390.68775 Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 19-34 (2013). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{R. Bradford} et al., Lect. Notes Comput. Sci. 7961, 19--34 (2013; Zbl 1390.68775) Full Text: DOI arXiv
de Moura, Leonardo; Passmore, Grant Olney The strategy challenge in SMT solving. (English) Zbl 1383.68084 Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 15-44 (2013). MSC: 68T15 68T20 PDFBibTeX XMLCite \textit{L. de Moura} and \textit{G. O. Passmore}, Lect. Notes Comput. Sci. 7788, 15--44 (2013; Zbl 1383.68084) Full Text: DOI Link
She, Zhikun; Xue, Bai Algebraic analysis on asymptotic stability of switched hybrid systems. (English) Zbl 1364.93689 Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 187-196 (2012). MSC: 93D20 93C30 93D30 PDFBibTeX XMLCite \textit{Z. She} and \textit{B. Xue}, in: Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17--19, 2012. New York, NY: Association for Computing Machinery (ACM). 187--196 (2012; Zbl 1364.93689) Full Text: DOI
Strzeboński, Adam Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. (English) Zbl 1308.68191 van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 335-342 (2012). MSC: 68W30 14P10 14Q99 PDFBibTeX XMLCite \textit{A. Strzeboński}, in: Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22--25, 2012. New York, NY: Association for Computing Machinery (ACM). 335--342 (2012; Zbl 1308.68191) Full Text: DOI
Meikle, Laura I.; Fleuriot, Jacques D. Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover’s palette. (English) Zbl 1294.68125 Aspinall, David (ed.) et al., Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 285, 115-119 (2012). MSC: 68T15 68Q60 68U35 PDFBibTeX XMLCite \textit{L. I. Meikle} and \textit{J. D. Fleuriot}, Electron. Notes Theor. Comput. Sci. 285, 115--119 (2012; Zbl 1294.68125) Full Text: DOI
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo Interpolation-based height analysis for improving a recurrence solver. (English) Zbl 1367.68071 Peña, Ricardo (ed.) et al., Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). Lecture Notes in Computer Science 7177, 36-53 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Montenegro} et al., Lect. Notes Comput. Sci. 7177, 36--53 (2012; Zbl 1367.68071) Full Text: DOI
She, Zhikun; Li, Haoyang Verifiable conditions on asymptotic stabilisability for a class of planar switched linear systems. (English) Zbl 1373.93165 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 334-348 (2012). MSC: 93C30 68W30 93D20 93D30 PDFBibTeX XMLCite \textit{Z. She} and \textit{H. Li}, Lect. Notes Comput. Sci. 7442, 334--348 (2012; Zbl 1373.93165) Full Text: DOI
Errami, Hassan; Seiler, Werner M.; Eiswirth, Markus; Weber, Andreas Computing Hopf bifurcations in chemical reaction networks using reaction coordinates. (English) Zbl 1373.92153 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 84-97 (2012). MSC: 92E20 68W30 34C23 PDFBibTeX XMLCite \textit{H. Errami} et al., Lect. Notes Comput. Sci. 7442, 84--97 (2012; Zbl 1373.92153) Full Text: DOI
Levandovskyy, Viktor; Martin, Bernd A symbolic approach to generation and analysis of finite difference schemes of partial differential equations. (English) Zbl 1250.65109 Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 123-156 (2012). MSC: 65M06 65M12 35L05 65Y15 68W30 PDFBibTeX XMLCite \textit{V. Levandovskyy} and \textit{B. Martin}, in: Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer. 123--156 (2012; Zbl 1250.65109) Full Text: DOI arXiv
Passmore, Grant Olney; Paulson, Lawrence C.; de Moura, Leonardo Real algebraic strategies for MetiTarski proofs. (English) Zbl 1360.68764 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 358-370 (2012). MSC: 68T15 PDFBibTeX XMLCite \textit{G. O. Passmore} et al., Lect. Notes Comput. Sci. 7362, 358--370 (2012; Zbl 1360.68764) Full Text: DOI
Wilson, David J.; Bradford, Russell J.; Davenport, James H. Speeding up cylindrical algebraic decomposition by Gröbner bases. (English) Zbl 1360.68959 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 280-294 (2012). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{D. J. Wilson} et al., Lect. Notes Comput. Sci. 7362, 280--294 (2012; Zbl 1360.68959) Full Text: DOI arXiv
Passmore, Grant Olney; Jackson, Paul B. Abstract partial cylindrical algebraic decomposition. I: The lifting phase. (English) Zbl 1357.68199 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 560-570 (2012). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{G. O. Passmore} and \textit{P. B. Jackson}, Lect. Notes Comput. Sci. 7318, 560--570 (2012; Zbl 1357.68199) Full Text: DOI
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter The TPTP typed first-order form with arithmetic. (English) Zbl 1352.68217 Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 406-419 (2012). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{G. Sutcliffe} et al., Lect. Notes Comput. Sci. 7180, 406--419 (2012; Zbl 1352.68217) Full Text: DOI
Sturm, Thomas; Tiwari, Ashish Verification and synthesis using real quantifier elimination. (English) Zbl 1323.68385 Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 329-336 (2011). MSC: 68Q60 03C10 68W30 93C95 PDFBibTeX XMLCite \textit{T. Sturm} and \textit{A. Tiwari}, in: Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7--11, 2011. New York, NY: Association for Computing Machinery (ACM). 329--336 (2011; Zbl 1323.68385) Full Text: DOI
She, Zhikun; Xue, Bai; Zheng, Zhiming Algebraic analysis on asymptotic stability of continuous dynamical systems. (English) Zbl 1323.68627 Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 313-320 (2011). MSC: 68W30 14P10 34D20 PDFBibTeX XMLCite \textit{Z. She} et al., in: Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7--11, 2011. New York, NY: Association for Computing Machinery (ACM). 313--320 (2011; Zbl 1323.68627) Full Text: DOI
Errami, Hassan; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas On Muldowney’s criteria for polynomial vector fields with constraints. (English) Zbl 1344.68297 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 13th international workshop, CASC 2011, Kassel, Germany, September 5–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23567-2/pbk). Lecture Notes in Computer Science 6885, 135-143 (2011). MSC: 68W30 34C10 34C25 PDFBibTeX XMLCite \textit{H. Errami} et al., Lect. Notes Comput. Sci. 6885, 135--143 (2011; Zbl 1344.68297) Full Text: DOI
Corzilius, Florian; Ábrahám, Erika Virtual substitution for SMT-solving. (English) Zbl 1342.68282 Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 360-371 (2011). MSC: 68T15 03B20 03B35 PDFBibTeX XMLCite \textit{F. Corzilius} and \textit{E. Ábrahám}, Lect. Notes Comput. Sci. 6914, 360--371 (2011; Zbl 1342.68282) Full Text: DOI
Chen, Changbo; Davenport, James H.; May, John P.; Maza, Marc Moreno; Xia, Bican; Xiao, Rong Triangular decomposition of semi-algebraic systems. (English) Zbl 1321.68526 Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 187-194 (2010). MSC: 68W30 14P10 PDFBibTeX XMLCite \textit{C. Chen} et al., in: Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM). 187--194 (2010; Zbl 1321.68526) Full Text: DOI
Rouillier, Fabrice On solving systems of bivariate polynomials. (English) Zbl 1274.65156 Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 100-104 (2010). MSC: 65H10 65Y99 PDFBibTeX XMLCite \textit{F. Rouillier}, Lect. Notes Comput. Sci. 6327, 100--104 (2010; Zbl 1274.65156) Full Text: DOI
Weber, Andreas; Sturm, Thomas; Seiler, Werner M.; Abdel-Rahman, Essam O. Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations (extended abstract, invited talk). (English) Zbl 1290.68140 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 267-279 (2010). MSC: 68W30 34C07 34C10 34C23 PDFBibTeX XMLCite \textit{A. Weber} et al., Lect. Notes Comput. Sci. 6244, 267--279 (2010; Zbl 1290.68140) Full Text: DOI
Neun, Winfried; Sturm, Thomas; Vigerske, Stefan Supporting global numerical optimization of rational functions by generic symbolic convexity tests. (English) Zbl 1290.65053 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 205-219 (2010). MSC: 65K10 68W30 PDFBibTeX XMLCite \textit{W. Neun} et al., Lect. Notes Comput. Sci. 6244, 205--219 (2010; Zbl 1290.65053) Full Text: DOI
Calmet, Jacques; Campbell, John A. A revisited perspective on symbolic mathematical computing and artificial intelligence. (English) Zbl 1286.68514 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 14-18 (2010). MSC: 68W30 68T30 PDFBibTeX XMLCite \textit{J. Calmet} and \textit{J. A. Campbell}, Lect. Notes Comput. Sci. 6167, 14--18 (2010; Zbl 1286.68514) Full Text: DOI
Campagna, Dario; Piazza, Carla Hybrid automata in systems biology: how far can we go? (English) Zbl 1283.92035 Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 93-108 (2009). MSC: 92C42 68Q45 PDFBibTeX XMLCite \textit{D. Campagna} and \textit{C. Piazza}, Electron. Notes Theor. Comput. Sci. 229, No. 1, 93--108 (2009; Zbl 1283.92035) Full Text: DOI
Chen, Changbo; Moreno Maza, Marc; Xia, Bican; Yang, Lu Computing cylindrical algebraic decomposition via triangular decomposition. (English) Zbl 1237.14068 May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 95-102 (2009). MSC: 14P10 68W30 PDFBibTeX XMLCite \textit{C. Chen} et al., in: Proceedings of the 2009 international symposium on symbolic and algebraic computation, ISSAC 2009, Seoul, July 28--31, 2009. New York, NY: Association for Computing Machinery (ACM). 95--102 (2009; Zbl 1237.14068) Full Text: DOI Link
McCallum, Scott; Brown, Christopher W. On delineability of varieties in CAD-based quantifier elimination with two equational constraints. (English) Zbl 1237.14067 May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 71-78 (2009). MSC: 14P05 03C10 68W30 PDFBibTeX XMLCite \textit{S. McCallum} and \textit{C. W. Brown}, in: Proceedings of the 2009 international symposium on symbolic and algebraic computation, ISSAC 2009, Seoul, July 28--31, 2009. New York, NY: Association for Computing Machinery (ACM). 71--78 (2009; Zbl 1237.14067) Full Text: DOI
Tiwari, Ashish Combining equational reasoning. (English) Zbl 1193.68239 Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 68-83 (2009). MSC: 68T27 03B62 PDFBibTeX XMLCite \textit{A. Tiwari}, Lect. Notes Comput. Sci. 5749, 68--83 (2009; Zbl 1193.68239) Full Text: DOI
Platzer, André; Quesel, Jan-David; Rümmer, Philipp Real world verification. (English) Zbl 1250.68197 Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 485-501 (2009). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Platzer} et al., Lect. Notes Comput. Sci. 5663, 485--501 (2009; Zbl 1250.68197) Full Text: DOI
Passmore, Grant Olney; Jackson, Paul B. Combined decision techniques for the existential theory of the reals. (English) Zbl 1247.03018 Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 122-137 (2009). MSC: 03B35 03B25 68T15 PDFBibTeX XMLCite \textit{G. O. Passmore} and \textit{P. B. Jackson}, Lect. Notes Comput. Sci. 5625, 122--137 (2009; Zbl 1247.03018) Full Text: DOI
Wongpiromsarn, Tichakorn; Mitra, Sayan; Murray, Richard M.; Lamperski, Andrew Periodically controlled hybrid systems. Verifying a controller for an autonomous vehicle. (English) Zbl 1237.93120 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 396-410 (2009). MSC: 93C85 93C30 PDFBibTeX XMLCite \textit{T. Wongpiromsarn} et al., Lect. Notes Comput. Sci. 5469, 396--410 (2009; Zbl 1237.93120) Full Text: DOI
Kauers, Manuel Computer algebra for special function inequalities. (English) Zbl 1183.33039 Amdeberhan, Tewodros (ed.) et al., Tapas in experimental mathematics. AMS special session on experimental mathematics, New Orleans, LA, USA, January 5, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4317-8/pbk). Contemporary Mathematics 457, 215-325 (2008). Reviewer: Carsten Schneider (Linz) MSC: 33F10 13F25 05E99 PDFBibTeX XMLCite \textit{M. Kauers}, Contemp. Math. 457, 215--325 (2008; Zbl 1183.33039)
Sturm, Thomas; Weber, Andreas Investigating generic methods to solve Hopf bifurcation problems in algebraic biology. (English) Zbl 1171.92301 Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31–August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 200-215 (2008). MSC: 92-08 37M20 68W30 PDFBibTeX XMLCite \textit{T. Sturm} and \textit{A. Weber}, Lect. Notes Comput. Sci. 5147, 200--215 (2008; Zbl 1171.92301) Full Text: DOI
Niu, Wei; Wang, Dongming Algebraic analysis of bifurcation and limit cycles for biological systems. (English) Zbl 1171.92307 Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31–August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 156-171 (2008). MSC: 92C05 34C60 37M20 68W30 PDFBibTeX XMLCite \textit{W. Niu} and \textit{D. Wang}, Lect. Notes Comput. Sci. 5147, 156--171 (2008; Zbl 1171.92307) Full Text: DOI
Meikle, Laura I.; Fleuriot, Jacques D. Combining Isabelle and QEPCAD-B in the Prover’s Palette. (English) Zbl 1166.68351 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 315-330 (2008). MSC: 68T15 PDFBibTeX XMLCite \textit{L. I. Meikle} and \textit{J. D. Fleuriot}, Lect. Notes Comput. Sci. 5144, 315--330 (2008; Zbl 1166.68351) Full Text: DOI
Akbarpour, Behzad; Paulson, Lawrence C. MetiTarski: An automatic prover for the elementary functions. (English) Zbl 1166.68335 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 217-231 (2008). MSC: 68T15 PDFBibTeX XMLCite \textit{B. Akbarpour} and \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 5144, 217--231 (2008; Zbl 1166.68335) Full Text: DOI
Platzer, André; Quesel, Jan-David KeYmaera: A hybrid theorem prover for hybrid systems. (System description). (English) Zbl 1165.68469 Armando, Alessandro (ed.) et al., Automated reasoning. 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12–15, 2008 Proceedings. Berlin: Springer (ISBN 978-3-540-71069-1/pbk). Lecture Notes in Computer Science 5195. Lecture Notes in Artificial Intelligence, 171-178 (2008). MSC: 68T15 68Q60 PDFBibTeX XMLCite \textit{A. Platzer} and \textit{J.-D. Quesel}, Lect. Notes Comput. Sci. 5195, 171--178 (2008; Zbl 1165.68469) Full Text: DOI
Platzer, André; Clarke, Edmund M. Computing differential invariants of hybrid systems as fixedpoints. (English) Zbl 1155.68445 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 176-189 (2008). MSC: 68Q60 93C95 PDFBibTeX XMLCite \textit{A. Platzer} and \textit{E. M. Clarke}, Lect. Notes Comput. Sci. 5123, 176--189 (2008; Zbl 1155.68445) Full Text: DOI
Kanno, Masaaki; Yokoyama, Kazuhiro; Anai, Hirokazu; Hara, Shinji Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. (English) Zbl 1190.93061 Brown, C. W. (ed.), ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29–August 1, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-743-8). 211-218 (2007). MSC: 93C83 65K10 68W30 93B15 PDFBibTeX XMLCite \textit{M. Kanno} et al., in: Proceedings of the 2007 international symposium on symbolic and algebraic computation, ISSAC 2007, Waterloo, ON, Canada, July 29--August 1, 2007. New York, NY: Association for Computing Machinery (ACM). 211--218 (2007; Zbl 1190.93061)
Brown, Christopher W.; Davenport, James H. The complexity of quantifier elimination and cylindrical algebraic decomposition. (English) Zbl 1190.68028 Brown, C. W. (ed.), ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29–August 1, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-743-8). 54-60 (2007). MSC: 68Q25 03C10 68W30 PDFBibTeX XMLCite \textit{C. W. Brown} and \textit{J. H. Davenport}, in: Proceedings of the 2007 international symposium on symbolic and algebraic computation, ISSAC 2007, Waterloo, ON, Canada, July 29--August 1, 2007. New York, NY: Association for Computing Machinery (ACM). 54--60 (2007; Zbl 1190.68028)
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun Generating polynomial invariants with DISCOVERER and QEPCAD. (English) Zbl 1151.68366 Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 67-82 (2007). MSC: 68N30 68Q60 68W30 PDFBibTeX XMLCite \textit{Y. Chen} et al., Lect. Notes Comput. Sci. 4700, 67--82 (2007; Zbl 1151.68366) Full Text: DOI
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen Discovering non-linear ranking functions by solving semi-algebraic systems. (English) Zbl 1147.68442 Jones, Cliff B. (ed.) et al., Theoretical aspects of computing – ICTAC 2007. 4th international colloquium, Macau, China, September 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 34-49 (2007). MSC: 68N30 68W30 PDFBibTeX XMLCite \textit{Y. Chen} et al., Lect. Notes Comput. Sci. 4711, 34--49 (2007; Zbl 1147.68442) Full Text: DOI
Akbarpour, Behzad; Paulson, Lawrence C. Extending a resolution prover for inequalities on elementary functions. (English) Zbl 1137.68571 Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 47-61 (2007). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{B. Akbarpour} and \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 4790, 47--61 (2007; Zbl 1137.68571) Full Text: DOI
Weber, Andreas Quantifier elimination on real closed fields and differential equations. (English) Zbl 1137.03016 Löwe, Benedikt (ed.), Algebra, logic, set theory. Festschrift für Ulrich Felgner zum 65. Geburtstag. London: King’s College Publications (ISBN 1-904987-28-1/hbk). Studies in Logic (London) 4, 291-311 (2007). MSC: 03C10 12L12 68W30 92D30 PDFBibTeX XMLCite \textit{A. Weber}, Stud. Log. (Lond.) 4, 291--311 (2007; Zbl 1137.03016)
Platzer, André Differential dynamic logic for verifying parametric hybrid systems. (English) Zbl 1132.68478 Olivetti, Nicola (ed.), Automated reasoning with analytic tableaux and related methods. 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3–6, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73098-9/pbk). Lecture Notes in Computer Science 4548. Lecture Notes in Artificial Intelligence, 216-232 (2007). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{A. Platzer}, Lect. Notes Comput. Sci. 4548, 216--232 (2007; Zbl 1132.68478) Full Text: DOI
Boulier, François; Lefranc, Marc; Lemaire, François; Morant, Pierre-Emmanuel; Ürgüplü, Aslı On proving the absence of oscillations in models of genetic circuits. (English) Zbl 1127.92306 Anai, Hirokazu (ed.) et al., Algebraic biology. Second international conference, AB 2007, Castle of Hagenberg, Austria, July 2–4, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73432-1/pbk). Lecture Notes in Computer Science 4545, 66-80 (2007). MSC: 92C45 68W30 34C23 92C40 92-04 PDFBibTeX XMLCite \textit{F. Boulier} et al., Lect. Notes Comput. Sci. 4545, 66--80 (2007; Zbl 1127.92306) Full Text: DOI HAL
Kartashova, Elena; McCallum, Scott Quantifier elimination for approximate factorization of linear partial differential operators. (English) Zbl 1202.68491 Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 106-115 (2007). MSC: 68W30 35L99 47F05 PDFBibTeX XMLCite \textit{E. Kartashova} and \textit{S. McCallum}, Lect. Notes Comput. Sci. 4573, 106--115 (2007; Zbl 1202.68491) Full Text: DOI
Hardy, Ruth Interactions between PVS and Maple in symbolic analysis of control systems. (English) Zbl 1273.68418 Carette, Jacques (ed.) et al., Proceedings of the 12th symposium on the integration of symbolic computation and mechanized reasoning (Calculemus 2005), Newcastle-upon-Tyne, UK, July 18–19, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 151, No. 1, 111-125 (2006). MSC: 68W30 93-04 PDFBibTeX XMLCite \textit{R. Hardy}, Electron. Notes Theor. Comput. Sci. 151, No. 1, 111--125 (2006; Zbl 1273.68418) Full Text: Link
Hong, Hoon; Li, Liyun; Liang, Tielin; Wang, Dongming Solving dynamic geometric constraints involving inequalities. (English) Zbl 1156.68569 Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 181-195 (2006). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{H. Hong} et al., Lect. Notes Comput. Sci. 4120, 181--195 (2006; Zbl 1156.68569) Full Text: DOI
Liang, Songxin; Jeffrey, David J. An algorithm for computing the complete root classification of a parametric polynomial. (English) Zbl 1156.68632 Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 116-130 (2006). MSC: 68W30 PDFBibTeX XMLCite \textit{S. Liang} and \textit{D. J. Jeffrey}, Lect. Notes Comput. Sci. 4120, 116--130 (2006; Zbl 1156.68632) Full Text: DOI
Brown, Christopher W.; Gross, Christian Efficient preprocessing methods for quantifier elimination. (English) Zbl 1141.68675 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 9th international workshop, CASC 2006, Chişinău, Moldova, September 11–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45182-2/pbk). Lecture Notes in Computer Science 4194, 89-100 (2006). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{C. W. Brown} and \textit{C. Gross}, Lect. Notes Comput. Sci. 4194, 89--100 (2006; Zbl 1141.68675) Full Text: DOI
Fotiou, Ioannis A.; Beccuti, A. Giovanni; Papafotiou, Georgios; Morari, Manfred Optimal control of piece-wise polynomial hybrid systems using cylindrical algebraic decomposition. (English) Zbl 1178.49032 Hespanha, João (ed.) et al., Hybrid systems: Computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33170-0/pbk). Lecture Notes in Computer Science 3927, 227-241 (2006). MSC: 49K30 93B25 93C30 PDFBibTeX XMLCite \textit{I. A. Fotiou} et al., Lect. Notes Comput. Sci. 3927, 227--241 (2006; Zbl 1178.49032) Full Text: DOI
Anderson, Hugh; Khoo, Siau-Cheng; Andrei, Stefan; Luca, Beatrice Calculating polynomial runtime properties. (English) Zbl 1159.68361 Yi, Kwangkeun (ed.), Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29735-9/pbk). Lecture Notes in Computer Science 3780, 230-246 (2005). MSC: 68N15 PDFBibTeX XMLCite \textit{H. Anderson} et al., Lect. Notes Comput. Sci. 3780, 230--246 (2005; Zbl 1159.68361) Full Text: DOI
Sturm, Thomas Quantifier elimination for constraint logic programming. (English) Zbl 1169.68357 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 416-430 (2005). MSC: 68N17 03C10 68T20 68W30 PDFBibTeX XMLCite \textit{T. Sturm}, Lect. Notes Comput. Sci. 3718, 416--430 (2005; Zbl 1169.68357) Full Text: DOI
Richardson, David G.; Krandick, Werner Compiler-enforced memory semantics in the SACLIB computer algebra library. (English) Zbl 1169.68364 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 330-343 (2005). MSC: 68N20 68W30 PDFBibTeX XMLCite \textit{D. G. Richardson} and \textit{W. Krandick}, Lect. Notes Comput. Sci. 3718, 330--343 (2005; Zbl 1169.68364) Full Text: DOI
Nagasaka, Kosaku Towards more accurate separation bounds of empirical polynomials. II. (English) Zbl 1169.65308 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 318-329 (2005). MSC: 65D99 PDFBibTeX XMLCite \textit{K. Nagasaka}, Lect. Notes Comput. Sci. 3718, 318--329 (2005; Zbl 1169.65308) Full Text: DOI
Basu, Saugata; Kettner, Michael Computing the Betti numbers of arrangements in practice. (English) Zbl 1169.68637 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 13-31 (2005). MSC: 68U05 PDFBibTeX XMLCite \textit{S. Basu} and \textit{M. Kettner}, Lect. Notes Comput. Sci. 3718, 13--31 (2005; Zbl 1169.68637) Full Text: DOI
Cousot, Patrick Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. (English) Zbl 1111.68503 Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 1-24 (2005). MSC: 68Q60 68N30 90C22 PDFBibTeX XMLCite \textit{P. Cousot}, Lect. Notes Comput. Sci. 3385, 1--24 (2005; Zbl 1111.68503) Full Text: DOI
Ratschan, Stefan; She, Zhikun Safety verification of hybrid systems by constraint propagation based abstraction refinement. (English) Zbl 1078.93508 Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 573-589 (2005). MSC: 93B03 93C30 68Q60 PDFBibTeX XMLCite \textit{S. Ratschan} and \textit{Z. She}, Lect. Notes Comput. Sci. 3414, 573--589 (2005; Zbl 1078.93508) Full Text: DOI
Hora, Jaroslav Quantifier elimination in the elementary theory of real closed fields: remarkable history, actual present. (Czech) Zbl 1274.03002 Bečvář, Jindřich (ed.) et al., Matematika v proměnách věků. III. Prague: Výzkumné Centrum pro Dějiny Vědy (ISBN 80-7285-040-7). Dějiny Matematiky/History of Mathematics 24, 56-68 (2004). Reviewer: Martina Bečvářová (Praha) MSC: 03-03 01A60 01A70 03C10 68W30 PDFBibTeX XMLCite \textit{J. Hora}, in: Matematika v proměnách věků. III. Prague: Výzkumné Centrum pro Dějiny Vědy. 56--68 (2004; Zbl 1274.03002) Full Text: Link
Yanami, Hitoshi; Anai, Hirokazu Development of SyNRAC – formula description and new functions. (English) Zbl 1102.68749 Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 286-294 (2004). MSC: 68W30 PDFBibTeX XMLCite \textit{H. Yanami} and \textit{H. Anai}, Lect. Notes Comput. Sci. 3039, 286--294 (2004; Zbl 1102.68749) Full Text: DOI
Beaumont, James C.; Bradford, Russell J.; Davenport, James H.; Phisanbut, Nalina A poly-algorithmic approach to simplifying elementary functions. (English) Zbl 1134.68594 Gutierrez, Jaime (ed.), ISSAC 2004. Proceedings of the 2004 international symposium on symbolic and algebraic computation, Santander, Spain, July 4–7, 2004. New York, NY: ACM Press (ISBN 1-58113-827-X/pbk). 27-34 (2004). MSC: 68W30 03C10 PDFBibTeX XMLCite \textit{J. C. Beaumont} et al., in: Proceedings of the 2004 international symposium on symbolic and algebraic computation, ISSAC 2004, Santander, Spain, July 4--7, 2004. New York, NY: ACM Press. 27--34 (2004; Zbl 1134.68594) Full Text: DOI
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B. Linear invariant generation using non-linear constraint solving. (English) Zbl 1278.68164 Hunt, Warren A.jun. (ed.) et al., Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40524-0/pbk). Lect. Notes Comput. Sci. 2725, 420-432 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{M. A. Colón} et al., Lect. Notes Comput. Sci. 2725, 420--432 (2003; Zbl 1278.68164) Full Text: DOI
Seidl, Andreas; Sturm, Thomas A generic projection operator for partial cylindrical algebraic decomposition. (English) Zbl 1072.68696 Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 240-247 (2003). MSC: 68W30 03C10 68T15 PDFBibTeX XMLCite \textit{A. Seidl} and \textit{T. Sturm}, in: Proceedings of the 2003 international symposium on symbolic and algebraic computation, ISSAC 2003, Philadelphia, PA, USA, August 3--6, 2003. New York, NY: ACM Press. 240--247 (2003; Zbl 1072.68696)
Anai, Hirokazu; Yanami, Hitoshi SYNRAC: A Maple-package for solving real algebraic constraints. (English) Zbl 1033.68960 Sloot, Peter M. A. (ed.) et al., Computational science – ICCS 2003. International conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003. Proceedings, Part I. Berlin: Springer (ISBN 3-540-40194-6/pbk). Lect. Notes Comput. Sci. 2657, 828-837 (2003). MSC: 68W30 93B51 PDFBibTeX XMLCite \textit{H. Anai} and \textit{H. Yanami}, Lect. Notes Comput. Sci. 2657, 828--837 (2003; Zbl 1033.68960) Full Text: Link
Langer, Ulrich; Reitzinger, Stefan; Schicho, Josef Symbolic methods for the element preconditioning technique. (English) Zbl 1019.68145 Winkler, Franz (ed.) et al., Symbolic and numerical scientific computation. Second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2630, 293-308 (2003). MSC: 68W30 PDFBibTeX XMLCite \textit{U. Langer} et al., Lect. Notes Comput. Sci. 2630, 293--308 (2003; Zbl 1019.68145) Full Text: Link
Bodnár, Gábor; Kaltenbacher, Barbara; Pau, Petru; Schicho, Josef Exact real computation in computer algebra. (English) Zbl 1019.68142 Winkler, Franz (ed.) et al., Symbolic and numerical scientific computation. Second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2630, 279-292 (2003). MSC: 68W30 PDFBibTeX XMLCite \textit{G. Bodnár} et al., Lect. Notes Comput. Sci. 2630, 279--292 (2003; Zbl 1019.68142) Full Text: Link
Senesky, Matthew; Eirea, Gabriel; Koo, T. John Hybrid modelling and control of power electronics. (English) Zbl 1032.93502 Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 450-465 (2003). MSC: 93A30 93C30 PDFBibTeX XMLCite \textit{M. Senesky} et al., Lect. Notes Comput. Sci. 2623, 450--465 (2003; Zbl 1032.93502) Full Text: Link