Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Computing Isomorphisms of Association Schemes and its Application [0.03%]

Izumi Miyamoto Izumi Miyamoto

Journal of symbolic computation. 2001;32(1-2):133-141. DOI:10.1006/jsco.2001.0450 2001

On Efficient Sparse Integer Matrix Smith Normal Form Computations [0.03%]

Jean-Guillaume Dumas; B. David Saunders; Gilles Villard Jean-Guillaume Dumas; B. David Saunders; Gilles Villard

Journal of symbolic computation. 2001;32(1-2):71-99. DOI:10.1006/jsco.2001.0451 2001

Two Computational Techniques for Singularity Resolution [0.03%]

Gábor Bodnár; Josef Schicho Gábor Bodnár; Josef Schicho

Journal of symbolic computation. 2001;32(1-2):39-54. DOI:10.1006/jsco.2001.0452 2001

The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares [0.03%]

Günter Landsmann; Josef Schicho; Franz Winkler Günter Landsmann; Josef Schicho; Franz Winkler

Journal of symbolic computation. 2001;32(1-2):119-132. DOI:10.1006/jsco.2001.0453 2001

Constructing Homomorphism Spaces and Endomorphism Rings [0.03%]

Edward L. Green; Lenwood S. Heath; Craig A. Struble Edward L. Green; Lenwood S. Heath; Craig A. Struble

Journal of symbolic computation. 2001;32(1-2):101-117. DOI:10.1006/jsco.2001.0454 2001

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants [0.03%]

Henk Barendregt; Arjeh M. Cohen Henk Barendregt; Arjeh M. Cohen

Journal of symbolic computation. 2001;32(1-2):3-22. DOI:10.1006/jsco.2001.0455 2001

Commutative Algebra in the Mizar System [0.03%]

Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec

Journal of symbolic computation. 2001;32(1-2):143-169. DOI:10.1006/jsco.2001.0456 2001

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles [0.03%]

Olga Caprotti; Martijn Oostdijk Olga Caprotti; Martijn Oostdijk

Journal of symbolic computation. 2001;32(1-2):55-70. DOI:10.1006/jsco.2001.0457 2001

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors [0.03%]

Tomás Recio; Manfred Kerber Tomás Recio; Manfred Kerber

Journal of symbolic computation. 2001;32(1-2):1-2. DOI:10.1006/jsco.2001.0458 2001

Condensation of Symmetrized Tensor Powers [0.03%]

A.J.E. Ryba A.J.E. Ryba

Journal of symbolic computation. 2001;32(3):273-289. DOI:10.1006/jsco.2001.0459 2001