×

Found 158 Documents (Results 1–100)

LaText: a linear algebra textbook system. (English) Zbl 1515.68351

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 209-214 (2018).
MSC:  68V30 15-01
PDFBibTeX XMLCite
Full Text: DOI

Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. (English) Zbl 1396.68012

Lecture Notes in Computer Science 11110. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-99956-2/pbk; 978-3-319-99957-9/ebook). x, 269 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Searching for geometric theorems using features retrieved from diagrams. (English) Zbl 1460.68129

Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 383-397 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Discovering geometric theorems from scanned and photographed images of diagrams. (English) Zbl 1434.68645

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, 149-165 (2015).
PDFBibTeX XMLCite
Full Text: DOI

ImUp: a Maple package for uniformity-improved reparameterization of plane curves. (English) Zbl 1352.68304

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). 437-451 (2014).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Improving angular speed uniformity by \(C^1\) piecewise reparameterization. (English) Zbl 1397.65030

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, 33-47 (2013).
MSC:  65D17
PDFBibTeX XMLCite
Full Text: DOI

Improving angular speed uniformity by optimal \(C ^{0}\) piecewise reparameterization. (English) Zbl 1416.65062

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. Lect. Notes Comput. Sci. 7442, 349-360 (2012).
MSC:  65D17
PDFBibTeX XMLCite
Full Text: DOI

Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description). (English) Zbl 1360.68804

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, 432-437 (2012).
PDFBibTeX XMLCite
Full Text: DOI

On the design and implementation of a geometric knowledge base. (English) Zbl 1302.68252

Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 22-41 (2011).
MSC:  68T30 51-01
PDFBibTeX XMLCite
Full Text: DOI

Stability analysis for discrete biological models using algebraic methods. (English) Zbl 1183.92038

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, 382-385 (2009).
PDFBibTeX XMLCite

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 HAL

Towards an electronic geometry textbook. (English) Zbl 1195.68091

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 1-23 (2007).
MSC:  68T15 51-01 51-04 68U05
PDFBibTeX XMLCite
Full Text: DOI

Gröbner bases in symbolic analysis. Based on talks delivered at the special semester on Gröbner bases and related methods, Linz, Austria, May 2006. (English) Zbl 1124.13001

Radon Series on Computational and Applied Mathematics 2. Berlin: Walter de Gruyter (ISBN 978-3-11-019323-7/hbk). v, 349 p. (2007).
PDFBibTeX XMLCite

Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi’an, China, July 19–21 (2005). (English) Zbl 1106.65001

Trends in Mathematics. Basel: Birkhäuser (ISBN 978-3-7643-7983-4/hbk). viii, 395 p. (2007).
MSC:  65-06 68-06 00B25
PDFBibTeX XMLCite

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. (English) Zbl 1356.13038

Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 269-276 (2006).
MSC:  13P10 68W30 92C42
PDFBibTeX XMLCite
Full Text: DOI

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

Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. (English) Zbl 1149.68005

Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). xiii, 269 p. (2006).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Quadric surface extraction by variational shape approximation. (English) Zbl 1160.68662

Kim, Myung-Soo (ed.) et al., Geometric modeling and processing – GMP 2006. 4th international conference, Pittsburgh, PA, USA, July 26–28, 2006. Proceedings. Berlin: Springer (ISBN 3-540-36711-X/pbk). Lecture Notes in Computer Science 4077, 73-86 (2006).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

Towards a geometric-object-oriented language. (English) Zbl 1159.68554

Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 130-155 (2006).
MSC:  68T15 68U05 68W30
PDFBibTeX XMLCite
Full Text: DOI

Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. (English) Zbl 1099.68005

Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-31332-X/pbk). x, 213 p. (2006).
MSC:  68-06 68T15 00B25
PDFBibTeX XMLCite
Full Text: DOI

Stability analysis of biological systems with real solution classification. (English) Zbl 1360.92048

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

GEOTHER 1.1: handling and proving geometric theorems automatically. (English) Zbl 1202.68390

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, 194-215 (2004).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

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