Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Computer science. --- Programming languages (Electronic computers). --- Computers. --- Mathematical logic. --- Artificial intelligence. --- Computer graphics. --- Algorithms. --- Computer Science. --- Theory of Computation. --- Programming Languages, Compilers, Interpreters. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Computer Graphics. --- Automatic theorem proving --- Congresses --- Logic [Symbolic and mathematical ] --- Geometry --- Information theory. --- Artificial Intelligence. --- Algorism --- Algebra --- Arithmetic --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Foundations --- Digital techniques --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Presents tackling differential equations using advanced methods and software tools of symbolic computation. This book focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.

Differential equations. --- Differential equations, Partial. --- Algorithms. --- Partial differential equations --- 517.91 Differential equations --- Differential equations --- Algorism --- Algebra --- Arithmetic --- Foundations --- Differential equations, partial. --- Computer science --- Partial Differential Equations. --- Computational Mathematics and Numerical Analysis. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematics --- Partial differential equations. --- Computer mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The boo

Geometry --- Mathematics --- Euclid's Elements --- Data processing. --- Computer programs. --- Geometric computation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Geometry --- Discrete mathematics --- Mathematical statistics --- Geology. Earth sciences --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- patroonherkenning --- factoranalyse --- discrete wiskunde --- grafische vormgeving --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- geometrie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ordered algebraic structures --- Mathematical physics --- Equations --- Automatic theorem proving. --- Numerical solutions --- Data processing. --- Automatic theorem proving --- 519.68 --- 519.68 Computer programming --- Computer programming --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Algebra --- Mathematics --- Numerical solutions&delete& --- Data processing