Symbolic Computation: Computer Algebra and Logic (1996)

View PDF

Download Links

by Bruno Buchberger
Venue:Frontiers of Combining Systems, Applied Logic Series
Citations:26 - 2 self

Active Bibliography

713 A Mathematical Introduction to Robotic Manipulation – Richard M. Murray, Zexiang Li, S. Shankar Sastry - 1994
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
299 Estimation of relative camera positions for uncalibrated cameras – Richard I. Hartley - 1992
295 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
269 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991
264 Functional Phonology -- Formalizing the interactions between articulatory and perceptual drives – Paulus Petrus Gerardus Boersma - 1998
202 On the Origins of Power Laws in Internet Topologies – Alberto Medina, Ibrahim Matta, John Byers
200 On the Combinatorial and Algebraic Complexity of Quantifier Elimination – Saugata Basu, Richard Pollack, Marie-Francoise Roy - 1996
201 Surface Modeling with Oriented Particle Systems – Richard Szeliski, David Tonnesen - 1991