You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (6)

Journals (0)

1-6 of 6 results for soundness of computer algebra systems

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Retricted access

Research article

First published 1999-8

A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Clemens Ballarin, Lawrence C. Paulson

Fundamenta Informaticae

Select article: McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Retricted access

Research article

First published 1996-5

McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS

Beata Konikowska

Fundamenta Informaticae

Select article: Specification and Integration of Theorem Provers and Computer Algebra Systems

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: Software Reviews : Mathematica for Windows Publisher: Wolfram Research,ioo Trade Center Dr.,Champaign,IL 61820-7237;217-398-0700;800-441-MATH;FAX 217-398-0747;E-mail INFO@WRI.COM. Year of Publication: 1992 Version Reviewed: 2.1 Materials: four high-density disks (both 3.5" and 5.25" formats);114- page User's Guide;306-page Guide to Standard Mathematica Packages;151-page Mathematica Warning Messages;960-page textbook,Mathematica: A System for Doing Mathematics by Computer,2d ed.,by Stephen Wolfram,(1991,Addison-Wesley,publ.) Price: $795 for enhanced version;$475 for standard version. Standard version is identical but will not support a math coprocessor. Educational and student discounts are available. Machine Specificity: 386-based Pc systems with Windows 3.1;Apple Macintosh;DEC VAX;SunSparc;and other minicomputer platforms. Realtime 3-D is available on IBM RISC platforms. System Requirements: For 386 system: 640K + 4MB RAM,Windows 3.1,VGA or better. Macintosh: 4MB partition,system 7,68020 processor for enhanced version. Effectiveness: Excellent User Friendliness: Excellent Documentation: Excellent

Retricted access

Review article

First published 1993-07

Software Reviews : Mathematica for Windows Publisher: Wolfram Research,ioo Trade Center Dr.,Champaign,IL 61820-7237;217-398-0700;800-441-MATH;FAX 217-398-0747;E-mail INFO@WRI.COM. Year of Publication: 1992 Version Reviewed: 2.1 Materials: four high-density disks (both 3.5" and 5.25" formats);114- page User's Guide;306-page Guide to Standard Mathematica Packages;151-page Mathematica Warning Messages;960-page textbook,Mathematica: A System for Doing Mathematics by Computer,2d ed.,by Stephen Wolfram,(1991,Addison-Wesley,publ.) Price: $795 for enhanced version;$475 for standard version. Standard version is identical but will not support a math coprocessor. Educational and student discounts are available. Machine Specificity: 386-based Pc systems with Windows 3.1;Apple Macintosh;DEC VAX;SunSparc;and other minicomputer platforms. Realtime 3-D is available on IBM RISC platforms. System Requirements: For 386 system: 640K + 4MB RAM,Windows 3.1,VGA or better. Macintosh: 4MB partition,system 7,68020 processor for enhanced version. Effectiveness: Excellent User Friendliness: Excellent Documentation: Excellent

Social Science Computer Review

Select article: Acuity of Sound Localisation: A Topography of Auditory Space. I. Normal Hearing Conditions

Retricted access

Research article

First published 1984-10

Acuity of Sound Localisation: A Topography of Auditory Space. I. Normal Hearing Conditions

Simon R Oldfield, Simon P A Parker

Perception

1
10 / page

Article type

Publication date

Subjects

Access