The Potential and Challenges of CAD with Equational Constraints for SC-Square

DOI10.1007/978-3-319-72453-9_22zbMath1497.68583arXiv1711.00312OpenAlexW2766811537MaRDI QIDQ4628500

Matthew England, James H. Davenport

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.00312

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Lazard-style CAD and Equational Constraints

This page was built for publication: The Potential and Challenges of CAD with Equational Constraints for SC-Square