Methods for justifying arithmetic hypotheses and computer algebra

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.32, Iss.3, 2006-05, pp. : 128-133

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Special Issue on Validated Numerical Methods and Computer Algebra. Foreword of the Guest Editors

By Krandick W. Rump S.

Journal of Symbolic Computation, Vol. 24, Iss. 6, 1997-12 ,pp. : 625-626

Academic Press

Access to resources Recommend Favorite

Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods

By Bogolubsky A. Skorokhodov S.

Programming and Computer Software, Vol. 31, Iss. 2, 2005-03 ,pp. : 103-109

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Economic methods of justifying manufacturing projects

By Ogden Harry

Assembly Automation, Vol. 1, Iss. 3, 1993-12 ,pp. : 136-138

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Deciding Boolean Algebra with Presburger Arithmetic

By Kuncak Viktor Nguyen Huu Rinard Martin

Journal of Automated Reasoning, Vol. 36, Iss. 3, 2006-04 ,pp. : 213-239

Springer Publishing Company

Access to resources Recommend Favorite

Equality in Computer Algebra and Beyond

By Davenport J.H.

Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. : 259-270

Academic Press

Access to resources Recommend Favorite