Livrables
D6.4 Action Check Meeting 1 (mid term). To include draft agenda and presentations.
Report on Prototype BD2.1 (responsible: UGE, delivery date: M12): Report on the progress on the prototype integration of CoCoALib with MathSAT.
School SyllabusD5.2 (responsible: MPII, delivery date: M10): Syllabus for the school described in T5.3.
Mid-Term ReportD6.3 (responsible: UBAH, delivery date: M12): Mid-term report, including updated dissemination and exploitation plan.
Final ReportD6.6 (responsible: UBAH, delivery date: M26): Final report, including updated dissemination and exploitation plan.
Prototype A ReportD1.2 (responsible: RWTH, delivery date: M24): A prototype integrating SMT-RAT with Symbolic Computation tools.
Industry ReportD4.4 (responsible: UL, delivery date: M26): A report with recommendations corresponding to T4.4.
Action Check Meeting 2D6.7 Action Check Meeting (Final). Deliverable in month after relevant reporting period (RP2) M27.
Workshop ProceedingsD5.1 (responsible: UBAH, delivery date: M26): Proceedings for the workshops in T5.2.
Report on Prototype CD3.1 (responsible: MPII, delivery date: M12): A report on the progress on the prototype integration of Redlog with veriT.
Dissemination & exploitation updatedD6.8 Dissemination & exploitation plan updated.
Dissemination & exploitation planD6.5 Dissemination and exploitation plan deliverable at end of RP1.
Route to SMT-LIB ProposalRoute to SMT-LIB Proposal.
ProceedingsD5.3 (responsible: UBAH, delivery date: M26): Formal proceedings (possibly Springer Lecture Notes in Computer Science, possibly Electronic Notes in Theoretical Computer Science, possibly Leibniz Proceedings)(z) including the scientific results of the whole project. (z) Any decision will have to take into account the mandate for Open Access, but at this stage it is unwise to guess the state of the Open Access process in three years time.
Report on Prototype DD2.3 (responsible: UBAH, delivery date: M12): Report on the progress on making Maple’s cylindrical algebraic decomposition “SMT-compliant”.
Report on Prototype AD1.1 (responsible: RWTH, delivery date: M12): A report on the progress on the prototype integration of SMT-RAT with Symbolic Computation tools.
SMT-LIB ProposalD4.2 (responsible: UL, delivery date: M14): Proposal for a standard input language, corresponding to T4.1.
D6.1 (responsible: UBAH, delivery date: M2): Project website and logo.
D2.4 (responsible: UBAH, delivery date: M24): Final report, with demonstrations, on making Maple’s cylindrical algebraic decomposition “SMT-compliant”. This prototype relies on Maple’s (and others’) background IPR, so will not be generally available.
BenchmarksD4.3 (responsible: UOXF, delivery date: M26): A benchmark collection corresponding to T4.2.
Prototype BD2.2 (responsible: UGE, delivery date: M24): A prototype integration of CoCoALib with MathSAT.
Prototype CD3.2 (responsible: MPII, delivery date: M24): The prototype integrating Redlog with veriT.
D6.2 SC-SQUARE ORDP: Open Research Data Pilot.
Publications
Auteurs:
Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Publié dans:
Intelligent Computer Mathematics, 2016, Page(s) 28-43, ISBN 978-3-319-42547-4
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_3
Auteurs:
Matthew England, James H. Davenport
Publié dans:
V.P. Gerdt, W. Koepf, W.M. Seiler and E.V. Vorozhtsov, eds. Computer Algebra in Scientific Computing, pp. 172-192. (Lecture Notes in Computer Science, 9890)., 2016, Page(s) 172-192
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_12
Auteurs:
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Publié dans:
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC '17)., 2017, Page(s) 93-108
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-66320-3_8
Auteurs:
Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
Publié dans:
Tools and Algorithms for the Construction and Analysis of Systems, 2018, Page(s) 112-131
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_7
Auteurs:
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Publié dans:
International Symposium on Frontiers of Combining Systems, 2017, Page(s) 189-206
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-66167-4_11
Auteurs:
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
Publié dans:
International Conference on Automated Deduction (CADE), 2017, Page(s) 398-412
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_25
Auteurs:
Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
Publié dans:
Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2017, Page(s) 214-230
Éditeur:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54580-5_13
Auteurs:
Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick
Publié dans:
Proceedings of the 2017 OpenMath Workshop, 2017
Éditeur:
Local Proceedings
Auteurs:
England, M.
Publié dans:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018. (Lecture Notes in Computer Science 10931)., 2018, Page(s) 165-174
Éditeur:
Springer
DOI:
10.1007/978-3-319-96418-8_20
Auteurs:
C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks
Publié dans:
In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), pp. 48-60. CEUR Workshop Proceedings 2189, 2018., Numéro 2189, 2018, Page(s) 48-60
Éditeur:
CEUR
Auteurs:
James H. Davenport, Matthew England
Publié dans:
n: Blomer J., Kotsireas I., Kutsia T., Simos D. (eds) Mathematical Aspects of Computer and Information Sciences (Proc. MACIS '17), pp. 280-285. (Lecture Notes in Computer Science 10693). Springer International, 2017., Numéro 10693, 2018, Page(s) 280-285
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-72453-9_22
Auteurs:
Casey B. Mulligan, James H. Davenport, Matthew England
Publié dans:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018, pp. 369-378. (Lecture Notes in Computer Science 10931). Springer, 2018., Numéro 10931, 2018, Page(s) 369-378
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_44
Auteurs:
Cowen-Rivers, Alexander Imani; England, Matthew
Publié dans:
In: A. Bigatti and M. Brain eds. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), pp. 3-18. CEUR Workshop Proceedings 2189, Numéro 1, 2018, Page(s) 3-18
Éditeur:
CEUR
Auteurs:
John Abbott, Anna Maria Bigatti
Publié dans:
In: M. England, V. Ganesh eds.: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Numéro 1974, 2017
Éditeur:
CEUR
Auteurs:
John Abbott, Anna Maria Bigatti, Elisa Palezzato
Publié dans:
In: A. Bigatti and M. Brain eds.: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), Numéro 2189, 2018, Page(s) 88-94
Éditeur:
CEUR
Auteurs:
Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Publié dans:
In: E.Ábrahám, J. H. Davenport, P. Fontaine eds.: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016), Numéro 1804, 2016, Page(s) 1--3
Éditeur:
CEUR
Auteurs:
Erika Abraham
Publié dans:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Page(s) 3-10, ISBN 978-1-5090-5707-8
Éditeur:
IEEE
DOI:
10.1109/SYNASC.2016.014
Auteurs:
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Publié dans:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Éditeur:
sc-square.org
Auteurs:
Gereon Kremer, Florian Corzilius, Erika Ábrahám
Publié dans:
Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19-23, 2016, 2016, Page(s) 315-335, ISBN 978-3-319-45640-9
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_21
Auteurs:
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Publié dans:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Éditeur:
sc-square.org
Auteurs:
Erika Ábrahám, Gereon Kremer
Publié dans:
Proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, Vienna, Austria, July 4-8, 2016, 2016, Page(s) 9-23, ISBN 978-3-319-41590-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_2
Auteurs:
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
Publié dans:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Page(s) 45-52, ISBN 978-1-5090-5707-8
Éditeur:
IEEE
DOI:
10.1109/SYNASC.2016.020
Auteurs:
Russell Bradford, Thomas Sturm, Andreas Weber, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu
Publié dans:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Page(s) 45-52, ISBN 9781-450350648
Éditeur:
ACM Press
DOI:
10.1145/3087604.3087622
Auteurs:
M. England and J.H. Davenport
Publié dans:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation, Numéro CEUR Workshop Proceedings 1804, 2016
Éditeur:
CEUR Workshop Proceedings
Auteurs:
James H. Davenport, Matthew England
Publié dans:
In: G.M. Greuel, T. Koch, P. Paule and A. Sommese, eds. Mathematical Software - ICMS 2016, pp.167-164, (Lecture Notes in Computer Science, 9725)., 2016, Page(s) 157-164
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-319-42432-3_20
Auteurs:
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.
Publié dans:
To appear in: Mathematics in Computer Science, 2018, ISSN 1661-8270
Éditeur:
Birkhauser Verlag
Auteurs:
E. Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England
Publié dans:
ACM Communications in Computer Algebra, Numéro 50/4, 2017, Page(s) 145-147, ISSN 1932-2240
Éditeur:
ACM
DOI:
10.1145/3055282.3055285
Auteurs:
Anna M. Bigatti, Martin Brain
Publié dans:
Numéro 2189, 2018
Éditeur:
CEUR
Auteurs:
Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.)
Publié dans:
2016
Éditeur:
CEUR-WS
Auteurs:
J.Abbott, A.M.Bigatti
Publié dans:
Der Computeralgebra-Rundbrief, Numéro 61, 2017, Page(s) 13-17, ISSN 0933-5994
Éditeur:
Computer Algebra Division of Gesellschaft fur Informatik e.V.
Auteurs:
John Abbott and Anna Maria Bigatti
Publié dans:
2018
Éditeur:
http://cocoa.dima.unige.it
Auteurs:
J. Abbott, A.M. Bigatti
Publié dans:
2018
Éditeur:
http://cocoa.dima.unige.it
Auteurs:
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Publié dans:
arXiv.org, 2017
Éditeur:
arXiv.org
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible