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...
Saved in:
Main Authors: | , , |
---|---|
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 |