Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
Disciplina | 006.30151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Math Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-319-20615-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Record Nr. | UNISA-996198514103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXI, 359 p. 84 illus.) |
Disciplina | 006.30151 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Math Applications in Computer Science Artificial Intelligence Symbolic and Algebraic Manipulation Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-319-20615-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data. |
Record Nr. | UNINA-9910484373003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent Computer Mathematics [[electronic resource] ] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-642-39320-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
Record Nr. | UNISA-996466249403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
ISBN | 3-642-39320-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
Record Nr. | UNINA-9910485017703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent Computer Mathematics [[electronic resource] ] : 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 / / edited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XVIII, 473 p. 117 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Computer logic Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Information Storage and Retrieval |
ISBN | 3-642-31374-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465534503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical Software – ICMS 2020 [[electronic resource] ] : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXIII, 494 p. 529 illus., 111 illus. in color.) |
Disciplina | 510.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Data structures (Computer science) Information theory Computer networks Computers, Special purpose Computer systems Discrete Mathematics in Computer Science Data Structures and Information Theory Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Mathematical Applications in Computer Science |
ISBN | 3-030-52200-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Gröbner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session. |
Record Nr. | UNISA-996418280603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical Software – ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / / edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXIII, 494 p. 529 illus., 111 illus. in color.) |
Disciplina |
510.285
510.285536 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Data structures (Computer science) Information theory Computer networks Computers, Special purpose Computer systems Discrete Mathematics in Computer Science Data Structures and Information Theory Computer Communication Networks Special Purpose and Application-Based Systems Computer System Implementation Mathematical Applications in Computer Science |
ISBN | 3-030-52200-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Gröbner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session. |
Record Nr. | UNINA-9910413441703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|