Extraction of Logical Structure from Articles in Mathematics (Englisch)
- Neue Suche nach: Nakagawa, Koji
- Neue Suche nach: Nomura, Akihiro
- Neue Suche nach: Suzuki, Masakazu
- Neue Suche nach: Nakagawa, Koji
- Neue Suche nach: Nomura, Akihiro
- Neue Suche nach: Suzuki, Masakazu
In:
Mathematical Knowledge Management
;
276-289
;
2004
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Extraction of Logical Structure from Articles in Mathematics
-
Beteiligte:
-
Erschienen in:Mathematical Knowledge Management ; 276-289Lecture Notes in Computer Science ; 3119 ; 276-289
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2004
-
Format / Umfang:14 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Copyright Issues for MKMAdams, Andrew A. / Davenport, James H. et al. | 2004
- 17
-
Efficient Retrieval of Mathematical StatementsAsperti, Andrea / Selmi, Matteo et al. | 2004
- 32
-
Formalizing Set Theory as it Is Actually UsedAvron, Arnon et al. | 2004
- 44
-
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar ArticlesBancerek, Grzegorz / Urban, Josef et al. | 2004
- 58
-
Informalising Formal Mathematics: Searching the Mizar Library with Latent SemanticsCairns, Paul et al. | 2004
- 73
-
Mathematical Service Matching Using Description Logic and OWLCaprotti, Olga / Dewar, Mike / Turi, Daniele et al. | 2004
- 88
-
C-CoRN, the Constructive Coq Repository at NijmegenCruz-Filipe, Luís / Geuvers, Herman / Wiedijk, Freek et al. | 2004
- 104
-
Classifying Differential Equations on the WebDraheim, Dirk / Neun, Winfried / Suliman, Dima et al. | 2004
- 116
-
Managing Heterogeneous Theories within a Mathematical Knowledge RepositoryGrabowski, Adam / Moschner, Markus et al. | 2004
- 130
-
Rough Concept Analysis – Theory Development in the Mizar SystemGrabowski, Adam / Schwarzweller, Christoph et al. | 2004
- 145
-
A Path to Faithful Formalizations of MathematicsJojgov, Gueorgui / Nederpelt, Rob et al. | 2004
- 160
-
Flexible Encoding of Mathematics on the ComputerKamareddine, Fairouz / Maarek, Manuel / Wells, J. B. et al. | 2004
- 175
-
CPoint: Dissolving the Author’s DilemmaKohlhase, Andrea / Kohlhase, Michael et al. | 2004
- 190
-
On Diagrammatic Representation of Mathematical KnowledgeKulpa, Zenon et al. | 2004
- 205
-
Predicate Logic with Sequence Variables and Sequence Function SymbolsKutsia, Temur / Buchberger, Bruno et al. | 2004
- 220
-
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal MathematicsLorigo, Lori / Kleinberg, Jon / Eaton, Richard / Constable, Robert et al. | 2004
- 236
-
Theorem Proving and Proof Verification in the System SADLyaletski, Alexander / Paskevich, Andrey / Verchinine, Konstantin et al. | 2004
- 251
-
Adaptive Access to a Proof PlannerMelis, Erica / Meier, Andreas / Pollet, Martin et al. | 2004
- 265
-
Modeling Interactivity for Mathematics Learning by DemonstrationMora, Miguel A. / Moriyón, Roberto / Saiz, Francisco et al. | 2004
- 276
-
Extraction of Logical Structure from Articles in MathematicsNakagawa, Koji / Nomura, Akihiro / Suzuki, Masakazu et al. | 2004
- 290
-
Improving Mizar Texts with Properties and RequirementsNaumowicz, Adam / Byliński, Czesław et al. | 2004
- 302
-
An Investigation on the Dynamics of Direct-Manipulation Editors for MathematicsPadovani, Luca / Solmi, Riccardo et al. | 2004
- 317
-
Intuitive and Formal Representations: The Case of MatricesPollet, Martin / Sorge, Volker / Kerber, Manfred et al. | 2004
- 332
-
Mathematical Libraries as Proof Assistant EnvironmentsCoen, Claudio Sacerdoti et al. | 2004
- 347
-
Efficient Ambiguous Parsing of Mathematical FormulaeCoen, Claudio Sacerdoti / Zacchiroli, Stefano et al. | 2004
- 363
-
An Architecture for Distributed Mathematical Web ServicesSmirnova, Elena S. / So, Clare M. / Watt, Stephen M. et al. | 2004
- 378
-
The Categorial Type of OpenMath ObjectsStrotmann, Andreas et al. | 2004