الصفحة 1
الصفحة 1
Types for Proofs and Programs ; International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 28th International Conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Tools and Algorithms for the Construction and Analysis of Systems ; 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Thomas Harriots artis analyticae praxis = Thomas Harriots analytical art practice : An English translation with commentary
The present work is the first ever English translation of the original text of Thomas Harriot's Artis Analyticae Praxis, first published in 1631 in Latin. Thomas Harriot's Praxis is an essential work in the history of algebra. Even though Harriot's contemporary, Viete, was among the first to use literal symbols to stand for known and unknown quantities, it was Harriott who took the crucial step of creating an entirely symbolic algebra. This allowed reasoning to be reduced to a quasi-mechanical manipulation of symbols.
Theoretical Computer Science ; Vol. 3701 ; 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005. The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.
The Universe in a Handkerchief : Lewis Carroll’s Mathematical Recreations, Games, Puzzles, and Word Plays
This book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose interests ranged from inventing new games like Arithmetical Croquet to important problems in symbolic logic and propositional calculus. Written by Carroll expert and well-known mathematics author Martin Gardner, this tour through Carroll's inventions is both fun and informative.
The Mathematica GuideBook for Symbolics
"The Mathematica GuideBook for Symbolics"deals with Mathematica's symbolic mathematical capabilities. Structural and mathematical operations on single and systems of polynomials are fundamental to many symbolic calculations and they are covered in considerable detail. The solution of equations and differential equations, as well as the classical calculus operations (differentiation, integration, summation, series expansion, limits) are exhaustively treated.
The Innermost Kernel : Depth Psychology and Quantum Physics. Wolfgang Pauli's Dialogue with C.G. Jung
"The Innermost Kernel" recounts the physicist and Nobel Laureate Wolfgang Pauli and his interest in Jungian psychology, philosophy and western world-view. It is also an exploration of the intellectual setting and context of Pauli's thinking, which has its starting point in the cultural and intellectual climate of fin-de-siècle Europe. As a contribution to the general history of quantum physics this study has a special focus on the psychological and philosophical issues discussed by physicists belonging to the Copenhagen school. The work is mainly based on the correspondence of the principle characters and explores some of the central issues discussed there, as for instance the subject-object relation, complementarity, the relation of conscious and unconscious, the process underlying concept-formation, the psychology of scientific discovery, the symbolic world of alchemy, the theories of archetypes and of synchronicity. Ultimately this book is about a remarkable scientist searching for a new understanding of the interrelatedness of man and world.
The Fourfold Way in Real Analysis : An Alternative to the Metaplectic Representation
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, both on the real line and the pure imaginary line. A major part of classical analysis, mainly that which deals with Fourier analysis and related concepts, can then be given a parameter-dependent analogue. The parameter is some real number modulo 2, the classical case being obtained when it is an integer. The space L2(R) has to give way to a pseudo-Hilbert space, on which a new translation-invariant integral still exists. All this extends to the n-dimensional case, and in the alternative to the metaplectic representation so obtained, it is the space of Lagrangian subspaces of R2n that plays the usual role of the complex Siegel domain. In fourfold analysis, the spectrum of the harmonic oscillator can be an arbitrary class modulo the integers.
The Didactical Challenge of Symbolic Calculators : Turning a Computational Device into a Mathematical Instrument
This text offers the first English-language exposition of how an innovative synthesis of the theories of instrumentation and didactics can be used to illuminate the complexities of technology integration. It offers important guidance for policy and practice through its analysis of the central role of the teacher and its identification of key principles for effective didactical design and management. These distinctive features make this book essential reading for researchers, teacher educators, and graduate students in mathematics education and technology in education, as well as for teachers of mathematics at upper-secondary and university levels
The Death of Fashion : The Passage Rite of Fashion in the Show Window
When, for a few weeks each year, Western fashion victims become red-hot with excitement waiting for the fashion sales to take place, they are unconsciously following an ancient sacrificial ritual. Just as in ancient Greece, the God of Fertility had to be killed during the Dionysia in order to be resurrected, the season’s fashion has today to be symbolically sacrificed in order for the shop windows to be filled with something new. Harald Gruendl, who with EOOS designs shopping temples for such as Armani and Adidas, here observes the death and resurrection of fashion in the shop windows of Paris, London, New York, Hamburg and Vienna at sales time. In his book he shows why archaic scenes of darkness, nakedness and chaos briefly dominate the shopping streets of the fashion metropolises, and why people buy (and have to).
The Arché Papers on the Mathematics of Abstraction
Collects together a number of important papers concerning both the method of abstraction generally and the use of particular abstraction principles to reconstruct central areas of mathematics along logicist lines. the present volume is unique in presenting a thorough going examination of the mathematical aspects of the neo-logicist project (and the particular philosophical issues arising from these technical concerns). Attention is focused on extending the Neo-Fregean treatment to all of mathematics, with the reconstruction of real analysis from various cut - or cauchy-sequence-related abstraction principles and the reconstruction of set theory from various restricted versions of Basic Law V as case studies. As a result, the volume provides a test of the scope and limits of the neo-logicist project, detailing what has been accomplished and outlining the desiderata still outstanding.
Tests and Proofs ; 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ideas from both areas for the advancement of software quality. Topics addressed are generation of test cases, oracles, or preambles by theorem proving, model checking, symbolic execution, or constraint logic programming; generation of specifications by deduction; verification techniques combining proofs and tests; program proving with the aid of testing techniques; transfer of concepts from testing to proving; automatic tools; formal frameworks; as well as case studies.
Tests and Proofs ; 1st International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.
Tests and Proofs ; 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Symbolic-Numeric Computation
The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. This book with 23 chapters presents original research and tutorial survey on the integration and interaction of symbolic and numeric computations. It represents the current state of the art and will serve as a valuable reference on the development of algorithms and software packages for hybrid symbolic-numeric computation.
Symbolic Integration I : Transcendental Functions
Destined to become the standard reference work in the field. Manuel Bronstein is a leading expert on this topic and his book is the first to treat the subject both comprehensively and in sufficient detail - incorporating new results along the way. The book addresses mathematicians and computer scientists interested in symbolic computation, developers and programmers of computer algebra systems as well as users of symbolic integration methods. Many algorithms are given in pseudocode ready for immediate implementation, making the book equally suitable as a textbook for lecture courses on symbolic integration.
Symbolic and quantitative approaches to reasoning with uncertainty ; 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings
Coverage in the 78 revised full papers, presented together with three invited papers, includes Bayesian networks, graphical models, learning causal networks, planning, causality and independence, preference modeling and decision, argumentation systems, inconsistency handling, and uncertainty measures.
