How can I use software to check the accuracy of my equations and which software? The 2019 Stack Overflow Developer Survey Results Are InFormula/Constant creation softwarefree software to create equations and export to various formatsAny abstract algebra book with programming (homework) assignment?Any complex analysis book with programming assignment and exercises?What software and hardware can you use to write math and take notes?Is there software I can use to draw this graph?What software can I use to typeset proofs for my class?What CAS / solver / math. software to learn & use for PDE systems arising from LQ dynamic optimization?Which software can check whether two given algebras are isomorphic?looking for graphing app/software which can graph this equation
Is it ethical to upload a automatically generated paper to a non peer-reviewed site as part of a larger research?
How to translate "being like"?
Mathematics of imaging the black hole
Why doesn't UInt have a toDouble()?
Ubuntu Server install with full GUI
Can a flute soloist sit?
How to obtain a position of last non-zero element
Slides for 30 min~1 hr Skype tenure track application interview
What does Linus Torvalds mean when he says that Git "never ever" tracks a file?
Match Roman Numerals
Why don't hard Brexiteers insist on a hard border to prevent illegal immigration after Brexit?
Falsification in Math vs Science
If I can cast sorceries at instant speed, can I use sorcery-speed activated abilities at instant speed?
Old scifi movie from the 50s or 60s with men in solid red uniforms who interrogate a spy from the past
What's the name of these plastic connectors
How to charge AirPods to keep battery healthy?
ODD NUMBER in Cognitive Linguistics of WILLIAM CROFT and D. ALAN CRUSE
Deal with toxic manager when you can't quit
I am an eight letter word. What am I?
Are spiders unable to hurt humans, especially very small spiders?
What could be the right powersource for 15 seconds lifespan disposable giant chainsaw?
Did any laptop computers have a built-in 5 1/4 inch floppy drive?
Star Trek - X-shaped Item on Regula/Orbital Office Starbases
Can a rogue use sneak attack with weapons that have the thrown property even if they are not thrown?
How can I use software to check the accuracy of my equations and which software?
The 2019 Stack Overflow Developer Survey Results Are InFormula/Constant creation softwarefree software to create equations and export to various formatsAny abstract algebra book with programming (homework) assignment?Any complex analysis book with programming assignment and exercises?What software and hardware can you use to write math and take notes?Is there software I can use to draw this graph?What software can I use to typeset proofs for my class?What CAS / solver / math. software to learn & use for PDE systems arising from LQ dynamic optimization?Which software can check whether two given algebras are isomorphic?looking for graphing app/software which can graph this equation
$begingroup$
I have been asked to check some engineering calculations even though that is not my area of expertise. Given the complexity of the problem I would like to use a software package to do the verification.
What I have been asked to do is to verify that the two sides of the equation are equivalent. For example I have about a dozen like this (some are far more complex):
$$(RT/(v-Td-c)+(a/Tv^2)-(b/v^4))((v-Td-c)(Tv^2v^4))=((RT^2v^2v^4)+a(v-Td-c)v^4-b(v-td-c)Tv^2)$$
Rather tedious work that I have not done in many years and I am in NO manner a math wizard.
How do I ask a software package to verify whether two equations are equal and which open source software package should I use for problems of this type? Also I no longer remember the terminology. Is it factoring? Is it optimization? Is it simplification? Without knowing what this process is called I am handicapped.
Thanks for any help I can get.
polynomials math-software
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
$endgroup$
add a comment |
$begingroup$
I have been asked to check some engineering calculations even though that is not my area of expertise. Given the complexity of the problem I would like to use a software package to do the verification.
What I have been asked to do is to verify that the two sides of the equation are equivalent. For example I have about a dozen like this (some are far more complex):
$$(RT/(v-Td-c)+(a/Tv^2)-(b/v^4))((v-Td-c)(Tv^2v^4))=((RT^2v^2v^4)+a(v-Td-c)v^4-b(v-td-c)Tv^2)$$
Rather tedious work that I have not done in many years and I am in NO manner a math wizard.
How do I ask a software package to verify whether two equations are equal and which open source software package should I use for problems of this type? Also I no longer remember the terminology. Is it factoring? Is it optimization? Is it simplification? Without knowing what this process is called I am handicapped.
Thanks for any help I can get.
polynomials math-software
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
$endgroup$
1
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34
add a comment |
$begingroup$
I have been asked to check some engineering calculations even though that is not my area of expertise. Given the complexity of the problem I would like to use a software package to do the verification.
What I have been asked to do is to verify that the two sides of the equation are equivalent. For example I have about a dozen like this (some are far more complex):
$$(RT/(v-Td-c)+(a/Tv^2)-(b/v^4))((v-Td-c)(Tv^2v^4))=((RT^2v^2v^4)+a(v-Td-c)v^4-b(v-td-c)Tv^2)$$
Rather tedious work that I have not done in many years and I am in NO manner a math wizard.
How do I ask a software package to verify whether two equations are equal and which open source software package should I use for problems of this type? Also I no longer remember the terminology. Is it factoring? Is it optimization? Is it simplification? Without knowing what this process is called I am handicapped.
Thanks for any help I can get.
polynomials math-software
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
$endgroup$
I have been asked to check some engineering calculations even though that is not my area of expertise. Given the complexity of the problem I would like to use a software package to do the verification.
What I have been asked to do is to verify that the two sides of the equation are equivalent. For example I have about a dozen like this (some are far more complex):
$$(RT/(v-Td-c)+(a/Tv^2)-(b/v^4))((v-Td-c)(Tv^2v^4))=((RT^2v^2v^4)+a(v-Td-c)v^4-b(v-td-c)Tv^2)$$
Rather tedious work that I have not done in many years and I am in NO manner a math wizard.
How do I ask a software package to verify whether two equations are equal and which open source software package should I use for problems of this type? Also I no longer remember the terminology. Is it factoring? Is it optimization? Is it simplification? Without knowing what this process is called I am handicapped.
Thanks for any help I can get.
polynomials math-software
polynomials math-software
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
edited Mar 24 at 4:11
J. W. Tanner
4,7571420
4,7571420
asked Mar 24 at 3:55
MikechMikech
1
asked Mar 24 at 3:55
MikechMikech
1
asked Mar 24 at 3:55
MikechMikech
1
1
1
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34
add a comment |
1
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34
1
1
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Another way, if a symbolic math package
can't do it,
is to compute the two sides
numerically for a large number
of randomly chosen values
of each parameter
and see how close they are.
They should be within roundoff error.
This can't prove correctness,
but it would probably show
if the expressions are not equal.
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
$endgroup$
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160082%2fhow-can-i-use-software-to-check-the-accuracy-of-my-equations-and-which-software%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Another way, if a symbolic math package
can't do it,
is to compute the two sides
numerically for a large number
of randomly chosen values
of each parameter
and see how close they are.
They should be within roundoff error.
This can't prove correctness,
but it would probably show
if the expressions are not equal.
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
$endgroup$
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
add a comment |
$begingroup$
Another way, if a symbolic math package
can't do it,
is to compute the two sides
numerically for a large number
of randomly chosen values
of each parameter
and see how close they are.
They should be within roundoff error.
This can't prove correctness,
but it would probably show
if the expressions are not equal.
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
$endgroup$
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
add a comment |
$begingroup$
Another way, if a symbolic math package
can't do it,
is to compute the two sides
numerically for a large number
of randomly chosen values
of each parameter
and see how close they are.
They should be within roundoff error.
This can't prove correctness,
but it would probably show
if the expressions are not equal.
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
$endgroup$
Another way, if a symbolic math package
can't do it,
is to compute the two sides
numerically for a large number
of randomly chosen values
of each parameter
and see how close they are.
They should be within roundoff error.
This can't prove correctness,
but it would probably show
if the expressions are not equal.
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
answered Mar 24 at 4:11
marty cohenmarty cohen
75.3k549130
75.3k549130
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
add a comment |
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
$begingroup$
That sounds like the easiest thing to do! Thanks for the idea.
$endgroup$
– Mikech
Mar 24 at 5:35
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160082%2fhow-can-i-use-software-to-check-the-accuracy-of-my-equations-and-which-software%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
I'm not sure this is the right place to ask. Anyhow, you can use WolframAlpha for a simple calculation like this (Just evaluate $textLHS - textRHS$ and verify it's zero). If you want more full fledged software, you can use Mathematica (not free) or SageMath (free).
$endgroup$
– M. Vinay
Mar 24 at 4:03
$begingroup$
That's clever. I wish I had thought of that! I'll have to give that a try. I can't justify Mathematica or Maple because I am asked to do calculations very rarely and they are usually quite simple. I haven't figured out how to use Sage yet. It looks like it will take at least a week to begin to figure it out.
$endgroup$
– Mikech
Mar 24 at 5:34