#	Pagina
attuale pagina	/open-h2020/projects/203540/index.html

Opendata, web and dolomites

SC-square

SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

SC-square project word cloud

Explore the words cloud of the SC-square project. It provides you a very rough idea of what is the project "SC-square" about.

exact scientific tackle urgently achievements though platforms events satisfiability interests unaware direct form effect combining decades share algebra complexity largely security tools software interfaces unifiying csa strengths cross algorithmic safety area communities initiate computers rarely computation backend roadmaps bridges despite society global standards history technologies checking central mathematical size technological concerned collaborate mutual improvements visits separate disjoint dealing last lack made industrially interact progress practical believe assuring discuss computer pencil solvers symbolic examine remarkable prevailing solutions fertilisation radically bilateral smt interaction paper whereas exchange

Project "SC-square" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITY OF BATH Organization address address: CLAVERTON DOWN city: BATH postcode: BA2 7AY website: http://www.bath.ac.uk/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	United Kingdom [UK]
Project website	http://www.sc-square.org/CSA/welcome.html
Total cost	499˙603 €
EC max contribution	499˙603 € (100%)
Programme	1. H2020-EU.1.2.1. (FET Open)
Code Call	H2020-FETOPEN-2015-CSA
Funding Scheme	CSA
Starting year	2016
Duration (year-month-day)	from 2016-07-01 to 2018-08-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITY OF BATH UNIVERSITY OF BATH Organization address address: CLAVERTON DOWN city: BATH postcode: BA2 7AY website: http://www.bath.ac.uk/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (BATH)	coordinator	114˙456.00
2	RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN Organization address address: TEMPLERGRABEN 55 city: AACHEN postcode: 52062 website: www.rwth-aachen.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (AACHEN)	participant	55˙000.00
3	FONDAZIONE BRUNO KESSLER FONDAZIONE BRUNO KESSLER Organization address address: VIA SANTA CROCE 77 city: TRENTO postcode: 38122 website: www.fbk.eu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TRENTO)	participant	45˙000.00
4	UNIVERSITA DEGLI STUDI DI GENOVA UNIVERSITA DEGLI STUDI DI GENOVA Organization address address: VIA BALBI 5 city: GENOVA postcode: 16126 website: www.unige.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (GENOVA)	participant	45˙000.00
5	COVENTRY UNIVERSITY COVENTRY UNIVERSITY Organization address address: PRIORY STREET city: COVENTRY postcode: CV1 5FB website: www.coventry.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (COVENTRY)	participant	43˙272.00
6	THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD Organization address address: WELLINGTON SQUARE UNIVERSITY OFFICES city: OXFORD postcode: OX1 2JD website: www.ox.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (OXFORD)	participant	36˙250.00
7	UNIVERSITAET KASSEL UNIVERSITAET KASSEL Organization address address: MONCHEBERGSTRASSE 19 city: KASSEL postcode: 34125 website: www.uni-kassel.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (KASSEL)	participant	36˙250.00
8	UNIVERSITAT LINZ UNIVERSITAT LINZ Organization address address: ALTENBERGER STRASSE 69 city: LINZ postcode: 4040 website: www.jku.at contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AT (LINZ)	participant	36˙250.00
9	UNIVERSITE DE LORRAINE UNIVERSITE DE LORRAINE Organization address address: COURS LEOPOLD 34 city: NANCY CEDEX postcode: 54052 website: www.univ-lorraine.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (NANCY CEDEX)	participant	36˙250.00
10	MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV Organization address address: HOFGARTENSTRASSE 8 city: MUENCHEN postcode: 80539 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (MUENCHEN)	participant	28˙125.00
11	MAPLESOFT EUROPE LIMITED MAPLESOFT EUROPE LIMITED Organization address address: BROERS BUILDING JJ THOMSON AVENUE 21 city: CAMBRIDGE postcode: CB3 OGT website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (CAMBRIDGE)	participant	23˙750.00

Map

Project objective

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions.

Though both communities have made remarkable progress in the last decades, they still need to be strengthened to tackle practical problems of rapidly increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to examine prevailing problems with a direct effect to our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation enables dealing with large mathematical problems out of reach of pencil and paper developments.

Currently the two communities are largely disjoint and unaware of the achievements of each other, despite strong reasons for them to discuss and collaborate, as they share many central interests. However, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifiying their strengths. Bridges between the communities in the form of common platforms and roadmaps are necessary to initiate an exchange, and to support and to direct their interaction. These are the main objectives of this CSA. We will initiate a wide range of activities to bring the two communities together, identify common challenges, offer global events and bilateral visits, propose standards, and so on.

We believe that these activities will initiate cross-fertilisation of both fields and bring mutual improvements. Combining the knowledge, experience and the technologies in these communities will enable the development of radically improved software tools

Deliverables

List of deliverables.
Action Check Meeting 2	Documents, reports	2019-10-29 14:53:12
Proceedings	Documents, reports	2019-10-09 10:17:01
Prototype A Report	Documents, reports	2019-10-09 10:16:53
Workshop Proceedings	Documents, reports	2019-10-09 10:16:49
Prototype B	Other	2019-10-09 10:17:07
Prototype C	Other	2019-10-09 10:17:05
Prototype D	Other	2019-10-09 10:16:56
Dissemination & exploitation updated	Documents, reports	2019-10-09 10:16:50
SMT-LIB Proposal	Documents, reports	2019-10-09 10:15:55
Benchmarks	Other	2019-10-09 10:15:55
Industry Report	Documents, reports	2019-10-09 10:15:55
Final Report	Documents, reports	2019-10-09 10:15:55
Report on Prototype D	Documents, reports	2019-05-31 11:57:59
Dissemination & exploitation plan	Documents, reports	2019-05-31 11:58:00
Report on Prototype A	Documents, reports	2019-05-31 11:58:08
Report on Prototype B	Documents, reports	2019-05-31 11:58:04
Route to SMT-LIB Proposal	Documents, reports	2019-05-31 11:57:57
Website and logo	Websites, patent fillings, videos etc.	2019-05-31 11:57:58
Action Check Meeting 1	Documents, reports	2019-05-31 11:58:09
School Syllabus	Documents, reports	2019-05-31 11:57:56
Data Management Plan	Open Research Data Pilot	2019-05-31 11:57:57
Report on Prototype C	Documents, reports	2019-05-31 11:58:02
Mid-Term Report	Documents, reports	2019-05-31 11:57:58

Take a look to the deliverables list in detail: detailed list of SC-square deliverables.

Publications

List of publications.
year	authors and title	journal	last update
2017	Tarik Viehmann, Gereon Kremer, Erika ÃbrahÃ¡m Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving published pages: , ISSN: , DOI:	Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation	2019-06-13
2017	Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks published pages: 93-108, ISSN: , DOI: 10.1007/978-3-319-66320-3_8	Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC \'17).	2019-06-13
2016	M. England and J.H. Davenport Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition published pages: , ISSN: , DOI:	Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation CEUR Workshop Proceedings 1804	2019-06-13
2016	Erika ÃbrahÃ¡m, James H. Davenport, Pascal Fontaine (eds.) Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation published pages: , ISSN: , DOI:		2019-06-13
2016	James H. Davenport, Matthew England Need Polynomial Systems be Doubly-exponential? published pages: 157-164, ISSN: , DOI: 10.1007/978-3-319-42432-3_20	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).	2019-06-13
2016	Matthew England, James H. Davenport The complexity of cylindrical algebraic decomposition with respect to polynomial degree published pages: 172-192, ISSN: , DOI: 10.1007/978-3-319-45641-6_12	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).	2019-06-13
2017	Erika ÃbrahÃ¡m, Jasper Nalbach, Gereon Kremer Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework published pages: , ISSN: , DOI:	Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation	2019-06-13
2017	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 Satisfiability checking and symbolic computation published pages: 145-147, ISSN: 1932-2240, DOI: 10.1145/3055282.3055285	ACM Communications in Computer Algebra 50/4	2019-06-13
2018	John Abbott and Anna Maria Bigatti software CoCoALib 0.99600: a C++ library for doing Computations in Commutative Algebra. published pages: , ISSN: , DOI:		2019-05-28
2017	John Abbott, Anna Maria Bigatti New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square published pages: , ISSN: , DOI:	In: M. England, V. Ganesh eds.: Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation 1974	2019-05-28
2018	John Abbott, Anna Maria Bigatti, Elisa Palezzato New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square published pages: 88-94, ISSN: , DOI:	In: A. Bigatti and M. Brain eds.: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation (SC2 \'18) 2189	2019-05-28
2018	J. Abbott, A.M. Bigatti software CoCoA 5.2.4Computations in Commutative Algebra published pages: , ISSN: , DOI:		2019-05-28
2017	John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano Computing and Using Minimal Polynomials published pages: , ISSN: , DOI:	arXiv.org	2019-05-28
2018	Anna M. Bigatti, Martin Brain SC-Square 2018Satisfiability Checking and Symbolic ComputationProceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation published pages: , ISSN: , DOI:	2189	2019-05-28
2016	Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra published pages: 1--3, ISSN: , DOI:	In: E.ÃbrahÃ¡m, J. H. Davenport, P. Fontaine eds.: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016) 1804	2019-05-28
2017	J.Abbott, A.M.Bigatti CoCoALib and CoCoA-5 published pages: 13-17, ISSN: 0933-5994, DOI:	Der Computeralgebra-Rundbrief 61	2019-05-28
2017	Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu Subtropical Satisfiability published pages: 189-206, ISSN: , DOI: 10.1007/978-3-319-66167-4_11	International Symposium on Frontiers of Combining Systems	2019-05-09
2017	Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine Scalable Fine-Grained Proofs for Formula Processing published pages: 398-412, ISSN: , DOI: 10.1007/978-3-319-63046-5_25	International Conference on Automated Deduction (CADE)	2019-05-09
2018	Casey B. Mulligan, James H. Davenport, Matthew England TheoryGuru: A Mathematica Package to apply Quantifier Elimination published pages: 369-378, ISSN: , DOI: 10.1007/978-3-319-96418-8_44	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. 10931	2019-05-09
2018	Cowen-Rivers, Alexander Imani; England, Matthew Towards Incremental Cylindrical Algebraic Decomposition in Maple published pages: 3-18, ISSN: , DOI:	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 1	2019-05-09
2017	Haniel Barbosa, Pascal Fontaine, Andrew Reynolds Congruence Closure with Free Variables published pages: 214-230, ISSN: , DOI: 10.1007/978-3-662-54580-5_13	Tools and Algorithms for Construction and Analysis of Systems (TACAS)	2019-05-09
2017	Davenport, James H.; England, Matthew; Sebastiani, Roberto; Trentin, Patrick OpenMath and SMT-LIB published pages: , ISSN: , DOI:	Proceedings of the 2017 OpenMath Workshop	2019-05-09
2018	James H. Davenport, Matthew England The Potential and Challenges of CAD with Equational Constraints for SC-Square. published pages: 280-285, ISSN: , DOI: 10.1007/978-3-319-72453-9_22	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. 10693	2019-05-09
2018	England, M. Machine Learning for Mathematical Software published pages: 165-174, ISSN: , DOI: 10.1007/978-3-319-96418-8_20	In: J.H. Davenport, M. Kauers, G. Labahn and J. Urban, eds. Mathematical Software - ICMS 2018. (Lecture Notes in Computer Science 10931).	2019-05-09
2018	C. Mulligan, R. Bradford, J.H. Davenport, M.England and Z. Tonks Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics published pages: 48-60, ISSN: , DOI:	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. 2189	2019-05-09
2018	Huang, Zongyan; England, Matthew; Wilson, David; Davenport, James H.; Paulson, Lawrence C. Using Machine Learning to Improve Cylindrical Algebraic Decomposition published pages: , ISSN: 1661-8270, DOI:	To appear in: Mathematics in Computer Science	2019-05-09
2018	Andrew Reynolds, Haniel Barbosa, Pascal Fontaine Revisiting Enumerative Instantiation published pages: 112-131, ISSN: , DOI: 10.1007/978-3-319-89963-3_7	Tools and Algorithms for the Construction and Analysis of Systems	2019-05-09

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SC-SQUARE" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "SC-SQUARE" are provided by the European Opendata Portal: CORDIS opendata.