Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 1/1998

Content (5 Articles)

Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry

Li Hongbo, Cheng Minteh

Testing Positiveness of Polynomials

Hoon Hong, Dalibor Jakuš

A Framework for Automated Reasoning in Multiple-Valued Logics

James J. Lu, Neil V. Murray, Erik Rosenthal

Nonconstructive Computational Mathematics

Kenneth Kunen

The CADE-14 ATP System Competition

Christian Suttner, Geoff Sutcliffe

Jun 98
Issue: 3/1998
Oct 98
Issue: 2/1998

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits