guest ::
000833961 001__ 833961 000833961 005__ 20251001115139.0 000833961 0247_ $$2ISSN$$a1613-0073 000833961 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85097264006 000833961 0247_ $$2datacite_doi$$a10.18154/RWTH-2021-09565 000833961 037__ $$aRWTH-2021-09565 000833961 041__ $$aEnglish 000833961 1001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b0$$eCorresponding author$$urwth 000833961 1112_ $$a7. Workshop on Practical Aspects of Automated Reasoning$$conline$$d2020-06-01 - 2020-07-31$$gPAAR 000833961 245__ $$aNew Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)$$honline 000833961 260__ $$aAachen, Germany$$bRWTH Aachen$$c2020 000833961 29510 $$aPAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) / edited by Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret 000833961 300__ $$a178-188 000833961 3367_ $$033$$2EndNote$$aConference Paper 000833961 3367_ $$0PUB:(DE-HGF)1$$2PUB:(DE-HGF)$$aAbstract$$babstract$$mabstract$$xExtended abstract 000833961 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 000833961 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings 000833961 3367_ $$2BibTeX$$aINPROCEEDINGS 000833961 3367_ $$2DRIVER$$aconferenceObject 000833961 3367_ $$2DataCite$$aOutput Types/Conference Abstract 000833961 3367_ $$2ORCID$$aOTHER 000833961 4900_ $$aCEUR workshop proceedings$$v2752 000833961 588__ $$aDataset connected to DataCite 000833961 591__ $$aGermany 000833961 591__ $$aUK 000833961 7001_ $$aDavenport, James$$b1 000833961 7001_ $$aEngland, Matthew$$b2 000833961 7001_ $$0P:(DE-82)IDM01391$$aKremer, Gereon$$b3$$urwth 000833961 7001_ $$aTonks, Zak$$b4 000833961 7112_ $$a10. International Joint Conference on Automated Reasoning$$conline$$d2020-06-01 - 2020-07-31$$gIJCAR 2020 000833961 7112_ $$a5. Satisfiability Checking and Symbolic Computation Workshop$$conline$$d2020-06-01 - 2020-07-31$$g(SC-Square) Workshop 000833961 7870_ $$0RWTH-2021-09684$$iIsParent 000833961 8564_ $$uhttp://ceur-ws.org/Vol-2752/paper13.pdf$$yFulltext 000833961 8564_ $$uhttps://ceur-ws.org/Vol-2752/$$yHomepage of book 000833961 8564_ $$uhttps://publications.rwth-aachen.de/record/833961/files/833961.pdf$$yOpenAccess 000833961 909CO $$ooai:publications.rwth-aachen.de:833961$$popenaire$$popen_access$$pdriver$$pdnbdelivery$$pVDB 000833961 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00047$$aRWTH Aachen$$b0$$kRWTH 000833961 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01391$$aRWTH Aachen$$b3$$kRWTH 000833961 9141_ $$y2020 000833961 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0 000833961 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess 000833961 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x0 000833961 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000833961 961__ $$c2021-10-14T10:07:26.412398$$x2021-10-14T10:07:26.412398$$z2021-10-14 000833961 9801_ $$aFullTexts 000833961 980__ $$aI:(DE-82)120000_20140620 000833961 980__ $$aI:(DE-82)123420_20140620 000833961 980__ $$aUNRESTRICTED 000833961 980__ $$aVDB 000833961 980__ $$aabstract 000833961 980__ $$acontb 000833961 980__ $$acontrib