CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
D6.4 Action Check Meeting 1 (mid term). To include draft agenda and presentations.
Report on Prototype B (odnośnik otworzy się w nowym oknie)D2.1 (responsible: UGE, delivery date: M12): Report on the progress on the prototype integration of CoCoALib with MathSAT.
School Syllabus (odnośnik otworzy się w nowym oknie)D5.2 (responsible: MPII, delivery date: M10): Syllabus for the school described in T5.3.
Mid-Term Report (odnośnik otworzy się w nowym oknie)D6.3 (responsible: UBAH, delivery date: M12): Mid-term report, including updated dissemination and exploitation plan.
Final Report (odnośnik otworzy się w nowym oknie)D6.6 (responsible: UBAH, delivery date: M26): Final report, including updated dissemination and exploitation plan.
Prototype A Report (odnośnik otworzy się w nowym oknie)D1.2 (responsible: RWTH, delivery date: M24): A prototype integrating SMT-RAT with Symbolic Computation tools.
Industry Report (odnośnik otworzy się w nowym oknie)D4.4 (responsible: UL, delivery date: M26): A report with recommendations corresponding to T4.4.
Action Check Meeting 2 (odnośnik otworzy się w nowym oknie)D6.7 Action Check Meeting (Final). Deliverable in month after relevant reporting period (RP2) M27.
Workshop Proceedings (odnośnik otworzy się w nowym oknie)D5.1 (responsible: UBAH, delivery date: M26): Proceedings for the workshops in T5.2.
Report on Prototype C (odnośnik otworzy się w nowym oknie)D3.1 (responsible: MPII, delivery date: M12): A report on the progress on the prototype integration of Redlog with veriT.
Dissemination & exploitation updated (odnośnik otworzy się w nowym oknie)D6.8 Dissemination & exploitation plan updated.
Dissemination & exploitation plan (odnośnik otworzy się w nowym oknie)D6.5 Dissemination and exploitation plan deliverable at end of RP1.
Route to SMT-LIB Proposal (odnośnik otworzy się w nowym oknie)Route to SMT-LIB Proposal.
Proceedings (odnośnik otworzy się w nowym oknie)D5.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 D (odnośnik otworzy się w nowym oknie)D2.3 (responsible: UBAH, delivery date: M12): Report on the progress on making Maple’s cylindrical algebraic decomposition “SMT-compliant”.
Report on Prototype A (odnośnik otworzy się w nowym oknie)D1.1 (responsible: RWTH, delivery date: M12): A report on the progress on the prototype integration of SMT-RAT with Symbolic Computation tools.
SMT-LIB Proposal (odnośnik otworzy się w nowym oknie)D4.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.
Benchmarks (odnośnik otworzy się w nowym oknie)D4.3 (responsible: UOXF, delivery date: M26): A benchmark collection corresponding to T4.2.
Prototype B (odnośnik otworzy się w nowym oknie)D2.2 (responsible: UGE, delivery date: M24): A prototype integration of CoCoALib with MathSAT.
Prototype C (odnośnik otworzy się w nowym oknie)D3.2 (responsible: MPII, delivery date: M24): The prototype integrating Redlog with veriT.
D6.2 SC-SQUARE ORDP: Open Research Data Pilot.
Publikacje
Autorzy:
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
Opublikowane w:
Intelligent Computer Mathematics, 2016, Strona(/y) 28-43, ISBN 978-3-319-42547-4
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_3
Autorzy:
Matthew England, James H. Davenport
Opublikowane w:
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, Strona(/y) 172-192
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_12
Autorzy:
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Opublikowane w:
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC '17)., 2017, Strona(/y) 93-108
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-66320-3_8
Autorzy:
Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems, 2018, Strona(/y) 112-131
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_7
Autorzy:
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Opublikowane w:
International Symposium on Frontiers of Combining Systems, 2017, Strona(/y) 189-206
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-66167-4_11
Autorzy:
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
Opublikowane w:
International Conference on Automated Deduction (CADE), 2017, Strona(/y) 398-412
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_25
Autorzy:
Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
Opublikowane w:
Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2017, Strona(/y) 214-230
Wydawca:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54580-5_13
Autorzy:
Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick
Opublikowane w:
Proceedings of the 2017 OpenMath Workshop, 2017
Wydawca:
Local Proceedings
Autorzy:
England, M.
Opublikowane w:
In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018. (Lecture Notes in Computer Science 10931)., 2018, Strona(/y) 165-174
Wydawca:
Springer
DOI:
10.1007/978-3-319-96418-8_20
Autorzy:
C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks
Opublikowane w:
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., Numer 2189, 2018, Strona(/y) 48-60
Wydawca:
CEUR
Autorzy:
James H. Davenport, Matthew England
Opublikowane w:
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., Numer 10693, 2018, Strona(/y) 280-285
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-72453-9_22
Autorzy:
Casey B. Mulligan, James H. Davenport, Matthew England
Opublikowane w:
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., Numer 10931, 2018, Strona(/y) 369-378
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_44
Autorzy:
Cowen-Rivers, Alexander Imani; England, Matthew
Opublikowane w:
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, Numer 1, 2018, Strona(/y) 3-18
Wydawca:
CEUR
Autorzy:
John Abbott, Anna Maria Bigatti
Opublikowane w:
In: M. England, V. Ganesh eds.: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Numer 1974, 2017
Wydawca:
CEUR
Autorzy:
John Abbott, Anna Maria Bigatti, Elisa Palezzato
Opublikowane w:
In: A. Bigatti and M. Brain eds.: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 '18), Numer 2189, 2018, Strona(/y) 88-94
Wydawca:
CEUR
Autorzy:
Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Opublikowane w:
In: E.Ábrahám, J. H. Davenport, P. Fontaine eds.: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016), Numer 1804, 2016, Strona(/y) 1--3
Wydawca:
CEUR
Autorzy:
Erika Abraham
Opublikowane w:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Strona(/y) 3-10, ISBN 978-1-5090-5707-8
Wydawca:
IEEE
DOI:
10.1109/SYNASC.2016.014
Autorzy:
Tarik Viehmann, Gereon Kremer, Erika Ábrahám
Opublikowane w:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Wydawca:
sc-square.org
Autorzy:
Gereon Kremer, Florian Corzilius, Erika Ábrahám
Opublikowane w:
Proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, Bucharest, Romania, September 19-23, 2016, 2016, Strona(/y) 315-335, ISBN 978-3-319-45640-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-45641-6_21
Autorzy:
Erika Ábrahám, Jasper Nalbach, Gereon Kremer
Opublikowane w:
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, 2017
Wydawca:
sc-square.org
Autorzy:
Erika Ábrahám, Gereon Kremer
Opublikowane w:
Proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, Vienna, Austria, July 4-8, 2016, 2016, Strona(/y) 9-23, ISBN 978-3-319-41590-1
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_2
Autorzy:
Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson
Opublikowane w:
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, Strona(/y) 45-52, ISBN 978-1-5090-5707-8
Wydawca:
IEEE
DOI:
10.1109/SYNASC.2016.020
Autorzy:
Russell Bradford, Thomas Sturm, Andreas Weber, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu
Opublikowane w:
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17, 2017, Strona(/y) 45-52, ISBN 9781450350648
Wydawca:
ACM Press
DOI:
10.1145/3087604.3087622
Autorzy:
M. England and J.H. Davenport
Opublikowane w:
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation, Numer CEUR Workshop Proceedings 1804, 2016
Wydawca:
CEUR Workshop Proceedings
Autorzy:
James H. Davenport, Matthew England
Opublikowane w:
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, Strona(/y) 157-164
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-42432-3_20
Autorzy:
Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C.
Opublikowane w:
To appear in: Mathematics in Computer Science, 2018, ISSN 1661-8270
Wydawca:
Birkhauser Verlag
Autorzy:
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
Opublikowane w:
ACM Communications in Computer Algebra, Numer 50/4, 2017, Strona(/y) 145-147, ISSN 1932-2240
Wydawca:
ACM
DOI:
10.1145/3055282.3055285
Autorzy:
Anna M. Bigatti, Martin Brain
Opublikowane w:
Numer 2189, 2018
Wydawca:
CEUR
Autorzy:
Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.)
Opublikowane w:
2016
Wydawca:
CEUR-WS
Autorzy:
J.Abbott, A.M.Bigatti
Opublikowane w:
Der Computeralgebra-Rundbrief, Numer 61, 2017, Strona(/y) 13-17, ISSN 0933-5994
Wydawca:
Computer Algebra Division of Gesellschaft fur Informatik e.V.
Autorzy:
John Abbott and Anna Maria Bigatti
Opublikowane w:
2018
Wydawca:
http://cocoa.dima.unige.it
Autorzy:
J. Abbott, A.M. Bigatti
Opublikowane w:
2018
Wydawca:
http://cocoa.dima.unige.it
Autorzy:
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Opublikowane w:
arXiv.org, 2017
Wydawca:
arXiv.org
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników