Search results for "openmath"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Christoph Lange 0002, David Aspinall 0001, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe 0001, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (eds.)	Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK	CICM Workshops	2013	DBLP BibTeX RDF
27	Nicola Botta, Cezar Ionescu, Edwin C. Brady	Sequential decision problems, dependently-typed solutions.	CICM Workshops	2013	DBLP BibTeX RDF
27	Lars Hellström	Literate sources for content dictionaries.	CICM Workshops	2013	DBLP BibTeX RDF
27	Hans Cuypers, Jan Willem Knopper	Interactive mathematical videos.	CICM Workshops	2013	DBLP BibTeX RDF
27	Jean-François Nicaud, Christophe Viudez	Implementation of dynamic algebra in Epsilonwriter.	CICM Workshops	2013	DBLP BibTeX RDF
27	Mihnea Iancu, Felix Mance, Florian Rabe 0001	The Scala-REPL + MMT as a lightweight mathematical user interface.	CICM Workshops	2013	DBLP BibTeX RDF
27	Anjo Anjewierden, Ellen T. Kamp, Ton de Jong	Ziggy: very interactive trigonometry.	CICM Workshops	2013	DBLP BibTeX RDF
27	Ross Moore	Tagged mathematics in PDFs for accessibility and other purposes.	CICM Workshops	2013	DBLP BibTeX RDF
27	Jozef Misutka	Scaling feature based mathematical search engine for real-world document sets.	CICM Workshops	2013	DBLP BibTeX RDF
27	Nuno Baeta, Pedro Quaresma	The full angle method on the OpenGeoProver.	CICM Workshops	2013	DBLP BibTeX RDF
27	Sergei D. Meshveliani	Dependent types for an adequate programming of algebra.	CICM Workshops	2013	DBLP BibTeX RDF
27	Deyan Ginev	NNexus Glasses: a drop-in showcase for wikification.	CICM Workshops	2013	DBLP BibTeX RDF
27	Daniel Marquès Solé	Edition with Arabic mathematical notation.	CICM Workshops	2013	DBLP BibTeX RDF
27	Clemens Ballarin	Reading an algebra textbook.	CICM Workshops	2013	DBLP BibTeX RDF
27	Walther Neuper	Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.	CICM Workshops	2013	DBLP BibTeX RDF
27	Dave Murray-Rust, Peter Murray-Rust	The Declaratron, semantic specification for scientific computation using MathML.	CICM Workshops	2013	DBLP BibTeX RDF
27	Nathan C. Carter, Kenneth G. Monks	Lurch: a word processor that can grade students' proofs.	CICM Workshops	2013	DBLP BibTeX RDF
27	Vadim Mazalov, Stephen M. Watt	Recommendation systems in mathematical character recognition.	CICM Workshops	2013	DBLP BibTeX RDF
27	Jan Wilken Dörrie, Michael Kohlhase	OpenMathMap: accessing math via interactive maps.	CICM Workshops	2013	DBLP BibTeX RDF
27	Eric Andres, Bastiaan Heeren, Johan Jeuring	Towards automatic generation of domain-specific mathematical input support.	CICM Workshops	2013	DBLP BibTeX RDF
27	Andrea Kohlhase	Spreadsheets: from data interfaces to knowledge interfaces.	CICM Workshops	2013	DBLP BibTeX RDF
27	Rui Hu, Stephen M. Watt	InkChat: a collaboration tool for mathematics.	CICM Workshops	2013	DBLP BibTeX RDF
27	Michael Kohlhase, Florian Rabe 0001	Semantics of OpenMath and MathML3.	Math. Comput. Sci.	2012	DBLP DOI BibTeX RDF
27	Toshihiro Ashino, Yuichiro Yamashita	Development of an Openmath Content Dictionary for Mathematical Knowledge of Materials Science and Engineering.	Data Sci. J.	2012	DBLP DOI BibTeX RDF
27	Joseph B. Collins	An OpenMath Content Dictionary for Tensor Concepts	CoRR	2010	DBLP BibTeX RDF
27	Christoph Lange 0002	wiki.openmath.org - how it works, how you can participate	CoRR	2010	DBLP BibTeX RDF
27	Christoph Lange 0002	Towards OpenMath Content Dictionaries as Linked Data	CoRR	2010	DBLP BibTeX RDF
27	Joseph B. Collins	An OpenMath Content Dictionary for Tensor Concepts.	AISC/MKM/Calculemus	2010	DBLP DOI BibTeX RDF
27	Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis	Authoring Presentation for OpenMath.	MKM	2005	DBLP DOI BibTeX RDF
27	Andreas Strotmann	The Categorial Type of OpenMath Objects.	MKM	2004	DBLP DOI BibTeX RDF
27	Olga Caprotti, Arjeh M. Cohen	On the Role of OpenMath in Interactive Mathematical Documents.	J. Symb. Comput.	2001	DBLP DOI BibTeX RDF
27	David Carlisle	OpenMath, MathML, and XSL.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Hélène Prieto, Stéphane Dalmas, Yves Papegay	Mathematica as an OpenMath application.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Andreas Strotmann, Ladislav J. Kohout	OpenMath: compositionality achieved at last.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	James H. Davenport	On writing OpenMath content dictionaries.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Luis Alvarez Sobreviela	A reduce-based OpenMath ↔ MathML translator.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	James H. Davenport	A small OpenMath type system.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Arrigo Triulzi	OpenMath support under CSL-hosted REDUCE.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Michael Kohlhase	OMDoc: an infrastructure for OpenMath content dictionary information.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Mike Dewar	OpenMath: an overview.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
27	Olga Caprotti, Arjeh M. Cohen	Integrating computational and deduction systems using OpenMath.	Calculemus	1999	DBLP DOI BibTeX RDF
27	Olga Caprotti, David Carlisle	OpenMath and MathML: semantic markup for mathematics.	XRDS	1999	DBLP DOI BibTeX RDF
27	Olga Caprotti, Arjeh M. Cohen	Connecting Proof Checkers and Computer Algebra Using OpenMath.	TPHOLs	1999	DBLP DOI BibTeX RDF
27	Stephen P. Braham	NAOMI one: North American OpenMath Initiative goes online.	SIGSAM Bull.	1998	DBLP DOI BibTeX RDF
27	Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt	An OpenMath 1.0 Implementation.	ISSAC	1997	DBLP DOI BibTeX RDF
27	John Abbott, Angel Díaz, Robert S. Sutor	A report on OpenMath: a protocol for the exchange of mathematical information.	SIGSAM Bull.	1996	DBLP DOI BibTeX RDF
19	Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov 0001	Pattern Based Composition of Web Services for Symbolic Computations.	ICCS (1)	2008	DBLP DOI BibTeX RDF	dynamically generated workflows, service-oriented architecture, symbolic computing, workflow patterns
19	Sebastian Freundt, Peter Horn, Alexander Konovalov 0001, Steve Linton, Dan Roozemond	Symbolic Computation Software Composability.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
19	Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder	SymGrid: A Framework for Symbolic Computation on the Grid.	Euro-Par	2007	DBLP DOI BibTeX RDF
19	Kevin Hammond	SymGrid: A Framework for Symbolic Computations on the Grid.	SYNASC	2007	DBLP DOI BibTeX RDF
19	Simone A. Ludwig, Omer F. Rana, Julian A. Padget, William Naylor	Matchmaking Framework for Mathematical Web Services.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	match plug-ins, match score, mathematical web services, matchmaking
19	Michael Kohlhase, Ioan Sucan	A Search Engine for Mathematical Formulae.	AISC	2006	DBLP DOI BibTeX RDF
19	Simone A. Ludwig, William Naylor, Omer F. Rana, Julian A. Padget	Matchmaking of Mathematical Web Services.	PPAM	2005	DBLP DOI BibTeX RDF
19	Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget	Mathematical matchmaker for numeric and symbolic services.	AAMAS	2005	DBLP DOI BibTeX RDF
19	Simone A. Ludwig, Omer F. Rana, William Naylor, Julian A. Padget	Agent-based matchmaking of mathematical web services.	AAMAS	2005	DBLP DOI BibTeX RDF
19	Arthur I. Karshmer, Gopal Gupta 0001, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo	UMA: a system for universal mathematics accessibility.	ASSETS	2004	DBLP DOI BibTeX RDF	math accessibility, visually impaired
19	Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget	Mathematics on the (Semantic) NET.	ESWS	2004	DBLP DOI BibTeX RDF
19	Dirk Draheim, Winfried Neun, Dima Suliman	Classifying Differential Equations on the Web.	MKM	2004	DBLP DOI BibTeX RDF
19	Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer	An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.	MKM	2003	DBLP DOI BibTeX RDF
19	Olga Caprotti, Martijn Oostdijk	On Communicating Proofs in Interactive Mathematical Documents.	AISC	2000	DBLP DOI BibTeX RDF
19	Michael Kohlhase	OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.	AISC	2000	DBLP DOI BibTeX RDF