Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ISSAC '05 : July 24-27, 2005, Beijing, China : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation
| ISSAC '05 : July 24-27, 2005, Beijing, China : proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation |
| Autore | Gao Xiao-Shan |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2005 |
| Descrizione fisica | 1 online resource (374 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Symposium on Symbolic and Algebraic Computation '05
Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation ISSAC '05 International Symposium on Symbolic and Algebraic Computation, Beijing, China - July 24 - 27, 2005 |
| Record Nr. | UNINA-9910375926403321 |
Gao Xiao-Shan
|
||
| [Place of publication not identified], : ACM, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISSAC 2013 : Boston, USA, June 26-29, 2013 : proceedings of the 38th International Symposium on International Symposium on Symbolic and Algebraic Computation
| ISSAC 2013 : Boston, USA, June 26-29, 2013 : proceedings of the 38th International Symposium on International Symposium on Symbolic and Algebraic Computation |
| Autore | Monagan Michael |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (388 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Mathematics
Physical Sciences & Mathematics Algebra |
| ISBN | 1-4503-2059-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
International Symposium on Symbolic and Algebraic Computation 2013
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation ISSAC '13 International Symposium on Symbolic and Algebraic Computation, Boston, MA, USA - June 26-29, 2013 |
| Record Nr. | UNINA-9910375892203321 |
|
Monagan Michael
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Software – ICMS 2018 [[electronic resource] ] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
| Mathematical Software – ICMS 2018 [[electronic resource] ] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 508 p. 132 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Artificial intelligence Data protection Computer programming Compilers (Computer programs) Information storage and retrieval systems Discrete Mathematics in Computer Science Artificial Intelligence Data and Information Security Programming Techniques Compilers and Interpreters Information Storage and Retrieval |
| ISBN | 3-319-96418-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform. |
| Record Nr. | UNISA-996466184003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
| Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 508 p. 132 illus.) |
| Disciplina | 510.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Artificial intelligence Data protection Computer programming Compilers (Computer programs) Information storage and retrieval systems Discrete Mathematics in Computer Science Artificial Intelligence Data and Information Security Programming Techniques Compilers and Interpreters Information Storage and Retrieval |
| ISBN | 3-319-96418-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform. |
| Record Nr. | UNINA-9910349418503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings / / Manuel Kauers [and three others], editors
| Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings / / Manuel Kauers [and three others], editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIII, 410 p.) |
| Disciplina | 512.0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra - Data processing
Mathematical analysis - Data processing |
| ISBN | 3-540-73086-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories in Chiron -- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators -- Rule-Based Simplification in Vector-Product Spaces -- Contributions to MKM 2007 -- Mathematics and Scientific Markup -- The On-Line Encyclopedia of Integer Sequences -- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems -- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case -- A Framework for Interactive Proof -- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems -- Mizar Course in Logic and Set Theory -- Using Formal Concept Analysis in Mathematical Discovery -- Cooperative Repositories for Formal Proofs -- Revisions as an Essential Tool to Maintain Mathematical Repositories -- The Layers of Logiweb -- Formal Representation of Mathematics in a Dependently Typed Set Theory -- Restoring Natural Language as a Computerised Mathematics Input Method -- Narrative Structure of Mathematical Texts -- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch -- Alternative Aggregates in Mizar -- An Approach to Mathematical Search Through Query Formulation and Data Normalization -- Extended Formula Normalization for ?-Retrieval and Sharing of Mathematical Knowledge -- Towards Mathematical Knowledge Management for Electrical Engineering -- Spurious Disambiguation Error Detection -- Methods of Relevance Ranking and Hit-content Generation in Math Search. |
| Record Nr. | UNINA-9910484055903321 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings / / Manuel Kauers [and three others], editors
| Towards mechanized mathematical assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 ; proceedings / / Manuel Kauers [and three others], editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [2007] |
| Descrizione fisica | 1 online resource (XIII, 410 p.) |
| Disciplina | 512.0285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra - Data processing
Mathematical analysis - Data processing |
| ISBN | 3-540-73086-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories in Chiron -- Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators -- Rule-Based Simplification in Vector-Product Spaces -- Contributions to MKM 2007 -- Mathematics and Scientific Markup -- The On-Line Encyclopedia of Integer Sequences -- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems -- Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case -- A Framework for Interactive Proof -- Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems -- Mizar Course in Logic and Set Theory -- Using Formal Concept Analysis in Mathematical Discovery -- Cooperative Repositories for Formal Proofs -- Revisions as an Essential Tool to Maintain Mathematical Repositories -- The Layers of Logiweb -- Formal Representation of Mathematics in a Dependently Typed Set Theory -- Restoring Natural Language as a Computerised Mathematics Input Method -- Narrative Structure of Mathematical Texts -- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch -- Alternative Aggregates in Mizar -- An Approach to Mathematical Search Through Query Formulation and Data Normalization -- Extended Formula Normalization for ?-Retrieval and Sharing of Mathematical Knowledge -- Towards Mathematical Knowledge Management for Electrical Engineering -- Spurious Disambiguation Error Detection -- Methods of Relevance Ranking and Hit-content Generation in Math Search. |
| Record Nr. | UNISA-996466272703316 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||