[118] in mathematical software users group
(TECHREPORTS) Contents of the techreports locker
daemon@ATHENA.MIT.EDU (Reid M. Pinchback)
Mon Nov 29 12:21:23 1993
To: msug@MIT.EDU
Cc: R.G.E.Pinch@pmms.cam.ac.uk
Date: Mon, 29 Nov 93 12:17:55 EST
From: "Reid M. Pinchback" <reidmp@MIT.EDU>
Ok, time for me to get caught up on some msug things that have been on
my to-do list for awhile. The first item is something on primality
testing that I've just added to the techreports locker (PS: Thanks
Richard!). The following items have been there for awhile, but I'm
reposting the information for the more recent subscribers to the list.
As a reminder, this is mostly relevant for MIT'ers, since the lockers
(AFS filespace) are *not* accessible via anonymous ftp. For
non-MIT'ers I'm including information from our README and CONTENTS
files so that you can ftp the original files yourself if you so desire.
If your institution is part of the growing network of AFS sites, then
you will find the files in /afs/athena.mit.edu/contrib/techreports/.
Reid
= New item ===================================================================
- README ---------------------------------------------------------------------
Site name: University of Cambridge
Site city: Cambridge
Site country: UK
Site IP name: emu.pmms.cam.ac.uk
Site IP numbers: 131.111.24.1
Report locations: pub/rgep/
Last FTP update: 93/11/29
- CONTENTS -------------------------------------------------------------------
ptest: Title: Some primality testing algorithms
Author: Richard Pinch
Date: November 1993, Cambridge
A version of this paper was printed in Notices of the American Mathematical
Society. This AMS latex file is a much improved version. Copyright belongs
to the author. In the author's own words:
"The paper is distributed for the
purposes of private study and research only and on
condition that it be further distributed unaltered".
= Old items ==================================================================
- README ---------------------------------------------------------------------
Site name: University of Linkoping
Site city: Linkoping
Site country: Sweden
Site IP name: joakim.isy.liu.se
Site IP numbers: 13.236.24.1
Report locations: pub/reports/
Last FTP update: 92/02/24
- CONTENTS -------------------------------------------------------------------
LiTH-ISY-I-1029: Title: Analysis of Subspace Fitting and ML
Techniques for Parameter Estimation from
Sensor Array Data
Author: B. Ottersten, M. Viberg, T. Kailath
Date: Dec 1989
LiTH-ISY-I-1111: Title: Constructive Algebraic Geometry in Nonlinear
Control
Author: K. Forsman and T. Glad
Date: September 1990
LiTH-ISY-I-1180: Title: Applications of Grobner Bases to Nonlinear
Systems
Author: K. Forsman
Date: February 1991
LiTH-ISY-I-1184: Title: On the Dead-zone in System Identification
Author: K. Forsman and L. Ljung
Date: February 1991
LiTH-ISY-I-1245: Title: Construction of Lyapunov Functions Using
Grobner Bases
Author: K. Forsman
Date: September 1991
Note: In Proc. 30th CDC, Brighton
LiTH-ISY-I-1249: Title: An Algorithm for Finding Periodic Solutions
to Systems of Nonlinear Difference Equations
Author: K. Forsman
Date: September 1991
Note: In Proc. 30th CDC, Brighton
LiTH-ISY-I-1251: Title: Blind equalization by direct examination of
the input sequences
Author: Fredrik Gustafsson, Bo Wahlberg
Date: Sep 05 1991
LiTH-ISY-I-1259: Title: Logic Proofs - through Ideal Inclusions
Author: Roger Germundsson
Date: Sep 05 1991
LiTH-ISY-I-1260: Title: Basic Results on Ideals and Varieties in
Finite Fields
Author: Roger Germundsson
Date: Sep 11 1991
LiTH-ISY-I-1265: Title: On Rational State Space Realizations
Author: K. Forsman
Date: October 1991
Note: To appear in Preprints of NOLCOS 92
LiTH-ISY-I-1267: Title: A two-filter off-line solution to
optimal detection
Author: F. Gustafsson
Date: Oct 02 1991
LiTH-ISY-I-1286: Title: Logic proofs = Ideal Inclusions
Author: R. Germundsson
Date: Nov 91
Note: Submitted to Journal of Symbolic Computation
LiTH-ISY-I-1287: Title: A Tetris Controller - An Example of a Discrete
Event Dynamic System
Author: R. Germundsson
Date: Nov 91
Note: Submitted to IEEE Control Systems Magazine
LiTH-ISY-I-1297: Title: Overtraining, Regularization, and Searching
for Minimum in Neural Networks
Author: Jonas Sjoberg, Lennart Ljung
Date: Dec 91
LiTH-ISY-I-1302: Title: Local Modeling and Robust Estimation for
High-Resolution Direction Finding
Author: B. Ottersten, M. Viberg
Date: Dec 11 1991
LiTH-ISY-I-1303: Title: Estimation Accuracy of Maximum Likelihood
Direction Finding Using Large Arrays
Author: M. Viberg, B. Ottersten, A. Nehorai
Date: Dec 11 1991
LiTH-ISY-I-1323: Title: A Quick Manual to Maple version V
Author: K. Forsman
Date: January 1992
LiTH-ISY-I-1326: Title: The Hitch Hiker's Guide to Grobner Bases:
commutative algebra for amateurs
Author: K. Forsman
Date: February 1992
LiTH-ISY-I-1329: Title: A MATLAB Function for Plotting Phase Planes
Interactively
Author: K. Forsman
Date: February 1992
- ----------------------------------------------------------------------------
- README ---------------------------------------------------------------------
Site name: Technical University of Aachen
Site city: Aachen
Site country: Germany
Site IP name: ftp.informatik.rwth-aachen.de
Site IP numbers: 134.130.52.1, 137.226.112.31
Report locations: pub/reports/
Last FTP update: 92/02/28
- CONTENTS -------------------------------------------------------------------
89-18.ps.Z A. Maassen: Programming with Higher Order Functions
90-14.ps.Z A. Maassen: Compilerentwicklung in Miranda - ein Praktikum
in funktionaler Programmierung (written in german)
90-22.ps.Z H. Fassbender / H. Vogler: A Call-by-need Implementation of
Syntax Directed Functional Programming
91-01.ps.Z G. Geiler (ed.): Jahresbericht 1990 (written in german)
91-03.ps.Z B. Steffen / A. Ingolfsdottir: Characteristic Formulae for
Processes with Divergence
91-04.ps.Z M. Portz: A new class of cryptosystems based on interconnection
networks
91-10.ps.Z K. Gladitz / H. Fassbender / H. Vogler: Compiler-based
Implementation of Syntax-Directed Functional Programming
91-20.ps.Z G. Hogen / A. Kindler / R. Loogen: Automatic Parallelization of
Lazy Functional Programs
91-22.ps.Z H. Kuchen / F. L"ucking / H. Stoltze: The Topology Description
Language TDL
91-27.ps.Z J. Knoop / B. Steffen: The Interprocedural Coincidence Theorem
91-28.ps.Z J. Knoop / B. Steffen: Unifying Strength Reduction and Semantic
Code Motion
91-30.ps.Z T. Margaria: First-Order theories for the verification of
complex FSMs
91-31.ps.Z B. Steffen: Generating Data Flow Analysis Algorithms from Modal
Specifications
92-04.ps.Z S. Smolka / B. Steffen: Priority as Extremal Probability
92-06.ps.Z O. Burkart / B. Steffen: Model Checking for Context-Free
Processes
- -----------------------------------------------------------------------------
-----------
Reid M. Pinchback
Faculty Liaison
Academic Computing Services, MIT
