Sciweavers

AISC
1998
Springer
14 years 1 months ago
Real Parametrization of Algebraic Curves
There are various algorithms known for deciding the parametrizability (rationality) of a plane algebraic curve, and if the curve is rational, actually computing a parametrization....
J. Rafael Sendra, Franz Winkler
AISC
1998
Springer
14 years 1 months ago
Basic Completion with E-cycle Simplification
Christopher Lynch, Christelle Scharff
AISC
1998
Springer
14 years 1 months ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
AISC
1998
Springer
14 years 1 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
Ian Horrocks, Peter F. Patel-Schneider
AISC
1998
Springer
14 years 1 months ago
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...
Melvin Fitting
AISC
1998
Springer
14 years 1 months ago
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
Brigitte Pientka, Christoph Kreitz