×

Found 129 Documents (Results 1–100)

Newest Citations Relevance
Florescu, Dorian; England, Matthew

A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs. (English) Zbl 1503.68311

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 302-311 (2020).
MSC:  68W30 14Q30 68T05
PDF BibTeX XML Cite
\textit{D. Florescu} and \textit{M. England}, Lect. Notes Comput. Sci. 12097, 302--311 (2020; Zbl 1503.68311)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chen, Changbo; Zhu, Zhangpeng; Chi, Haoyu

Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks. (English) Zbl 1503.68310

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 281-291 (2020).
MSC:  68W30 14Q30 68T05
PDF BibTeX XML Cite
\textit{C. Chen} et al., Lect. Notes Comput. Sci. 12097, 281--291 (2020; Zbl 1503.68310)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Florescu, Dorian; England, Matthew

Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness. (English) Zbl 07441081

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 341-356 (2020).
MSC:  68-XX 65-XX
PDF BibTeX XML Cite
\textit{D. Florescu} and \textit{M. England}, Lect. Notes Comput. Sci. 11989, 341--356 (2020; Zbl 07441081)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
England, Matthew

Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. (English) Zbl 07300047

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 13 (2020).
MSC:  68W30
PDF BibTeX XML Cite
\textit{M. England}, in: Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC '20, Kalamata, Greece, July 20--23, 2020. New York, NY: Association for Computing Machinery (ACM). 13 (2020; Zbl 07300047)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{M. England} and \textit{D. Florescu}, Lect. Notes Comput. Sci. 11617, 93--108 (2019; Zbl 1428.68399)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Strzebonski, Adam

Comparison of CAD-based methods for computation of rational function limits. (English) Zbl 1467.68233

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). 375-382 (2018).
MSC:  68W30 26C15
PDF BibTeX XML Cite
\textit{A. Strzebonski}, 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). 375--382 (2018; Zbl 1467.68233)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Strzeboński, Adam

CAD adjacency computation using validated numerics. (English) Zbl 1458.14067

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 413-420 (2017).
MSC:  14Q20 14P10 68W30
PDF BibTeX XML Cite
\textit{A. Strzeboński}, in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 413--420 (2017; Zbl 1458.14067)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Brown, Christopher W.

Projection and quantifier elimination using non-uniform cylindrical algebraic decomposition. (English) Zbl 1457.68323

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 53-60 (2017).
MSC:  68W30 03C10
PDF BibTeX XML Cite
\textit{C. W. Brown}, in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25--28, 2017. New York, NY: Association for Computing Machinery (ACM). 53--60 (2017; Zbl 1457.68323)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Kubjas, Kaie; Parrilo, Pablo A.; Sturmfels, Bernd

How to flatten a soccer ball. (English) Zbl 1406.14042

Conca, Aldo (ed.) et al., Homological and computational methods in commutative algebra. Dedicated to Winfried Bruns on the occasion of his 70th birthday. Proceedings of the INdAM conference, Cortona, Italy, May 30 – June 3, 2016. Cham: Springer (ISBN 978-3-319-61942-2/hbk; 978-3-319-61943-9/ebook). Springer INdAM Series 20, 141-162 (2017).
MSC:  14Q10 14P10 65D18 90C25 90C90
PDF BibTeX XML Cite
\textit{K. Kubjas} et al., Springer INdAM Ser. 20, 141--162 (2017; Zbl 1406.14042)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{J. H. Davenport} and \textit{M. England}, Lect. Notes Comput. Sci. 9725, 157--164 (2016; Zbl 1434.68702)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{M. Jaroschek} et al., Lect. Notes Comput. Sci. 9322, 151--166 (2015; Zbl 1471.68248)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
England, Matthew; Bradford, Russell; Davenport, James H.

Improving the use of equational constraints in cylindrical algebraic decomposition. (English) Zbl 1346.68283

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). 165-172 (2015).
MSC:  68W30 03C10
PDF BibTeX XML Cite
\textit{M. England} et al., 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). 165--172 (2015; Zbl 1346.68283)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Brown, Christopher W.

Open non-uniform cylindrical algebraic decompositions. (English) Zbl 1346.68273

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). 85-92 (2015).
MSC:  68W30
PDF BibTeX XML Cite
\textit{C. W. Brown}, 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). 85--92 (2015; Zbl 1346.68273)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun

Decidability of the reachability for a family of linear vector fields. (English) Zbl 1476.68147

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 482-499 (2015).
MSC:  68Q60 03B25 68W30 93B03 93C30
PDF BibTeX XML Cite
\textit{T. Gan} et al., Lect. Notes Comput. Sci. 9364, 482--499 (2015; Zbl 1476.68147)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Strzeboński, Adam

Cylindrical algebraic decomposition using local projections. (English) Zbl 1325.68302

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 389-396 (2014).
MSC:  68W30 03C10 14P10
PDF BibTeX XML Cite
\textit{A. Strzeboński}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 389--396 (2014; Zbl 1325.68302)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chen, Changbo; Maza, Marc Moreno

Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (English) Zbl 1325.68268

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 91-98 (2014).
MSC:  68W30 03C10
PDF BibTeX XML Cite
\textit{C. Chen} and \textit{M. M. Maza}, in: Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23--25, 2014. New York, NY: Association for Computing Machinery (ACM). 91--98 (2014; Zbl 1325.68268)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{R. Bradford} et al., Lect. Notes Comput. Sci. 8660, 44--58 (2014; Zbl 1350.68293)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Chen, Changbo; Moreno Maza, Marc

Cylindrical algebraic decomposition in the RegularChains library. (English) Zbl 1437.14007

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, 425-433 (2014).
MSC:  14-04 14Q65 14Q30 68W30
PDF BibTeX XML Cite
\textit{C. Chen} and \textit{M. Moreno Maza}, Lect. Notes Comput. Sci. 8592, 425--433 (2014; Zbl 1437.14007)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Chen, Changbo; Moreno Maza, Marc

Real quantifier elimination in the RegularChains library. (English) Zbl 1437.14006

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, 283-290 (2014).
MSC:  14-04 14Q30 68W30
PDF BibTeX XML Cite
\textit{C. Chen} and \textit{M. Moreno Maza}, Lect. Notes Comput. Sci. 8592, 283--290 (2014; Zbl 1437.14006)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{Z. Huang} et al., Lect. Notes Comput. Sci. 8543, 92--107 (2014; Zbl 1304.68224)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{M. England} et al., Lect. Notes Comput. Sci. 8543, 45--60 (2014; Zbl 1304.68223)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Pillwein, Veronika

Termination conditions for positivity proving procedures. (English) Zbl 1360.68951

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 315-321 (2013).
MSC:  68W30 11B37 11Y16
PDF BibTeX XML Cite
\textit{V. Pillwein}, in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 315--321 (2013; Zbl 1360.68951)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Mehlhorn, Kurt; Sagraloff, Michael; Wang, Pengming

From approximate factorization to root isolation. (English) Zbl 1360.68944

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 283-290 (2013).
MSC:  68W30 14Q05 30C15 65H04 68W40
PDF BibTeX XML Cite
\textit{K. Mehlhorn} et al., in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 283--290 (2013; Zbl 1360.68944)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Brown, Christopher W.

Constructing a single open cell in a cylindrical algebraic decomposition. (English) Zbl 1360.68924

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 133-140 (2013).
MSC:  68W30 68T15
PDF BibTeX XML Cite
\textit{C. W. Brown}, in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 133--140 (2013; Zbl 1360.68924)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bradford, Russell; Davenport, James H.; England, Matthew; McCallum, Scott; Wilson, David

Cylindrical algebraic decompositions for Boolean combinations. (English) Zbl 1359.68327

Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 125-132 (2013).
MSC:  68W30
PDF BibTeX XML Cite
\textit{R. Bradford} et al., in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 125--132 (2013; Zbl 1359.68327)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\textit{R. Bradford} et al., Lect. Notes Comput. Sci. 7961, 19--34 (2013; Zbl 1390.68775)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Takacs, Stefan; Pillwein, Veronika

Smoothing analysis of an all-at-once multigrid approach for optimal control problems using symbolic computation. (English) Zbl 1250.65085

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, 175-191 (2012).
MSC:  65K10 49J20 49M27 68W30
PDF BibTeX XML Cite
\textit{S. Takacs} and \textit{V. Pillwein}, in: Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer. 175--191 (2012; Zbl 1250.65085)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\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
  • logo of hbz
  • logo of WorldCat
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. (English) Zbl 1346.68289

Moreno Maza, Marc (ed.), Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0515-0). 168-177 (2011).
MSC:  68W30 65K05 90C26
PDF BibTeX XML Cite
\textit{H. Iwane} et al., in: Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7--11, 2011. New York, NY: Association for Computing Machinery (ACM). 168--177 (2011; Zbl 1346.68289)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Kauers, Manuel; Pillwein, Veronika

When can we detect that a P-finite sequence is positive? (English) Zbl 1321.68535

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). 195-201 (2010).
MSC:  68W30 11B37
PDF BibTeX XML Cite
\textit{M. Kauers} and \textit{V. Pillwein}, 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). 195--201 (2010; Zbl 1321.68535)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Strzeboński, Adam

Computation with semialgebraic sets represented by cylindrical algebraic formulas. (English) Zbl 1321.68543

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). 61-68 (2010).
MSC:  68W30 03C10 14P10
PDF BibTeX XML Cite
\textit{A. Strzeboński}, 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). 61--68 (2010; Zbl 1321.68543)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu; Yokoyama, Kazuhiro

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. (English) Zbl 1356.68282

Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 55-64 (2009).
MSC:  68W30 03C10
PDF BibTeX XML Cite
\textit{H. Iwane} et al., in: Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3--5, 2009. New York, NY: Association for Computing Machinery (ACM). 55--64 (2009; Zbl 1356.68282)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Lazard, Daniel

Algebraic points in geometry and application to CAD. (English) Zbl 1186.68506

Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 364-369 (2009).
MSC:  68U05 68W30
PDF BibTeX XML Cite
\textit{D. Lazard}, COE Lect. Note 22, 364--369 (2009; Zbl 1186.68506)
  • logo of hbz
  • logo of WorldCat
Gerhold, Stefan; Kauers, Manuel

A procedure for proving special function inequalities involving a discrete parameter. (English) Zbl 1360.68933

Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 156-162 (2005).
MSC:  68W30 26D15 33C45 33F10 68T15
PDF BibTeX XML Cite
\textit{S. Gerhold} and \textit{M. Kauers}, in: Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC'05, Beijing, China, July 24--27, 2005. New York, NY: ACM Press. 156--162 (2005; Zbl 1360.68933)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
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
PDF BibTeX XML Cite
\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
  • logo of hbz
  • logo of WorldCat
Corvez, Solen; Rouillier, Fabrice

Using computer algebra tools to classify serial manipulators. (English) Zbl 1202.68489

Winkler, Franz (ed.), Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4–6, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20927-1/pbk). Lecture Notes in Computer Science 2930. Lecture Notes in Artificial Intelligence, 31-43 (2004).
MSC:  68W30 70B15
PDF BibTeX XML Cite
\textit{S. Corvez} and \textit{F. Rouillier}, Lect. Notes Comput. Sci. 2930, 31--43 (2004; Zbl 1202.68489)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Gonzalez-Campos, Neila; Gonzalez-Vega, Laureano

Computing the cylindrical algebraic decomposition adapted to a set of equalities. (English) Zbl 0989.68167

Ganzha, Viktor G. (ed.) et al., Computer algebra in scientific computing. CASC 2000. Proceedings of the 3rd workshop, Samarkand, Uzbekistan, October 5-9, 2000. Berlin: Springer. 203-217 (2000).
MSC:  68W30 13P05
PDF BibTeX XML Cite
\textit{N. Gonzalez-Campos} and \textit{L. Gonzalez-Vega}, in: Computer algebra in scientific computing. CASC 2000. Proceedings of the 3rd workshop, Samarkand, Uzbekistan, October 5--9, 2000. Berlin: Springer. 203--217 (2000; Zbl 0989.68167)
  • logo of hbz
  • logo of WorldCat
Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker

Real quantifier elimination in practice. (English) Zbl 0934.68130

Matzat, B. Heinrich (ed.) et al., Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221-247 (1999).
Reviewer: R.Dimitrić (Berkeley)
MSC:  68W30 13P10 13-04
PDF BibTeX XML Cite
\textit{A. Dolzmann} et al., in: Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 221--247 (1999; Zbl 0934.68130)
  • logo of hbz
  • logo of WorldCat
Brown, Christopher W.

Simplification of truth-invariant cylindrical algebraic decompositions. (English) Zbl 0918.68058

Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 295-301 (1998).
MSC:  68W30
PDF BibTeX XML Cite
\textit{C. W. Brown}, in: Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC '98, Rostock, Germany, August 13--15, 1998. New York, NY: ACM Press. 295--301 (1998; Zbl 0918.68058)
  • logo of hbz
  • logo of WorldCat

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software