Mathematical Software - Proceedings Of The First International Congress Of Mathematical Software


Book Description

The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. On the other hand, mathematical research often motivates developments of new algorithms and new systems.This volume contains the papers presented at the First International Congress of Mathematical Software, which aimed at a coherent study of mathematical software systems from a wide variety of branches of mathematics. The book discusses more than one hundred mathematical software systems. Readers can get an overview of the current status of the arts of mathematical software and algorithms.The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)




Mathematical Software - ICMS 2006


Book Description

This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments in computer algebra packages, interfacing computer algebra in mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, and general issues.




Human-Computer Interaction – INTERACT 2019


Book Description

The four-volume set LNCS 11746–11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019. The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named: Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems. Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction. Part IV: user modelling and user studies; user experience; users’ emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops. The chapter ‘Experiencing Materialized Reading: Individuals’ Encounters with Books’ is open access under a CC BY 4.0 license at link.springer.com. The chapter ‘What Is Beautiful Continues to Be Good: People Images and Algorithmic Inferences on Physical Attractiveness’ is open access under a CC BY 4.0 license at link.springer.com.




Physical (A)Causality


Book Description

This book is open access under a CC BY 4.0 license. This book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of the questions that arise are the following: are these limitations reflected by our models? Under what circumstances does chance kick in? Is chance in physics merely epistemic? In other words, do we simply not know enough, or use too crude levels of description for our predictions? Or are certain events "truly", that is, irreducibly, random? The book tries to answer some of these questions by introducing intrinsic, embedded observers and provable unknowns; that is, observables and procedures which are certified (relative to the assumptions) to be unknowable or undoable. A (somewhat iconoclastic) review of quantum mechanics is presented which is inspired by quantum logic. Postulated quantum (un-)knowables are reviewed. More exotic unknowns originate in the assumption of classical continua, and in finite automata and generalized urn models, which mimic complementarity and yet maintain value definiteness. Traditional conceptions of free will, miracles and dualistic interfaces are based on gaps in an otherwise deterministic universe.




A Century of Advancing Mathematics


Book Description

The MAA was founded in 1915 to serve as a home for The American Mathematical Monthly. The mission of the Association-to advance mathematics, especially at the collegiate level-has, however, always been larger than merely publishing world-class mathematical exposition. MAA members have explored more than just mathematics; we have, as this volume tries to make evident, investigated mathematical connections to pedagogy, history, the arts, technology, literature, every field of intellectual endeavor. Essays, all commissioned for this volume, include exposition by Bob Devaney, Robin Wilson, and Frank Morgan; history from Karen Parshall, Della Dumbaugh, and Bill Dunham; pedagogical discussion from Paul Zorn, Joe Gallian, and Michael Starbird, and cultural commentary from Bonnie Gold, Jon Borwein, and Steve Abbott. This volume contains 35 essays by all-star writers and expositors writing to celebrate an extraordinary century for mathematics-more mathematics has been created and published since 1915 than in all of previous recorded history. We've solved age-old mysteries, created entire new fields of study, and changed our conception of what mathematics is. Many of those stories are told in this volume as the contributors paint a portrait of the broad cultural sweep of mathematics during the MAA's first century. Mathematics is the most thrilling, the most human, area of intellectual inquiry; you will find in this volume compelling proof of that claim.




Parallel Processing and Applied Mathematics


Book Description

This two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics, PPAM 2011, held in Torun, Poland, in September 2011. The 130 revised full papers presented in both volumes were carefully reviewed and selected from numerous submissions. The papers address issues such as parallel/distributed architectures and mobile computing; numerical algorithms and parallel numerics; parallel non-numerical algorithms; tools and environments for parallel/distributed/grid computing; applications of parallel/distributed computing; applied mathematics, neural networks and evolutionary computing; history of computing.




Application and Theory of Petri Nets and Concurrency


Book Description

This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.




Surveys in Combinatorics 2003


Book Description

The British Combinatorial Conference is held every two years and is a key event for mathematicians worldwide working in combinatorics. In June 2003 the conference was held at the University of Wales, Bangor. The papers contained here are surveys contributed by the invited speakers and are of the high quality that befits the event. There is also a tribute to Bill Tutte who had a long-standing association with the BCC. The papers cover topics currently attracting significant research interest as well as some less traditional areas such as the combinatorics of protecting digital content. They will form an excellent resource for established researchers as well as graduate students who will find much here to inspire future work.




Mathematical Software – ICMS 2020


Book Description

This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.




The Cinderella.2 Manual


Book Description

Cinderella.2, the new version of the well-known interactive geometry software, has become an even more versatile tool than its predecessor. The geometry component extends the functionality to such spectacular objects as dynamic fractals, and the software includes two major new components: physical simulation such as of mechanical objects, virtual electronic devices, and electromagnetic properties. Cinderella.2 Documentation offers complete instruction and techniques for using Cinderella.2.