Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
Intelligent Computer Mathematics, p.169-183
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Towards Mechanized Mathematical Assistants, p.313-326
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MathWebSearch 0.5: Scaling an Open Formula Search Engine
Intelligent Computer Mathematics, p.342-357
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
2006., 2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Making PVS Accessible to Generic Services by Interpretation in a Universal Format
Interactive Theorem Proving, p.319-335
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Search Engine for Mathematical Formulae
Artificial Intelligence and Symbolic Computation, 2006, Vol.4120, p.241-253
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : Proceedings
2007
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Intelligent Computer Mathematics, p.117-131
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
Mathematical Software – ICMS 2016, p.467-475
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Communities of Practice in MKM: An Extensional Model
Lecture notes in computer science, 2006, p.179-193
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
Mathematical Software – ICMS 2016, p.451-457
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Knowledge-Based Interoperability for Mathematical Software Systems
Mathematical Aspects of Computer and Information Sciences, p.195-210
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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
1, 2012
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Math Literate Knowledge Management via Induced Material
Intelligent Computer Mathematics, p.187-202
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
Intelligent Computer Mathematics, p.137-152
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Preface
Lecture notes in computer science, 2016, Vol.9791, p.V
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Injecting Formal Mathematics Into LaTeX
Intelligent Computer Mathematics, p.168-183
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents
Intelligent Computer Mathematics, p.184-188
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMDoc (an open markup format for mathematical documents)
Lecture notes in computer science, 2006
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Allan Bundy
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Intelligent Computer Mathematics, p.252-266
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs
Intelligent Computer Mathematics, p.290-296
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Prototyping Controlled Mathematical Languages in Jupyter Notebooks
Mathematical Software – ICMS 2020, 2020, p.406-415
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards a Heterogeneous Query Language for Mathematical Knowledge
Intelligent Computer Mathematics, p.39-54
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 143
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLink Series
Suchergebnisse filtern
Filter anzeigen