The Mathematica Journal
Volume 9, Issue 2

Search

In This Issue
Articles
Tricks of the Trade
In and Out
Trott's Corner
New Products
New Publications
Calendar
News Bulletins
New Resources
Classifieds

Download This Issue 

About the Journal
Editorial Policy
Staff
Submissions
Subscriptions
Advertising
Back Issues
Contact Information

In and Out
Edited by Paul Abbott

- Proofs

Q: How can I do - proofs for limits? For example, prove that the limit of , as approaches 2, is 4.

A: Andrzej Kozlowski (akoz@mimuw.edu.pl) answers: If you restrict attention to rational functions, you can use quantifiers and Resolve to do this.



     
About Mathematica | Download Mathematica Player
Copyright © Wolfram Media, Inc. All rights reserved.