cvb.acronym: CICM-WS 2021
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3377.zip
cvb.ceurpubdate: '2023-04-19'
cvb.city: "Timi\u0219oara"
cvb.cityWikidataId: Q83404
cvb.colocated: CICM 2021
cvb.country: Romania
cvb.countryWikidataId: Q218
cvb.dateFrom: '2021-07-26'
cvb.dateTo: '2021-07-31'
cvb.desc: '?'
cvb.editors: "Jasmin Blanchette, James Davenport, Peter Koepke, Michael Kohlhase,\
  \ Andrea Kohlhase, Adam Naumowicz, Dennis M\xFCller, Yasmine Sharoda, Claudio Sacerdoti\
  \ Coen"
cvb.fromLine: 5202
cvb.h1: CICM-WS 2021 Workshop Papers at 14th Conference on Intelligent Computer Mathematics
  (CICM 2021)
cvb.h3: Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics
  (CICM 2021)
cvb.homepage: https://cicm-conference.org/2021/cicm.php
cvb.loc_city: Timisoara
cvb.loc_country: Romania
cvb.loc_days: '31'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: '-'
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Virtual Event, Timisoara, Romania, July 26 - 31, 2021
cvb.number: 3377
cvb.pubDate: '2023-04-19T00:00:00'
cvb.published: '2023-04-19'
cvb.seealso: "Vol-2634\u21F9Vol-2307\u21F9Vol-1785\u21F9Vol-1186\u21F9Vol-1010\u21F9\
  Vol-921"
cvb.submittedBy: Michael Kohlhase
cvb.tdtitle: Joint Proceedings of the FMM, FVPS, MathUI, NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021 (CICM-WS 2021),Virtual Event, Timisoara, Romania, July 26 - 31,
  2021.
cvb.title: Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021
cvb.toLine: 5225
cvb.url: http://ceur-ws.org/Vol-3377/
cvb.urn: urn:nbn:de:0074-3377-5
cvb.urn_check_digit: 5
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: 1
cvb.vol_number: null
cvb.volname: Workshop Papers of the 14th Conference on Intelligent Computer Mathematics
  (CICM 2021)
cvb.voltitle: Workshop Papers at 14th Conference on Intelligent Computer Mathematics
  (CICM 2021)
cvb.volume_number: Vol-3377
cvb.year: '2022'
spt.acronym: CICM-WS 2021
spt.date: '2023-04-19'
spt.dblp: conf/mkm/2021w
spt.description: Proceedings of CICM-WS 2021 workshop
spt.html_url: /Vol-3377.html
spt.k10plus: '1850499799'
spt.number: 3377
spt.title: Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021
spt.url: http://ceur-ws.org/Vol-3377/
spt.urn: urn:nbn:de:0074-3377-5
spt.wikidataid: Q117802217
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3377-5
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/mkm/2021w
wd.described_at_URL: http://ceur-ws.org/Vol-3377/
wd.event: http://www.wikidata.org/entity/Q117802218
wd.eventLabel: FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program,
  and Work in Progress at the Conference on Intelligent Computer Mathematics 2021
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3377/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q117802217
wd.itemDescription: Proceedings of CICM-WS 2021 workshop
wd.itemLabel: Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1850499799'
wd.publication_date: '2023-04-19T00:00:00'
wd.sVolume: 3377
wd.short_name: CICM-WS 2021
wd.title: Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
  Doctoral Program, and Work in Progress at the Conference on Intelligent Computer
  Mathematics 2021
