Computer Science

Polynomial factorization 1982-1986

In D. V. Chudnovsky & R. D. Jenks (Eds.), Computers in Mathematics, Lecture Notes in Pure and Applied Mathematics (Vol. 125, pp. 285–309). New York, NY: Marcel Dekker, Inc.

Computer mathematics systems and a trilateral approach to human resource development in technical occupations

In N. Estes, J. Heene, & D. Leclercq (Eds.), Proceedings of the 7th International Conference on Technology and Education (Vol. 1, pp. 251–253). Edinburgh, United Kingdom: CEP Consultants Ltd.

Algebraic Computational Complexity

Journal of Symbolic Computation, 9(3).

Knowledge communication

In T. Okamoto & R. Mizoguchi (Eds.), Artificial Intelligence and Tutoring Systems (pp. 447–456). Tokyo, Japan: Ohmu Inc.

What is CAI?

In T. Okamoto (Ed.), Introduction to C Programming (pp. 201–236). Tokyo, Japan: Personal Media.

An automatic generation of knowledge-base for an intelligent CAI on geometry theorem proving and a GUI to draw geometric figures

Transactions of the Institution of Electronics, Information, and Communication Engineering, J73-D-II(1), 88–99.

Parallel algorithms for matrix normal forms

Linear Algebra and Its Applications, 136, 189–208.

Group Intentions

Proceedings of the 10th Workshop on Distributed Artificial Intelligence, 1–26. Bandera, Texas.

Towards a Theory of Situated Know-how

Proceedings of the 9th European Conference on Artificial Intelligence (ECAI), 604–609. Stockholm.

Group Ability and Structure

In Y. Demazeau & J.-P. Müller (Eds.), Decentralized Artificial Intelligence (Vol. 2, pp. 127–145). Amsterdam: Elsevier/North-Holland.

Computing with polynomials given byblack boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators

Journal of Symbolic Computation, 9(3), 301–320.

Modular rational sparse multivariate polynomial interpolation

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90. Presented at the the international symposium.

Computing the irreducible real factors and components of an algebraic curve

Applicable Algebra in Engineering, Communication and Computing, 1(2), 135–148.

Hot-Spot Performance of Single-Stage and Multistage Interconnection Networks

Proceedings of the Fifth Distributed Memory Computing Conference. Presented at the DMCC-5: Fifth Distributed Memory Computing Conference, Charleston, SC.

Dimensions of Addressing Schemes

In J. Rosenberg & J. L. Keedy (Eds.), Security and Persistence (pp. 31–47).

Unconstrained via minimization for topological multilayer routing

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 9(9), 970–980.

Solving some combinatorial problems on arrays with one-way dataflow

Algorithmica, 5(1-4), 179–199.

Local search variants for hypercube embedding

Proceedings of the Fifth Distributed Memory Computing Conference, 1990., 2, 1375–1383.

Book review: Philosophical Logic and Artificial Intelligence. Edited by Richmond H. Thomason (Kluwer Academic Publishers, 1989)

SIGART Bull., 2(1), 77–78.

Perceptive questions about computation and cognition

Behav Brain Sci, 13(04), 661.