Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

Real Reparametrizations of Real Curves [0.03%]

TOMAS RECIO; J.RAFAEL SENDRA TOMAS RECIO; J.RAFAEL SENDRA

Journal of symbolic computation. 1997;23(2-3):241-254. DOI:10.1006/jsco.1996.0086 1997

Computing Rational Parametrizations of Canal Surfaces [0.03%]

MARTIN PETERNELL; HELMUT POTTMANN MARTIN PETERNELL; HELMUT POTTMANN

Journal of symbolic computation. 1997;23(2-3):255-266. DOI:10.1006/jsco.1996.0087 1997

Parametric Generalized Offsets to Hypersurfaces [0.03%]

ENRIQUE ARRONDO; JUANA SENDRA; RAFAEL J. SENDRA ENRIQUE ARRONDO; JUANA SENDRA; RAFAEL J. SENDRA

Journal of symbolic computation. 1997;23(2-3):267-285. DOI:10.1006/jsco.1996.0088 1997

Symbolic Constraints in Constructive Geometric Constraint Solving [0.03%]

CHRISTOPH M. HOFFMANN; ROBERT JOAN-ARINYO CHRISTOPH M. HOFFMANN; ROBERT JOAN-ARINYO

Journal of symbolic computation. 1997;23(2-3):287-299. DOI:10.1006/jsco.1996.0089 1997

Conic Approximation of Conic Offsets [0.03%]

RIDA T. FAROUKI RIDA T. FAROUKI

Journal of symbolic computation. 1997;23(2-3):301-313. DOI:10.1006/jsco.1996.0090 1997

Spline Approximations of Real Algebraic Surfaces [0.03%]

CHANDRAJIT L. BAJAJ; GUOLIANG XU CHANDRAJIT L. BAJAJ; GUOLIANG XU

Journal of symbolic computation. 1997;23(2-3):315-333. DOI:10.1006/jsco.1996.0091 1997

Some Algorithms for Nilpotent Permutation Groups [0.03%]

Eugene M. Luks; Ferenc Rákóczi; Charles R.B. Wright Eugene M. Luks; Ferenc Rákóczi; Charles R.B. Wright

Journal of symbolic computation. 1997;23(4):335-354. DOI:10.1006/jsco.1996.0092 1997

Subresultants Under Composition [0.03%]

Hoon Hong Hoon Hong

Journal of symbolic computation. 1997;23(4):355-365. DOI:10.1006/jsco.1996.0093 1997

Interactive Theorem Proving with Temporal Logic [0.03%]

Amy Felty; Laurent Théry Amy Felty; Laurent Théry

Journal of symbolic computation. 1997;23(4):367-397. DOI:10.1006/jsco.1996.0094 1997

Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems [0.03%]

Alfons Geser Alfons Geser

Journal of symbolic computation. 1997;23(4):399-411. DOI:10.1006/jsco.1996.0095 1997