Arthur C. Norman

20 papers B 4Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
A Symbolic Computing Perspective on Software Systems.
Languages, Compilers, Analysis
Arthur C. Norman, Stephen M. Watt
2025 J jnl
Semi-Centennial REDUCE.
CoRR
Arthur C. Norman, Stephen M. Watt
2025 B conf
Software Portability for Computer Algebra.
CASC
Arthur C. Norman, Stephen M. Watt
2025 J jnl
Software Portability for Computer Algebra.
CoRR
Arthur C. Norman, Stephen M. Watt
2025 B conf
Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective.
ISSAC
Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2025 J jnl
Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective.
CoRR
Robert M. Corless, Arthur C. Norman, Tomás Recio, William J. Turkel, Stephen M. Watt
2024 J jnl
A Symbolic Computing Perspective on Software Systems.
CoRR
Arthur C. Norman, Stephen M. Watt
2024 B conf
Computing Clipped Products.
CASC
Arthur C. Norman, Stephen M. Watt
2024 J jnl
Computing Clipped Products.
CoRR
Arthur C. Norman, Stephen M. Watt
2024 — conf
Software for indefinite integration.
SCSS (Work in Progress)
Arthur C. Norman, David J. Jeffrey
2005 — conf
Thirty Years of Lisp Support for REDUCE.
Algorithmic Algebra and Logic
Arthur C. Norman
2004 J jnl
Not seeing the roots for the branches: multivalued functions in computer algebra.
SIGSAM Bull.
David J. Jeffrey, Arthur C. Norman
2000 B conf
Further evaluation of Java for symbolic computation.
ISSAC
Arthur C. Norman
1983 J jnl
A comparison of the Vaxima and Reduce factorization packages.
SIGSAM Bull.
Arthur C. Norman, Paul S. Wang
1979 J jnl
A one-pass prettyprinter.
ACM SIGPLAN Notices
Anthony C. Hearn, Arthur C. Norman
1979 J jnl
Testing word-sized numbers for primality.
SIGSAM Bull.
Arthur C. Norman
1975 J jnl
Double by single length division.
SIGSAM Bull.
John P. Fitch, Arthur C. Norman
1975 J jnl
Solutions to problem 8.
SIGSAM Bull.
Arthur C. Norman
1975 J jnl
The SCRATCHPAD power series package.
SIGSAM Bull.
Arthur C. Norman
1972 — conf
A system for the solution of initial and two-point boundary value problems.
ACM Annual Conference (2)
Arthur C. Norman