×

Found 54 Documents (Results 1–54)

International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library. (English) Zbl 1452.68264

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1157-1175 (2018).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 56-69 (2017).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. (English) Zbl 1330.68037

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). viii, 147 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. (English) Zbl 1293.68035

Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). xx, 458 p. (2014).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Determining points on handwritten mathematical symbols. (English) Zbl 1390.68566

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, 168-183 (2013).
MSC:  68T10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lightweight abstraction for mathematical computation in Java. (English) Zbl 1373.68168

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, 47-59 (2012).
MSC:  68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI

Writing on clouds. (English) Zbl 1360.68736

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, 402-416 (2012).
MSC:  68T10 68U35
PDFBibTeX XMLCite
Full Text: DOI

A streaming digital ink framework for multi-party collaboration. (English) Zbl 1359.68284

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, 81-95 (2012).
MSC:  68U35 00A35 68T10
PDFBibTeX XMLCite
Full Text: DOI

Type specialization in Aldor. (English) Zbl 1290.68133

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, 73-84 (2010).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Symbolic domain decomposition. (English) Zbl 1286.68515

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, 172-188 (2010).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing with abstract matrix structures. (English) Zbl 1237.68261

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). 325-332 (2009).
MSC:  68W30 15B99
PDFBibTeX XMLCite
Full Text: DOI

Orientation-independent recognition of handwritten characters with integral invariants. (English) Zbl 1194.68202

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, 252-261 (2009).
MSC:  68T10
PDFBibTeX XMLCite

Confidence measures in recognizing handwritten mathematical symbols. (English) Zbl 1247.68228

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, 460-466 (2009).
MSC:  68T10 68T05
PDFBibTeX XMLCite
Full Text: DOI

Reasoning with generic cases in the arithmetic of abstract matrices. (English) Zbl 1247.68327

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, 138-153 (2009).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

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. (English) Zbl 1165.68005

Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). xix, 493 p. (2009).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

PASCO’07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27–28, 2007. (English) Zbl 1169.68664

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-741-4). viii, 107 p. (2007).
PDFBibTeX XMLCite

Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC ’07, University of Western Ontario, London, ON, Canada, July 25–27, 2007. (English) Zbl 1143.00005

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-744-5). viii, 209 p. (2007).
MSC:  13-06 68-06 00B25
PDFBibTeX XMLCite

Notation selection in mathematical computing environments. (English) Zbl 1204.68276

Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 339-355 (2006).
MSC:  68W30 68T10
PDFBibTeX XMLCite

Determining empirical characteristics of mathematical expression use. (English) Zbl 1151.68675

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 361-375 (2006).
MSC:  68T30 68U15 68W30
PDFBibTeX XMLCite
Full Text: DOI

On the performance of parametric polymorphism in Maple. (English) Zbl 1114.68618

Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23–26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 35-42 (2006).
MSC:  68W30
PDFBibTeX XMLCite

Domains and expressions: an interface between two approaches to computer algebra. (English) Zbl 1360.68948

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). 261-268 (2005).
MSC:  68W30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Prototype pruning by feature extraction for handwritten mathematical symbol recognition. (English) Zbl 1114.68633

Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 423-437 (2005).
MSC:  68W30 68T10
PDFBibTeX XMLCite

A context for pen-based mathematical computing. (English) Zbl 1114.68630

Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 409-422 (2005).
MSC:  68W30
PDFBibTeX XMLCite

Generalization in Maple. (English) Zbl 1114.68629

Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 377-382 (2005).
MSC:  68W30
PDFBibTeX XMLCite

Parametric polymorphism optimization for deeply nested types in computer algebras. (English) Zbl 1114.68617

Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 243-259 (2005).
MSC:  68W30
PDFBibTeX XMLCite

An architecture for distributed mathematical web services. (English) Zbl 1108.68603

Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 363-377 (2004).
MSC:  68T30 68U35
PDFBibTeX XMLCite
Full Text: DOI

An exploration of homotopy solving in Maple. (English) Zbl 1047.65033

Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17–19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162 (2003).
MSC:  65H10 65L05 68W30 34A34 12Y05 26C10 30C15
PDFBibTeX XMLCite

A geometric-numeric algorithm for absolute factorization of multivariate polynomials. (English) Zbl 1072.68658

Mora, Teo (ed.), ISSAC 2002. Proceedings of the 2002 international symposium on symbolic and algebraic computation, Lille, France, July 07–10, 2002. New York, NY: ACM Press (ISBN 1-58113-484-3/pbk). 37-45 (2002).
MSC:  68W30 65H05
PDFBibTeX XMLCite

Towards factoring bivariate approximate polynomials. (English) Zbl 1356.13030

Proceedings of the 2001 international symposium on symbolic and algebraic computation, ISSAC ’01, London, Ontario, Canada, 2001. New York, NY: ACM Press (ISBN 1-58113-417-7). 85-92 (2001).
MSC:  13P05 68W30
PDFBibTeX XMLCite
Full Text: DOI

Numerical implicitization of parametric hypersurfaces with linear algebra. (English) Zbl 1042.65020

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 174-183 (2001).
MSC:  65D18 65F99
PDFBibTeX XMLCite
Full Text: Link

Reasoning about the elementary functions of complex analysis. (English) Zbl 1042.68128

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 115-126 (2001).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: Link

Meta stylesheets for the conversion of mathematical documents into multiple forms. (English) Zbl 0982.68168

Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 26 p. (2001).
MSC:  68U15
PDFBibTeX XMLCite
Full Text: Link

An OpenMath 1. 0 implementation. (English) Zbl 0923.68069

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 241-248 (1997).
MSC:  68W30
PDFBibTeX XMLCite

A numerical absolute primality test for bivariate polynomials. (English) Zbl 0920.11081

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 217-224 (1997).
PDFBibTeX XMLCite

The singular value decomposition for polynomial systems. (English) Zbl 0920.65034

Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 195-207 (1995).
MSC:  65H10 12Y05 26C10 68W30
PDFBibTeX XMLCite

On the implementation of dynamic evaluation. (English) Zbl 0922.68078

Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 77-84 (1995).
MSC:  68W30
PDFBibTeX XMLCite

A first report on the \(\mathbb{A}^\#\) compiler. (English) Zbl 0945.68511

Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 25-31 (1994).
MSC:  68N20 68W30
PDFBibTeX XMLCite

Computers and mathematics. (Proceedings of a conference, June 13-17, 1989, Massachusetts Institute of Technology, Cambridge, MA). (English) Zbl 0671.00018

New York etc.: Springer-Verlag. xii, 326 p. DM 78.00 (1989).
MSC:  00B25 68-06
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software