Automated Practical Reasoning: Algebraic Approaches (Texts & Monographs in Symbolic Computation) - Pasta blanda

EAN (ISBN-13): 9783211826003
ISBN (ISBN-10): 3211826009
Tapa blanda
Año de publicación: 2001
Editorial: Pfalzgraf, Jochen, Wang, Dongming, Springer

Libro en la base de datos desde 2008-12-11T17:16:11-06:00 (Mexico City)
Página de detalles modificada por última vez el 2021-07-10T08:12:23-05:00 (Mexico City)
ISBN/EAN: 3211826009

ISBN - escritura alterna:
3-211-82600-9, 978-3-211-82600-3
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: pfalzgraf
Título del libro: automated reasoning, practical reasoning

---

Datos del la editorial

Autor: Jochen Pfalzgraf; Dongming Wang
Título: Texts and Monographs in Symbolic Computation; Automated Practical Reasoning - Algebraic Approaches
Editorial: Springer; Springer Wien
223 Páginas
Año de publicación: 1995-03-01
Vienna; AT
Peso: 0,460 kg
Idioma: Inglés
85,55 € (DE)
87,95 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Wissensbasierte Systeme, Expertensysteme; Verstehen; computer algebra; robot; proving; computer; Reasoning; logic; geometry; algorithms; modeling; algorithm; theorem proving; robotics; C; Special Purpose and Application-Based Systems; Computer Science; Programming Techniques; Mathematical Logic and Formal Languages; Algorithms; Symbolic and Algebraic Manipulation; Mathematical Logic and Foundations; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Numerische Mathematik; Mathematik für Informatiker; Mathematische Grundlagen; Mathematik: Logik; EA

An algorithm for solving systems of algebraic equations in three variables.- 1 Introduction.- 2 Definitions.- 3 Basic properties of primitive polynomial remainder sequences and elimination sequences.- 4 Application of elimination sequences: solution of systems of algebraic equations.- 5 Systems of algebraic equations in two variables.- 6 Systems of algebraic equations in three variables.- 7 Applications in neural networks theory.- References.- On a general notion of a hull.- 1 Introduction.- 2 Basic notions.- 3 General relational structures.- 4 Some examples.- 5 Prospects.- 6 Concluding remarks.- References.- On robotics scenarios and modeling with fibered structures.- 1 Introduction.- 2 Motivational remarks and background.- 3 Description of the first subscenario.- 4 The logical fibering model.- 5 A proposed model of the general state space of an agent.- 6 Subscenario with autonomous agents.- 7 Conclusion.- References.- On algorithmic parametrization methods in algebraic geometry.- 1 Introduction.- 2 Rational and unirational varieties.- 3 Curves.- 4 Surfaces.- 5 Higher dimensional varieties.- References.- Towards a categorical calculus for critical-pair/completion.- 1 Introduction.- 2 Overview of CPC-procedures.- 3 An axiomatic framework.- 4 A little category theory.- 5 Reversed limits.- 6 A categorical model for CPC-procedures.- References.- CASA: computer algebra software for computing with algebraic sets.- 1 Introduction.- 2 Intersection of algebraic sets — a case study.- 3 Puiseux expansion in CASA.- References.- Reasoning about geometric problems using an elimination method.- 1 Introduction.- 2 An elimination method for polynomial systems.- 3 Mechanical geometry theorem proving.- 4 Automatic derivation of unknown relations.- 5 Automatic derivation of locus equations.- 6 Implicitization of parametric objects.- 7 Existence conditions and detection of singularities.- 8 Decomposition of algebraic varieties.- 9 Inverse robot kinematics.- 10 Intersection of geometric objects.- References.- An implementation of the characteristic set method in Maple.- 1 Introduction and notations.- 2 Description of user functions.- 3 Modifications and strategies.- 4 Test results and remarks.- Appendix: Test problems.- References.- A nonmonotonic extension to Horn-clause logic.- 1 Introduction.- 2 Semantics of nonmonotonic Horn-clause theories.- 3 Soundness and completeness of nonmonotonic Horn-clause theories.- 4 Relationship to model-theoretic semantics.- 5 Conclusion.- References.