John P. Fitch

48 papers A* 1B 6Journal 20Unranked 19
YearRankTypeTitle / Venue / Authors
2011 J jnl
Automatic music composition using answer set programming.
Theory Pract. Log. Program.
Georg Boenn, Martin Brain, Marina De Vos, John P. Fitch
2009 J jnl
A Virtual-Reality Reconstruction of
Comput. Music. J.
Vincenzo Lombardo, Andrea Valle, John P. Fitch, Kees Tazelaar, Stefan Weinzierl, Wojciech Borczyk
2009 — conf
CAMAL 40 Years on - Is Small Still Beautiful?.
Calculemus/MKM
John P. Fitch
2009 B conf
Generating Optimal Code Using Answer Set Programming.
LPNMR
Tom Crick, Martin Brain, Marina De Vos, John P. Fitch
2008 J jnl
Use of computer algebra in Hamiltonian calculations.
Adv. Eng. Softw.
J. R. Banerjee, A. J. Sobey, H. Su, John P. Fitch
2006 B conf
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP
Martin Brain, Tom Crick, Marina De Vos, John P. Fitch
2005 — conf
The Virtual Electronic POEM (VEP) Project.
ICMC
Vincenzo Lombardo, Andrea Arghinenti, Fabrizio Nunnari, Andrea Valle, Heinrich H. Vogel, John P. Fitch, Richard W. Dobson, Julian A. Padget, Kees Tazelaar, Stefan Weinzierl, Sebastian Benser, Stefan Kersten, Roman Starosolski, Wojciech Borczyk, Wojciech Pytlik, Slawomir Niedbala
1997 — conf
CABAL: polynomial and power series algebra on a parallel computer.
PASCO
Arthur Norman, John P. Fitch
1996 — conf
Interfacing REDUCE to Java.
DISCO
Arthur Norman, John P. Fitch
1996 B conf
Memory Tracing of Algebraic Calculations.
ISSAC
Arthur Norman, John P. Fitch
1995 — conf
Experiments with Chaotic Oscillators.
ICMC
Richard W. Dobson, John P. Fitch
1995 — conf
The Application of Differential Equations to the Modeling of Musical Change.
ICMC
Jeremy L. Leach, John P. Fitch
1994 B conf
The Identity Problem for Elementary Functions and Constants.
ISSAC
Daniel Richardson, John P. Fitch
1993 — ed.
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings
DISCO
John P. Fitch
1992 — conf
REDUCE Meets CAMAL.
DISCO
John P. Fitch
1991 J jnl
Concurrent Object-Oriented Programming in Lisp.
Comput. J.
Julian A. Padget, Russell J. Bradford, John P. Fitch
1991 J jnl
Uses Made of Computer Algebra in Physics.
J. Symb. Comput.
H. Ian Cohen, John P. Fitch
1990 B conf
A Delivery System for REDUCE.
ISSAC
John P. Fitch
1989 B conf
Can REDUCE be Run in Parallel?
ISSAC
John P. Fitch
1987 — conf
Dynamic program improvement.
EUROCAL
P. D. Pearce, John P. Fitch
1987 — conf
Symbolic computation and the finite element method.
EUROCAL
John P. Fitch, Richard G. Hall
1986 — conf
Alkahest III: automatic analysis of periodic weakly nonlinear ODEs.
SYMSAC
John P. Fitch, A. C. Norman, M. A. Moore
1985 A* conf
Closurize and Concentrate.
POPL
Julian A. Padget, John P. Fitch
1985 J jnl
Solving Algebraic Problems with Reduce.
J. Symb. Comput.
John P. Fitch
1984 — conf
A Pure and Really Simple Initial Functional Algebraic Language.
EUROSAM
John P. Fitch, Julian A. Padget
1984 — ed.
EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings
EUROSAM
John P. Fitch
1983 — conf
Implementing REDUCE on a micro-computer.
EUROCAL
John P. Fitch
1983 J jnl
REDUCE 2 for CP/M.
SIGSAM Bull.
Jed Marti, John P. Fitch
1983 — conf
The Bath concurrent LISP machine.
EUROCAL
Jed Marti, John P. Fitch
1982 — conf
NLARGEing a z80 Microprocessor.
EUROCAM
John P. Fitch, Jed Marti
1981 — conf
The automatic derivation of periodic solutions to a class of weakly nonlinear differential equations.
SYMSACC
John P. Fitch
1981 — conf
User-based integration software.
SYMSACC
John P. Fitch
1980 — conf
Symbolic Computing with and without Lisp.
LISP Conference
John A. Campbell, John P. Fitch
1979 — conf
A survey of symbolic computation in physics (invited).
EUROSAM
John P. Fitch
1978 J jnl
A Note on Compacting Garbage Collection.
Comput. J.
John P. Fitch, A. C. Norman
1977 J jnl
Implementing LISP in a High-level Language.
Softw. Pract. Exp.
John P. Fitch, A. C. Norman
1977 J jnl
Profiling a Large Program.
Softw. Pract. Exp.
John P. Fitch
1975 J jnl
Course notes.
SIGSAM Bull.
John P. Fitch
1975 J jnl
Double by single length division.
SIGSAM Bull.
John P. Fitch, Arthur C. Norman
1974 J jnl
A simple method of taking nth roots of integers.
SIGSAM Bull.
John P. Fitch
1974 J jnl
A solution of problem #3 using CAMAL.
SIGSAM Bull.
John P. Fitch
1974 J jnl
Algebraic manipulation in Cambridge.
SIGSAM Bull.
David Barton, John P. Fitch
1974 J jnl
Problem #8: random walk.
SIGSAM Bull.
John P. Fitch
1973 J jnl
On Algebraic Simplification.
Comput. J.
John P. Fitch
1972 J jnl
A review of algebraic manipulative programs and their application.
Comput. J.
David Barton, John P. Fitch
1971 J jnl
General Relativity and the Application of Algebraic Manipulative Systems.
Commun. ACM
David Barton, John P. Fitch
1971 — conf
General Relativity and the application of algebraic manipulative systems.
SYMSAC
David Barton, John P. Fitch
1970 J jnl
An Algebra System.
Comput. J.
David Barton, Stephen R. Bourne, John P. Fitch