Opendata, web and dolomites

SC-square

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

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

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 UK (BATH) coordinator 114˙456.00
2    RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN DE (AACHEN) participant 55˙000.00
3    FONDAZIONE BRUNO KESSLER IT (TRENTO) participant 45˙000.00
4    UNIVERSITA DEGLI STUDI DI GENOVA IT (GENOVA) participant 45˙000.00
5    COVENTRY UNIVERSITY UK (COVENTRY) participant 43˙272.00
6    THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD UK (OXFORD) participant 36˙250.00
7    UNIVERSITAET KASSEL DE (KASSEL) participant 36˙250.00
8    UNIVERSITAT LINZ AT (LINZ) participant 36˙250.00
9    UNIVERSITE DE LORRAINE FR (NANCY CEDEX) participant 36˙250.00
10    MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV DE (MUENCHEN) participant 28˙125.00
11    MAPLESOFT EUROPE LIMITED 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

year authors and title journal last update
List of publications.
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.

More projects from the same programme (H2020-EU.1.2.1.)

MAFIn (2019)

Module for Aberration Correction and Fast Volumetric Imaging in a Light Sheet Fluorescence Microscope

Read More  

LABELFREE (2019)

LABEL FREE IMAGING WITH PHI-SCAT

Read More  

EDRA (2019)

Hardware-Assisted Decoupled Access Execution on the Digital Market: The EDRA Framework

Read More