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.
Mathematical Knowledge Management [[electronic resource] ] : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
| Mathematical Knowledge Management [[electronic resource] ] : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 398 p.) |
| Disciplina | 510/.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software
Information storage and retrieval Application software Artificial intelligence Database management Computer communication systems Mathematical Software Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence Database Management Computer Communication Networks |
| ISBN | 3-540-27818-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set Theory as it Is Actually Used -- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles -- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics -- Mathematical Service Matching Using Description Logic and OWL -- C-CoRN, the Constructive Coq Repository at Nijmegen -- Classifying Differential Equations on the Web -- Managing Heterogeneous Theories within a Mathematical Knowledge Repository -- Rough Concept Analysis – Theory Development in the Mizar System -- A Path to Faithful Formalizations of Mathematics -- Flexible Encoding of Mathematics on the Computer -- CPoint: Dissolving the Author’s Dilemma -- On Diagrammatic Representation of Mathematical Knowledge -- Predicate Logic with Sequence Variables and Sequence Function Symbols -- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving and Proof Verification in the System SAD -- Adaptive Access to a Proof Planner -- Modeling Interactivity for Mathematics Learning by Demonstration -- Extraction of Logical Structure from Articles in Mathematics -- Improving Mizar Texts with Properties and Requirements -- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics -- Intuitive and Formal Representations: The Case of Matrices -- Mathematical Libraries as Proof Assistant Environments -- Efficient Ambiguous Parsing of Mathematical Formulae -- An Architecture for Distributed Mathematical Web Services -- The Categorial Type of OpenMath Objects. |
| Record Nr. | UNISA-996465426903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
| Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 398 p.) |
| Disciplina | 510/.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software
Information storage and retrieval Application software Artificial intelligence Database management Computer networks Mathematical Software Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence Database Management Computer Communication Networks |
| ISBN | 3-540-27818-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set Theory as it Is Actually Used -- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles -- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics -- Mathematical Service Matching Using Description Logic and OWL -- C-CoRN, the Constructive Coq Repository at Nijmegen -- Classifying Differential Equations on the Web -- Managing Heterogeneous Theories within a Mathematical Knowledge Repository -- Rough Concept Analysis – Theory Development in the Mizar System -- A Path to Faithful Formalizations of Mathematics -- Flexible Encoding of Mathematics on the Computer -- CPoint: Dissolving the Author’s Dilemma -- On Diagrammatic Representation of Mathematical Knowledge -- Predicate Logic with Sequence Variables and Sequence Function Symbols -- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving and Proof Verification in the System SAD -- Adaptive Access to a Proof Planner -- Modeling Interactivity for Mathematics Learning by Demonstration -- Extraction of Logical Structure from Articles in Mathematics -- Improving Mizar Texts with Properties and Requirements -- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics -- Intuitive and Formal Representations: The Case of Matrices -- Mathematical Libraries as Proof Assistant Environments -- Efficient Ambiguous Parsing of Mathematical Formulae -- An Architecture for Distributed Mathematical Web Services -- The Categorial Type of OpenMath Objects. |
| Record Nr. | UNINA-9910144350003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Knowledge Management [[electronic resource] ] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport
| Mathematical Knowledge Management [[electronic resource] ] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 510/.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Mathematical logic Computer science—Mathematics Database management Computer mathematics Artificial Intelligence Information Storage and Retrieval Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Database Management Computational Mathematics and Numerical Analysis |
| ISBN | 3-540-36469-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Contributions -- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics -- MKM from Book to Computer: A Case Study -- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls -- Managing Digital Mathematical Discourse -- NAG Library Documentation -- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions -- Problems and Solutions for Markup for Mathematical Examples and Exercises -- An Annotated Corpus and a Grammar Model of Theorem Description -- A Query Language for a Metadata Framework about Mathematical Resources -- Information Retrieval in MML -- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment -- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge -- On the Integrity of a Repository of Formalized Mathematics -- A Theoretical Analysis of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers -- Invited Talk -- The Mathematical Semantic Web. |
| Record Nr. | UNISA-996465650803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport
| Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 510/.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Logic, Symbolic and mathematical Computer science—Mathematics Database management Computer science - Mathematics Artificial Intelligence Information Storage and Retrieval Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Database Management Computational Mathematics and Numerical Analysis |
| ISBN | 3-540-36469-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Contributions -- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics -- MKM from Book to Computer: A Case Study -- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls -- Managing Digital Mathematical Discourse -- NAG Library Documentation -- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions -- Problems and Solutions for Markup for Mathematical Examples and Exercises -- An Annotated Corpus and a Grammar Model of Theorem Description -- A Query Language for a Metadata Framework about Mathematical Resources -- Information Retrieval in MML -- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment -- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge -- On the Integrity of a Repository of Formalized Mathematics -- A Theoretical Analysis of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers -- Invited Talk -- The Mathematical Semantic Web. |
| Record Nr. | UNINA-9910143881103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation : ISSAC '89, July 17-19, 1989, Portland, Oregon
| Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation : ISSAC '89, July 17-19, 1989, Portland, Oregon |
| Autore | Gonnet G. H |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 1989 |
| Descrizione fisica | 1 online resource (399 p.;) |
| Disciplina | 510/.285 |
| Collana | ACM Conferences |
| Soggetto topico |
Mathematics - Congresses - Data processing
Algebra - Congresses - Data processing Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ISSAC '89 |
| Record Nr. | UNINA-9910375981503321 |
Gonnet G. H
|
||
| [Place of publication not identified], : ACM Press, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||