Choose an application

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

Computing is an exact science and the systematic study of any aspect necessarily involves the use of mathematical models. Moreover, the rate at which the subject is evolving demands a facility for developing new mathematical systems to keep pace with new computing systems and this requires an appreciation of how mathematics works. An understanding of the underlying mathematical structure facilitates the construction of suitable computer programs to perform computations. Assuming no specific knowledge of mathematics, the authors describe all the basic concepts required and progress from sets (rather than numbers) through a variety of algebraic structures that permit the precise description, specification and subsequent analysis of many problems in computing. The material included provides the essential mathematical foundations for core topics of computer science and extends into the areas of language theory, abstract machine theory and computer geometry. Computer Mathematics will be of interest to undergraduate students of computer science and mathematics, post-graduate computing 'conversion' course students and computer professionals who need an introduction to the mathematics that underpins computer science theory.

Computer science --- Mathematics.

Choose an application

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

This volume collects the papers accepted for presentation at the 11th IMA Conference on the Mathematics of Surfaces, held at Loughborough University, 5th-7th September 2005. As with all earlier conferences in the series, contri- tors to this volume comefrom manycountries. The paperspresented herere?ect the interest in a subject of relevance to mathematics, engineering,and computer science, especially in domains such as computer-aided design, computer vision, and computer graphics. The papers in the present volume include eight invited papers, as well as a larger number of submitted papers. They cover a range of ideas from - derlying theoretical tools to industrial and medical uses of surfaces. The latter category includes such diverse topics as surfaces in car design, and modelling of teeth, while the former includes papers on Voronoi diagrams, linear systems, estimation of curvatures on meshes, operators on meshes, intersection of sub- vision surfaces, approximate parameterization,condition numbers, Pythagorean hodographs,artifactsinB-splinesurfaces,B´ eziersurfacesofminimalenergy,line subdivision, subdivision surfaces, level sets and symmetry, the topology of - gebraic surfaces, curve analysis, interpolation with positivity, and conversion of cyclides to NURBS. Other papers concentrate on particular algorithms arising from applications, such as embedding graphs in manifolds, recoveryof 3D shape from shading, ?nding optimal feedrates for machining, detection of creases in range data, and ?lling holes in range data. We would like to thank all those who attended the conference and helped to make it a success.

Mathematical logic --- Geometry --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- beeldverwerking --- algebra --- discrete wiskunde --- grafische vormgeving --- informatica --- informaticaonderzoek --- geometrie

Choose an application

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

Computer vision. --- Computer science—Mathematics. --- Discrete mathematics. --- Mathematics—Data processing. --- Geometry. --- Computer graphics. --- Computer Vision. --- Discrete Mathematics in Computer Science. --- Computational Science and Engineering. --- Symbolic and Algebraic Manipulation. --- Computer Graphics. --- Surfaces --- Geometry