Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Effective analytic functions [0.03%]

Joris van der Hoeven Joris van der Hoeven

Journal of symbolic computation. 2005;39(3-4):433-449. DOI:10.1016/j.jsc.2004.11.012 2005

Galois theory and algorithms for linear differential equations [0.03%]

Marius van der Put Marius van der Put

Journal of symbolic computation. 2005;39(3-4):451-463. DOI:10.1016/j.jsc.2004.11.013 2005

On constructive desingularization [0.03%]

Orlando Villamayor U. Orlando Villamayor U.

Journal of symbolic computation. 2005;39(3-4):465-491. DOI:10.1016/j.jsc.2004.11.014 2005

Algorithmic stratification of for regular algebraic -modules on [0.03%]

Uli Walther Uli Walther

Journal of symbolic computation. 2005;39(3-4):493-499. DOI:10.1016/j.jsc.2004.11.015 2005

Integration of automated reasoning and computer algebra systems [0.03%]

Olga Caprotti; Volker Sorge Olga Caprotti; Volker Sorge

Journal of symbolic computation. 2005;39(5):501-502. DOI:10.1016/j.jsc.2004.12.001 2005

The meaning of infinity in calculus and computer algebra systems [0.03%]

Michael Beeson; Freek Wiedijk Michael Beeson; Freek Wiedijk

Journal of symbolic computation. 2005;39(5):523-538. DOI:10.1016/j.jsc.2004.12.002 2005

Automated conjecture making in number theory using HR, Otter and Maple [0.03%]

Simon Colton Simon Colton

Journal of symbolic computation. 2005;39(5):593-615. DOI:10.1016/j.jsc.2004.12.003 2005

Dealing with algebraic expressions over a field in Coq using Maple [0.03%]

David Delahaye; Micaela Mayero David Delahaye; Micaela Mayero

Journal of symbolic computation. 2005;39(5):569-592. DOI:10.1016/j.jsc.2004.12.004 2005

Hidden verification for computational mathematics [0.03%]

Hanne Gottliebsen; Tom Kelsey; Ursula Martin Hanne Gottliebsen; Tom Kelsey; Ursula Martin

Journal of symbolic computation. 2005;39(5):539-567. DOI:10.1016/j.jsc.2004.12.005 2005

Reduction strategies in rewriting and programming [0.03%]

Bernhard Gramlich; Salvador Lucas Bernhard Gramlich; Salvador Lucas

Journal of symbolic computation. 2005;40(1):745-747. DOI:10.1016/j.jsc.2004.12.006 2005