Leistungen
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.
Veröffentlichungen
Autoren:
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
Veröffentlicht in:
Intelligent Computer Mathematics, 2016, Seite(n) 28-43, ISBN 978-3-319-42547-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_3
Autoren:
Matthew England, James H. Davenport
Veröffentlicht in:
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, Seite(n) 172-192
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_12
Autoren:
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Veröffentlicht in:
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC '17)., 2017, Seite(n) 93-108
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66320-3_8
Autoren:
Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems, 2018, Seite(n) 112-131
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_7
Autoren:
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Veröffentlicht in:
International Symposium on Frontiers of Combining Systems, 2017, Seite(n) 189-206
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66167-4_11
Autoren:
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
Veröffentlicht in:
International Conference on Automated Deduction (CADE), 2017, Seite(n) 398-412
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_25
Autoren:
Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
Veröffentlicht in:
Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2017, Seite(n) 214-230
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54580-5_13
Autoren:
Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick
Veröffentlicht in:
Proceedings of the 2017 OpenMath Workshop, 2017
Herausgeber:
Local Proceedings
Autoren:
England, M.
Veröffentlicht in:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018. (Lecture Notes in Computer Science 10931)., 2018, Seite(n) 165-174
Herausgeber:
Springer
DOI:
10.1007/978-3-319-96418-8_20
Autoren:
C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks
Veröffentlicht in:
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., Ausgabe 2189, 2018, Seite(n) 48-60
Herausgeber:
CEUR
Autoren:
James H. Davenport, Matthew England
Veröffentlicht in:
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., Ausgabe 10693, 2018, Seite(n) 280-285
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-72453-9_22
Autoren:
Casey B. Mulligan, James H. Davenport, Matthew England
Veröffentlicht in:
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., Ausgabe 10931, 2018, Seite(n) 369-378
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_44
Autoren:
Cowen-Rivers, Alexander Imani; England, Matthew
Veröffentlicht in:
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, Ausgabe 1, 2018, Seite(n) 3-18
Herausgeber:
CEUR
Autoren:
John Abbott, Anna Maria Bigatti
Veröffentlicht in:
In: M. England, V. Ganesh eds.: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Ausgabe 1974, 2017
Herausgeber:
CEUR
Autoren:
John Abbott, Anna Maria Bigatti, Elisa Palezzato
Veröffentlicht in:
In: A. Bigatti and M. Brain eds.: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), Ausgabe 2189, 2018, Seite(n) 88-94
Herausgeber:
CEUR
Autoren:
Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Veröffentlicht in:
In: E.Ábrahám, J. H. Davenport, P. Fontaine eds.: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016), Ausgabe 1804, 2016, Seite(n) 1--3
Herausgeber:
CEUR
Autoren:
Erika Abraham
Veröffentlicht in:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Seite(n) 3-10, ISBN 978-1-5090-5707-8
Herausgeber:
IEEE
DOI:
10.1109/SYNASC.2016.014
Autoren:
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Veröffentlicht in:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Herausgeber:
sc-square.org
Autoren:
Gereon Kremer, Florian Corzilius, Erika Ábrahám
Veröffentlicht in:
Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19-23, 2016, 2016, Seite(n) 315-335, ISBN 978-3-319-45640-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_21
Autoren:
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Veröffentlicht in:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Herausgeber:
sc-square.org
Autoren:
Erika Ábrahám, Gereon Kremer
Veröffentlicht in:
Proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, Vienna, Austria, July 4-8, 2016, 2016, Seite(n) 9-23, ISBN 978-3-319-41590-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_2
Autoren:
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
Veröffentlicht in:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Seite(n) 45-52, ISBN 978-1-5090-5707-8
Herausgeber:
IEEE
DOI:
10.1109/SYNASC.2016.020
Autoren:
Russell Bradford, Thomas Sturm, Andreas Weber, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu
Veröffentlicht in:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Seite(n) 45-52, ISBN 9781-450350648
Herausgeber:
ACM Press
DOI:
10.1145/3087604.3087622
Autoren:
M. England and J.H. Davenport
Veröffentlicht in:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation, Ausgabe CEUR Workshop Proceedings 1804, 2016
Herausgeber:
CEUR Workshop Proceedings
Autoren:
James H. Davenport, Matthew England
Veröffentlicht in:
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, Seite(n) 157-164
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-42432-3_20
Autoren:
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.
Veröffentlicht in:
To appear in: Mathematics in Computer Science, 2018, ISSN 1661-8270
Herausgeber:
Birkhauser Verlag
Autoren:
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
Veröffentlicht in:
ACM Communications in Computer Algebra, Ausgabe 50/4, 2017, Seite(n) 145-147, ISSN 1932-2240
Herausgeber:
ACM
DOI:
10.1145/3055282.3055285
Autoren:
Anna M. Bigatti, Martin Brain
Veröffentlicht in:
Ausgabe 2189, 2018
Herausgeber:
CEUR
Autoren:
Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.)
Veröffentlicht in:
2016
Herausgeber:
CEUR-WS
Autoren:
J.Abbott, A.M.Bigatti
Veröffentlicht in:
Der Computeralgebra-Rundbrief, Ausgabe 61, 2017, Seite(n) 13-17, ISSN 0933-5994
Herausgeber:
Computer Algebra Division of Gesellschaft fur Informatik e.V.
Autoren:
John Abbott and Anna Maria Bigatti
Veröffentlicht in:
2018
Herausgeber:
http://cocoa.dima.unige.it
Autoren:
J. Abbott, A.M. Bigatti
Veröffentlicht in:
2018
Herausgeber:
http://cocoa.dima.unige.it
Autoren:
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Veröffentlicht in:
arXiv.org, 2017
Herausgeber:
arXiv.org
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor