Mechanization of the Sturmfel-Salmon resultant method

Designing and implementing a procedure for computing the polynomial resultant provides an avenue for analyzing both the computational complexity and performance of such construction. In this paper a new Maple procedure called Sturmfelmethod for computing the Sturmfel-Salmon resultant method is propo...

Full description

Saved in:
Bibliographic Details
Main Authors: Sulaiman, Surajo, Aris, Noraini, Ahmad, Shamsatun Nahar
Format: Article
Published: 2017
Subjects:
Online Access:http://eprints.utm.my/id/eprint/81270/
http://dx.doi.org/10.11113/mjfas.v13n3.627
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utm.81270
record_format eprints
spelling my.utm.812702019-07-24T03:40:22Z http://eprints.utm.my/id/eprint/81270/ Mechanization of the Sturmfel-Salmon resultant method Sulaiman, Surajo Aris, Noraini Ahmad, Shamsatun Nahar Q Science (General) Designing and implementing a procedure for computing the polynomial resultant provides an avenue for analyzing both the computational complexity and performance of such construction. In this paper a new Maple procedure called Sturmfelmethod for computing the Sturmfel-Salmon resultant method is proposed based on existing methods and assumptions. Examples are provided to demonstrate the mechanization of the resulting new algorithm and its computing time. The new procedure can be used to determine whether three polynomials intersect or not and to solve a given system of polynomial equations. 2017 Article PeerReviewed Sulaiman, Surajo and Aris, Noraini and Ahmad, Shamsatun Nahar (2017) Mechanization of the Sturmfel-Salmon resultant method. Malaysian Journal of Fundamental and Applied Sciences, 13 (3). pp. 165-169. ISSN 2289-5981 http://dx.doi.org/10.11113/mjfas.v13n3.627 DOI:10.11113/mjfas.v13n3.627
institution Universiti Teknologi Malaysia
building UTM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Malaysia
content_source UTM Institutional Repository
url_provider http://eprints.utm.my/
topic Q Science (General)
spellingShingle Q Science (General)
Sulaiman, Surajo
Aris, Noraini
Ahmad, Shamsatun Nahar
Mechanization of the Sturmfel-Salmon resultant method
description Designing and implementing a procedure for computing the polynomial resultant provides an avenue for analyzing both the computational complexity and performance of such construction. In this paper a new Maple procedure called Sturmfelmethod for computing the Sturmfel-Salmon resultant method is proposed based on existing methods and assumptions. Examples are provided to demonstrate the mechanization of the resulting new algorithm and its computing time. The new procedure can be used to determine whether three polynomials intersect or not and to solve a given system of polynomial equations.
format Article
author Sulaiman, Surajo
Aris, Noraini
Ahmad, Shamsatun Nahar
author_facet Sulaiman, Surajo
Aris, Noraini
Ahmad, Shamsatun Nahar
author_sort Sulaiman, Surajo
title Mechanization of the Sturmfel-Salmon resultant method
title_short Mechanization of the Sturmfel-Salmon resultant method
title_full Mechanization of the Sturmfel-Salmon resultant method
title_fullStr Mechanization of the Sturmfel-Salmon resultant method
title_full_unstemmed Mechanization of the Sturmfel-Salmon resultant method
title_sort mechanization of the sturmfel-salmon resultant method
publishDate 2017
url http://eprints.utm.my/id/eprint/81270/
http://dx.doi.org/10.11113/mjfas.v13n3.627
_version_ 1643658661302632448
score 13.209306