B. F. Caviness
- 1 BROWN, P. J. Canonical forms and artificial languages. Mathematical Notes No. 19, Computation Center, U. of North Carolina, July 5, 1963.Google Scholar
- 2 BROWN, W. S. Rational exponential expressions and a conjecture concerning v and e. Amer. Math. Mon. 76 (1969), 28-34.Google Scholar
- 3 CAV~NESS, B .F . On canonical forms and simplification. Ph.D. DiNs., Carnegie-Mellon U., Pittsburgh, Pa., Aug. 1967.Google Scholar
- 4 DAVIS, MARTIN. Diophantine equations and recursively enumerable sets. In E. R. Caioniello (Ed.), Automata Theory, Academic Press, New York, 1966, pp. 146-152.Google Scholar
- 5 --. Extensions and corollaries of recent work on Hilbert's tenth problem. Ill. J. Math. 7 (1963), 246-250.Google Scholar
- 6 -- AND PUTNAM, HILARY. Reductions of Hilbert's tenth problem. J. Symbolic Logic 23 (1958), 183-187.Google Scholar
- 7 , , AND ROBINSON, JULIA. The decision problem for exponential diophantine equations. Ann. Math. 74 (1961), 425-436.Google Scholar
- 8 FENICHEL, R .R . An on-line system for algebraic manipulation. Ph.D. DiNs., Harvard U., Cambridge, Mass., 1966.Google Scholar
- 9 HILBERT, DAVID. Mathematische probleme. Bull. Amer. Math. Soc. 8 (1901-1902), 437- 479.Google Scholar
- 10 ITURRIAGA, R. Contributions to mechanical mathematics. Ph.D. DiNs., Carnegie-Mellon U., Pittsburgh, Pa., 1967.Google Scholar
- 11 MosEs, JOEL. Symbolic integration. Ph.D. DiNs., Massachusetts Inst. of Technology, Cambridge, Mass., Sept. 1967.Google Scholar
- 12 NIVEN, IVAN. Irrational Numbers. Wiley, New York, 1956. (Carus Mathematical Monographs, No. 11, Mathematical Ass. of Amer.)Google Scholar
- 13 PERLIS, A. J., AND ITURRIAGA, R. An extension to ALGOL for manipulating formulae. Comm. ACM 7, 2 (Feb 1964), 127-130. Google Scholar
- 14 , , AND STANDISH, W.A. A definition of Formula Algol. Computation Center, Carnegie-Mellon U., Pittsburgh, Pa., March 1966.Google Scholar
- 15 RICHARDSON, DANIEL. Some unsolvable problems involving elementary functions of a real variable. J. Symbolic Logic 33 (1968), 514-520.Google Scholar
- 16 A solution of the identity problem for integral exponential functions. Z. Math. Logik Grundlagen Math. (to appear).Google Scholar
- 17 ROVSSEAU, G. A decidable class of number theoretic equations. J. London Math. Soc. 4il (1966), 737-741.Google Scholar
- 18 SAMMET, J .E . An annotated descriptor-based bibliography on the use of computers for non-numerical mathematics. Comput. Rev. 7 (1966), B1-B31.Google Scholar
- 19 --. Modification No. 1 to an annotated descriptor-based bibliography on the use of computers for doing non-numerical mathematics. ACM SICSAM Bull., No. 5 (Dec. 1966), Appendix, pp. 1-19.Google Scholar
- 20 TOBEY, R. G., BOBROW, R. J., AND ZILLES, S.N. Automatic simplification in FORMAC. Proc. AFIPS 1965 Fall J o i n t Comput. Conf., Vol. 27, Pt. 1, pp. 37-53.Google Scholar
Index Terms
- On Canonical Forms and Simplification
Recommendations
Quadrilateral mesh simplification
We introduce a simplification algorithm for meshes composed of quadrilateral elements. It is reminiscent of edge-collapse based methods for triangle meshes, but takes a novel approach to the challenging problem of maintaining the quadrilateral ...
Quadrilateral mesh simplification
SIGGRAPH Asia '08: ACM SIGGRAPH Asia 2008 papersWe introduce a simplification algorithm for meshes composed of quadrilateral elements. It is reminiscent of edge-collapse based methods for triangle meshes, but takes a novel approach to the challenging problem of maintaining the quadrilateral ...
Feature preserved volume simplification
SM '03: Proceedings of the eighth ACM symposium on Solid modeling and applicationsThe goal of this work is to simplify volumetric datasets while preserving the sharp boundary features and the topology of the 3D scalar field. The simplification is performed on the volumetric datasets defined as a tetrahedral mesh. The sharp boundary ...
Comments