Non-linear integer equation solver in Eclipse (Sepia) 
Author Message
 Non-linear integer equation solver in Eclipse (Sepia)

A system for solving non-linear integer equations in Eclipse (a.k.a Sepia)
is now available.
It can be retrieved by anonymous ftp from
        cpsc.ucalgary.ca
        136.159.2.1
in the directory
        pub/sepia.interval

It is very suitable for solving diophantine equations.  One example
(of a number included in the files) is that it can find the (two) solutions
to:
        X*X + Y*Y =:= 169*169

The system uses Eclipse's meta_terms and an interval representation of integers
to deal with complex constraints and searches for solutions.

The system has been tested on Sepia release 3.1.3 and Eclipse release 3.2.3.
It is intended to follow this with a system that can solve non-linear
real equations.

For enquiries, comments, bugs :-( or praise :-) contact:

John Cleary
University of Calgary

--
John Cleary
University of Calgary.



Sat, 19 Aug 1995 01:51:33 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Large Non-linear Simultaneous Equations Solver Sought

2. Direct sparse solver of systems of linear equations

3. Linear Equation Solver for 3X3 using Cramer's Rule

4. Linear Equation Solver in Prolog available?

5. Linear Equation Solver in Prolog

6. Nonlinear Equation Solver

7. NNES-Nonlinear Equation Solver from OPT-Netlib package

8. Netlib Nonlinear Equation Solver

9. HELP - Need a non-linear solver / optimizer

10. Non-linear ODE Solver

11. Integer solutions to linear equation?

12. Solving Coefficients for Non-Linear Equation

 

 
Powered by phpBB® Forum Software