You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The papers collected here present an up-to-date record of the current research developments in the fields of real algebraic geometry and quadratic forms. Articles range from the technical to the expository and there are also indications to new research directions.
The question of what caused the Spanish Civil War (1936–39) is the central focus of modern Spanish historiography. In Ghosts of Passion, Brian D. Bunk argues that propaganda related to the revolution of October 1934 triggered the broader conflict by accentuating existing social tensions surrounding religion and gender. Through careful analysis of the images produced in books, newspapers, posters, rallies, and meetings, Bunk contends that Spain’s civil war was not inevitable. Commemorative imagery produced after October 1934 bridged the gap between rhetoric and action by dehumanizing opponents and encouraging violent action against them. In commemorating the uprising, revolutionaries and conservatives used the same methods to promote radically different political agendas: they deployed religious imagery to characterize the political situation as a battle between good and evil, with the fate of the nation hanging in the balance, and exploited traditional gender stereotypes to portray themselves as the defenders of social order against chaos. The resulting atmosphere of polarization combined with increasing political violence to plunge the country into civil war.
Penned by a seasoned physician with 30 years of experience, this book is an essay that conducts a profound analysis of the doctor-patient relationship. It addresses topics such as the current dominance of scientism as a guide for medical practice, the difference between shamanism and quackery, the legitimacy of the use of placebos, the role that lies play in the doctor-patient relationship, and many others. The author employs a clear and straightforward language, making it accessible to a wide audience. Real-life anecdotes abound, drawn from daily practice, providing an authentic glimpse into the medical profession. Additionally, it is enriched with numerous scholarly notes, offering valuable insights. Tailored for both medical professionals and the general public, this book serves as a reminder that we are all potential patients. After reading it, anyone will understand the reasons why each medical case is approached in a specific manner, making it a worthwhile read for those seeking a comprehensive understanding of this matter.
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is...
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.
None
The first DIMACS special year, held during 1989-1990, was devoted to discrete and computational geometry. More than 200 scientists, both long- and short-term visitors, came to DIMACS to participate in the special year activities. Among the highlights were six workshops at Rutgers and Princeton Universities that defined the focus for much of the special year. The workshops addressed the following topics: geometric complexity, probabilistic methods in discrete and computational geometry, polytopes and convex sets, arrangements, and algebraic and practical issues in geometric computation. This volume presents some of the results growing out of the workshops and the special year activities. Containing both survey articles and research papers, this collection presents an excellent overview of significant recent progress in discrete and computational geometry. The diversity of these papers demonstrate how geometry continues to provide a vital source of ideas in theoretical computer science and discrete mathematics as well as fertile ground for interaction and simulation between the two disciplines.
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. T...