Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Intelligent Computer Mathematics / Mathematical Knowledge Management

https://id.confref.org/data/confref-portal/event/mkm2018

This record is part of the confref event Intelligent Computer Mathematics / Mathematical Knowledge Management.

rdf:typeportal:Conference
schema:locationHagenberg im Mühlkreis (wd:Q242020)
rdfs:labelIntelligent Computer Mathematics / Mathematical Knowledge Management
portal:acronymMKM
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityHagenberg
portal:countryAustria
portal:endDate2018-08-17
portal:keywordAPI
portal:keywordAnnotated lecture notes
portal:keywordAutomated theorem proving
portal:keywordChebyshev polynomials
portal:keywordCollaborative chat
portal:keywordCollaborative computational mathematics
portal:keywordComputer algebra
portal:keywordFalsification
portal:keywordFormal specification
portal:keywordFormalized mathematics
portal:keywordGeoGebra
portal:keywordIsabelle/DOF
portal:keywordJava
portal:keywordMathML
portal:keywordMathematical meta language
portal:keywordMathematical social machines
portal:keywordModel checking
portal:keywordOntological modeling
portal:keywordOntology
portal:keywordRegular 11-gon
portal:nameIntelligent Computer Mathematics / Mathematical Knowledge Management
portal:portalPagehttp://portal.confref.org/list/mkm2018
portal:serieshttps://id.confref.org/data/confref-portal/series/mkm
portal:startDate2018-08-13
portal:submissionExtendedfalse
portal:year2018
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.