×

Found 121 Documents (Results 1–100)

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
MSC:  33F10 13F25 05E99
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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
Full Text: DOI

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
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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

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
Full Text: Link

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
Full Text: Link

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
Full Text: Link

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software