-
arXiv:1702.07262 [pdf, ps, other]
Computing and Using Minimal Polynomials
Abstract: Given a zero-dimensional ideal I in a polynomial ring, many computations start by finding univariate polynomials in I. Searching for a univariate polynomial in I is a particular case of considering the minimal polynomial of an element in P/I. It is well known that minimal polynomials may be computed via elimination, therefore this is considered to be a "resolved problem". But being the key of so m… ▽ More
Submitted 7 August, 2019; v1 submitted 23 February, 2017; originally announced February 2017.
Comments: This is a fully revised version. To be published in Journal of Symbolic Computation, special Issue on Symbolic Computation and Satisfiability Checking
MSC Class: 13P25; 13P10; 13-04; 14Q10; 68W30
Journal ref: JSC 2019
-
arXiv:1611.07306 [pdf, ps, other]
Groebner Bases for Everyone with CoCoA-5 and CoCoALib
Abstract: We present a survey on the developments related to Groebner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely… ▽ More
Submitted 18 April, 2017; v1 submitted 22 November, 2016; originally announced November 2016.
Comments: 24 pages
MSC Class: 13P15; 13P10; 13-04; 14Q10; 68W30; 05E40; 68W24
Journal ref: Advanced Studies in Pure Mathematics 75, 2017
-
arXiv:1607.08028 [pdf, ps, other]
Satisfiability Checking meets Symbolic Computation (Project Paper)
Abstract: Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite their commonalities, the two communities are rather weakly connected. The aim of our newly accepted SC-square project (H2020-FETOPEN-CSA) is… ▽ More
Submitted 27 July, 2016; originally announced July 2016.
Journal ref: M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
-
arXiv:1607.06945 [pdf, ps, other]
Satisfiability Checking and Symbolic Computation
Abstract: Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a… ▽ More
Submitted 23 July, 2016; originally announced July 2016.
Comments: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pdf
Journal ref: ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016