Record Beta

Intelligent Computer Mathematics / Mathematical Knowledge Management

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

rdf:type	portal:Conference
schema:location	Prague (wd:Q1085)
rdfs:label	Intelligent Computer Mathematics / Mathematical Knowledge Management
portal:acronym	MKM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Prague
portal:country	Czech Republic
portal:endDate	2019-07-12
portal:keyword	Automated reasoning in geometry
portal:keyword	Computer algebra
portal:keyword	Cylindrical Algebraic Decomposition
portal:keyword	Formalized mathematics
portal:keyword	GeoGebra
portal:keyword	Heterogeneous reasoning
portal:keyword	Hilbert’s tenth problem
portal:keyword	Interactive theorem proving
portal:keyword	Isabelle
portal:keyword	Locus equation
portal:keyword	Machine learning
portal:keyword	Non-degeneracy conditions
portal:keyword	Non-linear real arithmetic
portal:keyword	Representation in reasoning
portal:keyword	Representation selection
portal:keyword	Representational system
portal:keyword	Set Theory
portal:keyword	Symbolic computation
portal:keyword	mizar
portal:keyword	proof checking
portal:name	Intelligent Computer Mathematics / Mathematical Knowledge Management
portal:portalPage	http://portal.confref.org/list/mkm2019
portal:series	https://id.confref.org/data/confref-portal/series/mkm
portal:startDate	2019-07-08
portal:submissionExtended	false
portal:year	2019
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

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