×

Found 53 Documents (Results 1–53)

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

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

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

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

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

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

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

Solving the Birkhoff interpolation problem via the critical point method: An experimental study. (English) Zbl 0985.68079

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 26-40 (2001).
MSC:  68U05 65D05 68W30
PDFBibTeX XMLCite
Full Text: Link

A hybrid method for solving geometric constraint problems. (English) Zbl 0985.68555

Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 16-25 (2001).
MSC:  68U05 68T20
PDFBibTeX XMLCite
Full Text: Link

Mathematics mechanization. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving. (English) Zbl 0987.68074

Mathematics and its Applications (Dordrecht). 489. Dordrecht: Kluwer Academic Publishers. Beijing: Science Press. xii, 420 p. (2000).
PDFBibTeX XMLCite

An algebraic approach to offsetting and blending of solids. (English) Zbl 0976.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. 367-381 (2000).
MSC:  68U07 68U05 68W30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software