ERD

Prototype C

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

SMT-LIB Proposal

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

Proceedings

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

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

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

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

Prototype B

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

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

Satisfiability checking and symbolic computation

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

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

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

Symbolic Computation Techniques in Satisfiability Checking

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

software CoCoA 5.2.4 Computations in Commutative Algebra

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

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

CoCoALib and CoCoA-5

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

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

Subtropical Satisfiability

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Revisiting Enumerative Instantiation

Project: SC-square

Updated at: 27-04-2024

Show more information

Project acronym SC-square

Resources

Selected filters:

Prototype C

SMT-LIB Proposal

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

Proceedings

Need Polynomial Systems be Doubly-exponential?

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

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Report on Prototype D

Report on Prototype A

Prototype B

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

Satisfiability Checking: Theory and Applications

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

Satisfiability checking and symbolic computation

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

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

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

Symbolic Computation Techniques in Satisfiability Checking

Computing and Using Minimal Polynomials

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

software CoCoA 5.2.4 Computations in Commutative Algebra

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

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

CoCoALib and CoCoA-5

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

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

Subtropical Satisfiability

Revisiting Enumerative Instantiation