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 --- AI (artificiële intelligentie)

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

Choose an application

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

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning. .

Artificial intelligence. --- Computer science. --- Artificial Intelligence. --- Math Applications in Computer Science. --- Mathematical Logic and Formal Languages. --- Information Systems Applications (incl. Internet). --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence --- Logic, Symbolic and mathematical --- Automatic theorem proving --- Computer science—Mathematics. --- Mathematical logic. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism