HDTenEightyP/NetNews huggingface dataset:
From: mroussel@alchemy.chem.utoronto.ca (Marc Roussel)
Subject: Re: What About OCRing Math?
Organization: Department of Chemistry, University of Toronto
Date: Thu, 12 Nov 1992 02:43:45 GMT

In article <1dsd2gINNdur@agate.berkeley.edu> forrest@nobozo.CS.Berkeley.EDU
(Jon Forrest) writes:
>Let's say you wanted to check one of those handbooks of
>formulas. It would be great if you could do some kind of OCR
>of the book and transfer what you get to your favorite symbolic
>math program.

     I think you have it backwards.  You mean that you want to check the
symbolic math programs, don't you?

                                Sincerely,

				Marc R. Roussel
                                mroussel@alchemy.chem.utoronto.ca
From: rose@t524i5.telematik.informatik.uni-karlsruhe.de (Ortwin Rose)
Newsgroups: sci.math.symbolic
Subject: MAPLE: Reading list of points from external file
Date: 10 Nov 92 17:26:23
Organization: /usr/users/rose/.organization
Distribution: sci
NNTP-Posting-Host: t524i5.telematik.informatik.uni-karlsruhe.de

Hi,

I am a newcomer to MAPLE, so please be patient if this is a FAQ:

I have a list of points generated by another program, and would
like to create a three-dimensional plot of the surface using
MAPLE. Now, I did NOT find a solution to read these points from
an external file into a list of points that can be used by
"plots[pointplot]" within MAPLE! Since this is quite an easy
task, I am quite sure that such a solution does exists. Any
pointers how to proceed are appreciated!

(I know that it is possible to write the program using MAPLE,
however if there exists a better solution, I would prefer not
to duplicate previous efforts).


Best regards

-- O. Rose
   University of Karlsruhe
   Institute of Telematics
   Germany
From: SML108@psuvm.psu.edu
Newsgroups: sci.math.symbolic
Subject: Mathematica Question
Date: 6 Nov 92 21:57:16 GMT
Organization: Penn State University

Hi, I am posting a question for a friend, please send any replies by
email so I don't clutter up the net...  Here goes...

We're trying to solve the following kinetics rate law:
dx/dt = k*(ao - x)*(bo - x)*(x + xo):(1/2)
where k,ao,bo, and xo are constants and x is a function of time t.

We have integrated the inverse of the right hand side of the equation with
respect to x.  The resulting expression, which I shall call y(x), is then
equal to time t.  Ultimately, we want to plot x as a function of time t, but
we have been unable to manage this so far.  The Plot[Evaluate] function does
not seem to work in this case.  There seems to be a imaginary part to the
expression y(x).  Any suggestions on how to extract the real part would be
helpful.

Once x is found as a function of t, we plan to differentiate x twice with
respect to t in order to find where d2x/dt2 = 0, so any solution for x
must be compatible with this next step.

Thanks in advance...
Newsgroups: sci.math.symbolic
From: t68@nikhefh.nikhef.nl (Jos Vermaseren)
Newsgroups: sci.math.symbolic
Subject: Re: FREEWARE symbolic math.package??
Date: 11 Nov 92 13:44:05 GMT
Organization: Nikhef-H, Amsterdam (the Netherlands).

In article <1do8f4INNln1@sol.deakin.OZ.AU>, huang@deakin.OZ.AU (Weiguang Huang) writes:
> In article <92311.174110WOESTE@DMSWWU1A.UNI-MUENSTER.DE> Georg Woeste <WOESTE@DMSWWU1A.UNI-MUENSTER.DE> writes:
> >References:  <1992Nov4.171108.4174@darwin.ntu.edu.au>
> >
> >a question: are there existing freeware symbolic mathematic packages?
> >If yes, from where can I "ftp" them?
> >The only package I found, was FORM by 128.252.135.4 in the directory
> >edu/math/msdos/... . But this is a old and not very confortable version.

The better address to obtain it from is 192.16.199.1 or ftp.nikhef.nl
This is the only database that I maintain myself for FORM 1.
Updates nowadays are not very regular, because I spend most of my time
constructing a giant AI program on top of FORM 2. The rest of my time is devoted
to FORM 2 and FORM 3 (which will still take more than a year and you all
know what a statement like that means wrt software).

I hope this helps

Jos Vermaseren
Newsgroups: sci.math.symbolic
From: winch@stein.u.washington.edu (John Winchester)
Subject: Re: Mathematica notebook interface for Sun
Keywords: Mathematica, OpenLook, Sun
Organization: University of Washington, Seattle
Date: Fri, 13 Nov 1992 08:47:07 GMT


I called Wolfram Research after I saw that article and was told that
the pictures shown were taken from a beta copy of the notebook interface
for the Sun which won't be released until the first or second quarter of
1992. They said that the pictures were send by mistake.

John Winchester
winch@u.washington.edu
From: huang@deakin.OZ.AU (Weiguang Huang)
Newsgroups: sci.math.symbolic
Subject: Re: Axiom to replace Mathematica and Maple?
Date: 10 Nov 1992 23:25:45 +1100
Organization: Deakin University, Victoria, Australia
NNTP-Posting-Host: sol.deakin.oz.au

In article <joswig-061192110345@kimac6.informatik.uni-hamburg.de> joswig@informatik.uni-hamburg.de (Rainer Joswig) writes:
>In article <1992Nov5.140335.18713@socrates.umd.edu>,
>fletcher@socrates.umd.edu (Charles Fletcher) wrote:
>> 
>> In article <1d66nnINNs70@function.mps.ohio-state.edu> edgar@function.mps.ohio-state.edu (Gerald Edgar) writes:
>> >In article <1992Nov3.133857.21829@socrates.umd.edu> fletcher@socrates.umd.edu (Charles Fletcher) writes:
>> >>	[Axiom,] requiring 200 megabytes
>> >>	of disk space,
>> >
>> >Maple, requiring 7 megabytes of disk space, runs on a Mac with 2 megabytes
>> >of RAM.
>> >-- 
>> >  Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
>> 
>> 	it usually runs best with 24M of memory or so (actually so does Mma).
>> 	I agree that you probably won't see Axiom running on a 2M Mac in
>
>But on a Macintosh Quadra 950 with 32 MB RAM? Why not? Memory shouldn't
>be the problem.
>
>Rainer Joswig
>Email: joswig@informatik.uni-hamburg.de

It is ont only the memory problem but also the CPU problem. Neither Axiom
nor Maple can run on 16-bit CPU (e.g. 8086)ok. SymbMath has neither memory
problem nor the CPU problem as it runs on the 8086 machine with 0.5 MK RAM.

**********************************************************************
*   Dr. Weiguang HUANG                                               *
*   5/6 Cara Road, Geelong, Vic. 3216, Australia                     *
*   Email: huang@deakin.oz.au,      Phone: 61-52-443282              *
* ------------------------------------------------------------------ *
*   SymbMath - a symbolic calculator with learning                   *
*   PlotData - a plotter with analysing data                         *
**********************************************************************














Newsgroups: sci.math.symbolic
From: sherod@newton.Colorado.EDU (Scott Herod)
Subject: Multiprocessor Implimentations of Symbolic Software?
Organization: University of Colorado, Boulder
Date: Thu, 12 Nov 1992 04:25:27 GMT

Are there multiprocessor implimentations of any of the larger 
symbolic software packages?  It seems that this is the wave of
future esp. since many of these packages stress functional as
opposed to procedural programming.

Scott Herod
From: aicklen@utdallas.edu (Greg Aicklen)
Newsgroups: sci.math.symbolic
Subject: Inconsistent results across Mma platforms
Date: 13 Nov 92 22:24:07 GMT
Organization: Univ. of Texas at Dallas

A short time ago I posted a message about the inconsistent symbolic results I
was getting across platforms, even with the same Mathematica version.

I contacted WRI, and sent examples to them, but I got no response.  So I
did a little poking around and I discoverd what the problem was.  If you
have had problems, or if you have recently upgraded, you might want to
read this.

I upgraded from Mma 2.0 for Windows (on PC) to Mma 2.1 for Windows.  I used
the standard installation program and followed the directions.  But it
appears that not all of the files were upgraded.  In particular, all of the
files in the "packages/startup" directory were left alone, and the
"packages/preload" directory was not created (preload should have replaced
the startup directory in the new version).  So, I was preloading the OLD
versions of such important features as ComplexExpand[], etc.

By deleting everything and starting over, I got the right results for Mma 2.1.

Seems WRI could spend a little more time making their installation programs
robust.

Greg Aicklen
aicklen@utdallas.edu
Newsgroups: sci.math.symbolic
From: cml0464@ultb.isc.rit.edu (C.M. Leung)
Subject: Maple & Fourier
Originator: cml0464@ultb
Reply-To: cml0464@ultb.rit.edu ()
Organization: Rochester Institute of Technology
Distribution: usa
Date: Sat, 7 Nov 1992 01:27:49 GMT


Hi:

	I have a specific question: it doesn't seem to me that MapleV
has the ability to handle Fourier transform.  But it does have laplace
and ztrans.  I tried to use either of these to imitate the operation of
fourier transform with substitution of a complex variable.  Unfortunately,
the expression is so complicated that maple refuses to evaluate it in some
form that I can plot the result.  Anyone has any suggestion to that?

	Is Maple really only able to do exclusively symbolic math, but
not with numerical task like what I mentioned above?

Regards
From: forrest@nobozo.CS.Berkeley.EDU (Jon Forrest)
Newsgroups: sci.math.symbolic
Subject: What About OCRing Math?
Date: 12 Nov 1992 01:46:56 GMT
Organization: University of California, Berkeley
Distribution: world
NNTP-Posting-Host: nobozo.cs.berkeley.edu

Let's say you wanted to check one of those handbooks of
formulas. It would be great if you could do some kind of OCR
of the book and transfer what you get to your favorite symbolic
math program. The problem is that none of the popular OCR programs
I'm aware of can do this, either because they can't recognize the
math symbols or because there is no canonical representation for
math that they could use as their intermediate form which could easily
be saved as Maple, Mathematica, or whatever.

Is this right? Is anybody working on OCRing math with this goal in mind?

-- 
Anything you read here is my opinion and in no way represents the Univ. of Cal.
Jon Forrest WB6EDM	 forrest@postgres.berkeley.edu	 510-643-6764
From: clement@arp.anu.edu.au (CJ Canon)
Newsgroups: sci.math.symbolic
Subject: Re:  FREEWARE symbolic math.package??
Date: 10 Nov 1992 13:19:49 GMT
Organization: Centre for Information Science Research ANU
Distribution: world
NNTP-Posting-Host: 150.203.20.2
Keywords: FLAME Huang

In article <1do8f4INNln1@sol.deakin.OZ.AU> huang@deakin.OZ.AU (Weiguang Huang) writes:
>In article <92311.174110WOESTE@DMSWWU1A.UNI-MUENSTER.DE> Georg Woeste <WOESTE@DMSWWU1A.UNI-MUENSTER.DE> writes:
>>References:  <1992Nov4.171108.4174@darwin.ntu.edu.au>
[...]
>
>	I suggest you consider SymbMath.
>	It has three versions: Shareware, Student, and Advanced. The 
>shareware version is available from SIMTEL20 archives on anonymous FTP sites 
>(wsmr-simtel20.army.mil as /calculator/sm211a.zip, rana.cc.deakin.oz.au as 
>/huang/sm211a.zip, etc) or by e-mail from listserv@ndsuvm1.bitnet. 
>
>
>**********************************************************************
>*   Dr. Weiguang HUANG                                               *

Why don't you have the decency to tell people who ask questions like
this that YOU are the author of SymbMath, instead of trying to give
yourself the image of a user of the package _who_does_not_stand_to
gain_from_it's_use_ who is merely giving a recommendation to others?
I myself have tried your package, on a very well-equipped machine, and
have found it to be quite slow, cumbersome and un-necessarily
complicated for both describing and answering problems/questions. 

CJ.
Newsgroups: sci.math.symbolic
From: stanly@crunch.unm.edu (Stanly Steinberg)
Subject: Names of Vendors Needed
Date: Sun, 08 Nov 92 03:18:32 GMT
Organization: University of New Mexico, Albuquerque NM

I am collecting a list of names and address of people who have produced or
are intending to produce symbol manipulation products (computer algebra
system). Below is the list of what I have. Please let me know if you
have any additions.
Axiom (Scratchpad)
	Dick Jenks
	jenks@ibm.COM
	Tom Ryan, NAG Inc.
	ryan@nag.com
Reduce
	Anthonyg Hearn
	hearn@rand.org
MACSYMA
	Richard Petti
	petti@symbolics.com
Maple
	Keith O. Geddes
	kogeddes@watmum.waterloo.EDU
Mathematica
	Steve Wolfram
	swolf@wri.com
MuMath
	???
--
Professor Stanly Steinberg, Department of Mathematics and Statistics
University of New Mexico, Albuquerque, NM 87131-1141, 505-277-5323
stanly@math.unm.edu    stanly@unmb.bitnet
FAX 505-277-5505 (or at Ecodynamics 505-843-9641)
From: petry@pythagoras.math.washington.edu (David Petry)
Newsgroups: sci.math.symbolic
Subject: Re: Mathematica package for tensors?
Date: 11 Nov 92 22:32:31 GMT
Article-I.D.: u.1992Nov11.223231.5239
Organization: University of Washington, Mathematics, Seattle

In article <kpw105-071192115959@theophys1.anu.edu.au> kpw105@phys.anu.edu.au (Ken Wessen) writes:
>Is there a mathematica package floating around that extends the available
>functions for manipulating tensors?
>If anyone knows of a specific package, or an ftp archive I can search,
>please let me know.
>Thanks
>Ken

Yes,  "Ricci" is available by anonymous FTP from  math.washington.edu
Newsgroups: sci.math.symbolic
From: gies@mendel.berkeley.edu ( Alice Gies ;133B Barker;x2-6145)
Newsgroups: sci.math.symbolic
Subject: convolution
Date: 12 Nov 1992 00:58:11 GMT
Organization: /etc/organization
Distribution: us
NNTP-Posting-Host: mendel.berkeley.edu

I would like to be able perform something like
	array = A*X
where A is a discrete convolution kernel,
      X is an array ( [x(0,0), x(0,1), . . . x(n,n) ] ) 
and * denotes discrete multivariate convolution.

It is basically an image processing operation but the array X is
given symbolically.

What package should I do it with?  I have easiest access to maple so
am particularly interested if anyone can tell me how to do this with
maple.  With more difficulty I can probably get access to 
Mathematica or MatLab (MathLab?).  Thanks much for any suggestions.
Please reply direct to this account as I do not follow the newgroup.

Newsgroups: sci.math.symbolic
From: chuck@nimbus.drexel.edu (Wombozni Klik)
Subject: real-valued complex fns in Maple
Organization: Drexel University Department of Physics
Date: Wed, 11 Nov 1992 19:11:30 GMT
Distribution: sci.math.symbolic
X-Posted-From: nimbus.physics.drexel.edu
NNTP-Posting-Host: sol.ctr.columbia.edu


I've been trying to plot a function g(x) in Maple, which I know to be
real-valued for the entire range of values that I'm looking at. Now,
the function g(x) is complex in nature, but it, when used in
conjunction with evalc and evalf, will produce a real number. 

That's good, but whenever I try to plot the function, all I get is an
empty graph. Nothing shows up on screen. 

Anybody have any comments or suggestions that would coax Maple to plot
my real-valued, complex function? 

Thanks,

Chuck
--
Chuck Browne                            | Frisbeetarianism: The belief that  
Drexel University Department of Physics | when you die, your soul goes up
chuck@nimbus.physics.drexel.edu         | on the roof and gets stuck.
Newsgroups: sci.math.symbolic
From: phr@telebit.com (Paul Rubin)
Subject: Re: Where to find PD symbolic math packages (FQA)
Organization: Telebit Corporation; Sunnyvale, CA, USA
Date: 10 Nov 92 13:10:30

I mentioned calc.el on this group a few weeks ago but I suspect most
readers don't know about it.  It's an astonishing package that runs
inside GNU Emacs and is written entirely in Emacs Lisp.  It does the
usual things: arbitrary precision integer, real, and complex
arithmetic (all written in Lisp), scientific functions, symbolic
algebra and calculus, matrices, graphics, etc. and can display
expressions with square root signs and integrals by drawing them on
the screen with ascii characters.  It's nowhere near as powerful as
something like Mathematica, but it is more convenient to use for
simple things because of its calculator-like interface.  It comes with
a 600 page online manual which is generally well written.  You can ftp
the package from your favorite GNU distribution site.

Newsgroups: sci.math.symbolic
From: fmmoore@athena.mit.edu (Fes-Mike Moore)
Subject: evaluating locals in returned procs
Organization: Massachusetts Institute of Technology
Distribution: sci
Date: Fri, 13 Nov 1992 18:07:16 GMT

I'm writing for someone who would like to use maple to generate
procedures that are function transforms.  What he'd like to do is be
able to call stretch:

	f := stretch(sqrt);

and have f(3) return f(3/2).  The original idea for coding it was:

	stretch := proc(func)
		proc (v) func(v/2) end
	end;

but stretch returns:

	proc(v) func(v/2) end;

i.e., func doesn't get evaluated until the returned procedure is
executed.  It's possible to do:

	stretch := proc(func)
		returned_function := func
		proc (v) returned_function(v/2) end
	end;

where returned_function is a global (so that returned_function is
defined when stretch(sqrt)(3) is evaluated, but I'd rather not use a
global for this.

If Lisp were the language being used here, something like:

	(defun stretch (func)
		(list 'lambda '(x) (list func '(* x 2))))

so that func would get eval'ed in the call to stretch(), not
stretch()().  Any ideas on how to do this?  Or if it's possible?
Thanks...
--
Fes-Mike Moore
CSSC Student Consultant
From: gsp@mlb.semi.harris.com (Gary Porter,62B-384,7295697)
Subject: Question about programming in mma
Date: Wed, 11 Nov 1992 21:14:05 GMT
Reply-To: gsp@mlb.semi.harris.com
Organization: Harris Semiconductor Corporation
Keywords: symbols mma

Can someone tell me how to pass symbols as parameters
in mathematica. (like nlambda or macros in lisp)

For example, I want to define a function "dropCar" that
takes a symbol as a parameter and has the side-effect of setting the 
symbol's value to the "rest" of it's list.

    dropCar[ symbol_ ] := Block[ {},
        symbol = Rest[ symbol ] 
	]
        
    y = { 1.1, 2.2, 3.3 }

Such that:

    dropCar[ y ]

sets y to { 2.2, 3.3 }, and another:

    dropCar[ y ]

sets y to { 3.3 }

The above code doesn't work, do you know of a way to do this?

---
Gary Porter                            Principal Engineer
Internet:  gsp@mlb.semi.harris.com     Harris Semiconductor
Phone:     (407) 729-5697              PO Box 883   MS 62B-022
FAX:       (407) 729-4960              Melbourne, FL  32902-0883

Newsgroups: sci.math.symbolic
From: fletcher@socrates.umd.edu (Charles Fletcher)
Subject: Re: Axiom to replace Mathematica and Maple?
Keywords: Axiom, SPECTRUM
Organization: University of Maryland University College
Date: Thu, 5 Nov 1992 14:03:35 GMT

In article <1d66nnINNs70@function.mps.ohio-state.edu> edgar@function.mps.ohio-state.edu (Gerald Edgar) writes:
>In article <1992Nov3.133857.21829@socrates.umd.edu> fletcher@socrates.umd.edu (Charles Fletcher) writes:
>>	[Axiom,] requiring 200 megabytes
>>	of disk space,
>
>Maple, requiring 7 megabytes of disk space, runs on a Mac with 2 megabytes
>of RAM.
>-- 
>  Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
>  Department of Mathematics      Bitnet:    EDGAR@OHSTPY
>  The Ohio State University      telephone: 614-292-0395 (Office)
>  Columbus, OH 43210             -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)

	Ah yes, the price of power. Axiom has been somewhat of a memory hog-
	it usually runs best with 24M of memory or so (actually so does Mma).
	But the 200 M diskspace is due to the extensive library and HyperDocs.
	I would guess that a lot of this could be cut down depending on 
	your particular interest. (As a size comparison, look at KHOROS,
	an extensive X based visualization package with a lot of libraries.
	Use for comparison only, actual diskspace may vary.)

	I agree that you probably won't see Axiom running on a 2M Mac in
	the near future. But my understanding is that Axiom is somewhat
	similar to Maple in that it has a reasonable kernel, then loads the
	library packages as it needs them (one of the early Maple guys
	at Waterloo went to IBM to work on ScratchPad II, now Axiom. I
	don't know if there is a connection there or not.) We'll have
	to wait and see what develops. Until then we have Maple, MathCAD,
	and even Mathematica (all of which will probably serve well to
	meet a lot of needs even after Axiom comes along.)


	Charlie

-- 
	NeXTMail to:		|	...to confer, converse, and 
	charlie@technosci.com	|	otherwise hobnob with my    
				|	brother wizards.
From: dnf@suned1.nswses.navy.mil (David N Fukes)
Newsgroups: sci.math.symbolic
Subject: Mathematica notebook interface for Sun
Keywords: Mathematica, OpenLook, Sun
Date: 12 Nov 92 23:54:50 GMT
Organization: US Navy (NSWSES)

In the October 1992 issue of SunWorld magazine, there is an
article that reviews several mathematics packages, including 
Mathematica. On page 63 the article, "Adding it up:
The ASTC examines Mathematica, Xmath, IMSL/IDL, RSI/IDL, and MATLAB" by
Matthew Witten, Ph.D. Med., shows a picture of Mathematica, running
on a SPARCstation 1+ in the X11R5 environment, with a notebook interface.
There are a host of window buttons that I don't have running
Mathematica 2.1 on a SPARCstation IPC in OpenWindows.

My question to you netters is: does a notebook interface exist for 
the Sun 4 platform or is this article in error? I tried emailing
Dr. Witten but have not received a response in two weeks. As far
as I know, Mathematica on Unix platforms is strictly command line
based. But then, maybe I need X11R5.

Any comments? (Spare me from the flames, please :-) )

-- 
David N. Fukes
NSWC, PHD Code 4V12
Port Hueneme, CA 93043-5007
            Any statements/opinions made here are not the Navy's.

Newsgroups: sci.math.symbolic
From: joswig@informatik.uni-hamburg.de (Rainer Joswig)
Subject: Re: Axiom to replace Mathematica and Maple?
Followup-To: sci.math.symbolic
Organization: University of Hamburg, FRG
Date: Fri, 6 Nov 92 10:04:33 GMT

In article <1992Nov5.140335.18713@socrates.umd.edu>,
fletcher@socrates.umd.edu (Charles Fletcher) wrote:
> 
> In article <1d66nnINNs70@function.mps.ohio-state.edu> edgar@function.mps.ohio-state.edu (Gerald Edgar) writes:
> >In article <1992Nov3.133857.21829@socrates.umd.edu> fletcher@socrates.umd.edu (Charles Fletcher) writes:
> >>	[Axiom,] requiring 200 megabytes
> >>	of disk space,
> >
> >Maple, requiring 7 megabytes of disk space, runs on a Mac with 2 megabytes
> >of RAM.
> >-- 
> >  Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
> >  Department of Mathematics      Bitnet:    EDGAR@OHSTPY
> >  The Ohio State University      telephone: 614-292-0395 (Office)
> >  Columbus, OH 43210             -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)
> 
> 	Ah yes, the price of power. Axiom has been somewhat of a memory hog-
> 	it usually runs best with 24M of memory or so (actually so does Mma).
> 	But the 200 M diskspace is due to the extensive library and HyperDocs.
> 	I would guess that a lot of this could be cut down depending on 
> 	your particular interest. (As a size comparison, look at KHOROS,
> 	an extensive X based visualization package with a lot of libraries.
> 	Use for comparison only, actual diskspace may vary.)
> 
> 	I agree that you probably won't see Axiom running on a 2M Mac in

But on a Macintosh Quadra 950 with 32 MB RAM? Why not? Memory shouldn't
be the problem.

> 	the near future. But my understanding is that Axiom is somewhat
> 	similar to Maple in that it has a reasonable kernel, then loads the
> 	library packages as it needs them (one of the early Maple guys
> 	at Waterloo went to IBM to work on ScratchPad II, now Axiom. I
> 	don't know if there is a connection there or not.) We'll have
> 	to wait and see what develops. Until then we have Maple, MathCAD,
> 	and even Mathematica (all of which will probably serve well to
> 	meet a lot of needs even after Axiom comes along.)



Rainer Joswig
Email: joswig@informatik.uni-hamburg.de
Newsgroups: sci.math.symbolic