External Links

    Journal: Journal of Symbolic Computation

    Volume 39, Issue 5

    501 -- 502Olga Caprotti, Volker Sorge. Integration of automated reasoning and computer algebra systems
    503 -- 521Alessandro Armando, Clemens Ballarin. A reconstruction and extension of Maple s assume facility via constraint contextual rewriting
    523 -- 538Michael Beeson, Freek Wiedijk. The meaning of infinity in calculus and computer algebra systems
    539 -- 567Hanne Gottliebsen, Tom Kelsey, Ursula Martin. Hidden verification for computational mathematics
    569 -- 592David Delahaye, Micaela Mayero. Dealing with algebraic expressions over a field in Coq using Maple
    593 -- 615Simon Colton. Automated conjecture making in number theory using HR, Otter and Maple
    runs on