ERD

SMT-LIB Proposal

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Prototype C

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Data Management Plan

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

A Case Study on the Parametric Occurrence of Multiple Steady States

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Network...

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Satisfiability Checking: Theory and Applications

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Need Polynomial Systems be Doubly-exponential?

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Proceedings

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Prototype B

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Report on Prototype D

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Report on Prototype A

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Satisfiability checking and symbolic computation

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

software CoCoALib 0.99600: a C++ library for doing Computations in Commutative Algebra.

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

software CoCoA 5.2.4 Computations in Commutative Algebra

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Symbolic Computation Techniques in Satisfiability Checking

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Computing and Using Minimal Polynomials

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

CoCoALib and CoCoA-5

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

SC-Square 2018 Satisfiability Checking and Symbolic Computation Proceedings of the 3rd Workshop on Satisfiability Checki...

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Scalable Fine-Grained Proofs for Formula Processing

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Resources

Selected filters:

SMT-LIB Proposal

Prototype C

Data Management Plan

A Case Study on the Parametric Occurrence of Multiple Steady States

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Network...

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

Satisfiability Checking: Theory and Applications

Need Polynomial Systems be Doubly-exponential?

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Proceedings

Prototype B

Report on Prototype D

Report on Prototype A

Satisfiability checking and symbolic computation

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework

software CoCoALib 0.99600: a C++ library for doing Computations in Commutative Algebra.

New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square

New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square

CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra

software CoCoA 5.2.4 Computations in Commutative Algebra

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Symbolic Computation Techniques in Satisfiability Checking

Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving

Computing and Using Minimal Polynomials

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation

CoCoALib and CoCoA-5

SC-Square 2018 Satisfiability Checking and Symbolic Computation Proceedings of the 3rd Workshop on Satisfiability Checki...

$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation

Scalable Fine-Grained Proofs for Formula Processing