Discoveries and experiments in the automation of mathematical reasoning

Authors:
Benjamin Price Shults;Larry Hines;Robert Boyer
Affiliations:
-;-;-
Venue:
Discoveries and experiments in the automation of mathematical reasoning
Year:
1997

Citing 0
Cited 1

High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract