Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Computer science --- ALGEBRA --- Machine theory --- data processing --- #TCPW:boek --- 681.3*F32 --- 681.3*I1 --- 681.3*J2 --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Algebraic manipulation (Computing methodologies) --- Physical sciences and engineering (Computer applications) --- 681.3*J2 Physical sciences and engineering (Computer applications) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- ALGEBRA - data processing --- Machine theory - data processing
Choose an application
Algebra --- -Machine theory --- -681.3*I1 --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Mathematics --- Mathematical analysis --- Data processing --- Algebraic manipulation (Computing methodologies) --- Machine theory --- Data processing. --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*I1
Choose an application
Choose an application
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger’s successor as director of the Research Institute for Symbolic Computation.
Algorithms. --- Computer science -- Mathematics -- Philosophy. --- Computer software. --- Information theory. --- Logic, Symbolic and mathematical. --- Logic. --- Mathematics. --- Mathematics -- Philosophy. --- Engineering & Applied Sciences --- Computer Science --- Software engineering. --- Computer software engineering --- Math --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Communication theory --- Software, Computer --- Algorism --- Computers. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Mathematical Software. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Engineering --- Science --- Computer systems --- Algebra --- Arithmetic --- Foundations --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Philosophy.
Choose an application
This book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepark Hagenberg in Austria. Started in 1987, following a decision of the government of Upper Austria to create a scientific, technological, and economic impulse for the region and for the international community, Softwarepark Hagenberg has grown in size to over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs at the bachelor’s, master’s and PhD levels. The overall goal of Softwarepark Hagenberg is economic stimulation through innovative software technologies. The contributions in this book provide an overview of current research in the field of software science and related areas pursued at the six research institutions of Softwarepark Hagenberg. The subjects addressed range from computational logic and mathematics to software science and applied technologies. The message of this book is that economic and scientific innovation can only be achieved by emphasizing basic and applied research.
Computer science -- Research. --- Software Engineering. --- Softwarepark Hagenberg. --- Computer science --- Engineering & Applied Sciences --- Computer Science --- Research --- Information Technology --- Software Engineering --- Computer science. --- Informatics --- Computer communication systems. --- Software engineering. --- Computers. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- User Interfaces and Human Computer Interaction. --- Theory of Computation. --- Science --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Cybernetics --- 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 --- Computer software engineering --- Engineering --- Application software. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Distributed processing
Choose an application
The theory of Gröbner bases, invented by Bruno Buchberger, is a general method by which many fundamental problems in various branches of mathematics and engineering can be solved by structurally simple algorithms. The method is now available in all major mathematical software systems. This book provides a short and easy-to-read account of the theory of Gröbner bases and its applications. It is in two parts, the first consisting of tutorial lectures, beginning with a general introduction. The subject is then developed in a further twelve tutorials, written by leading experts, on the application of Gröbner bases in various fields of mathematics. In the second part are seventeen original research papers on Gröbner bases. An appendix contains the English translations of the original German papers of Bruno Buchberger in which Gröbner bases were introduced.
Gröbner bases. --- Coding theory --- Gröbner basis theory --- Commutative algebra --- Geometry, Algebraic --- Géométrie algébrique. --- Algorithms --- Algorithmes. --- Anneaux de polynômes. --- Polynomial rings. --- Algèbres commutatives. --- Polynômes --- Polynomials --- 512.56 --- 512.56 Lattices, including Boolean rings and algebras --- Lattices, including Boolean rings and algebras --- Grobner bases. --- Géométrie algébrique --- Algorithmes --- Anneaux de polynômes. --- Algèbres commutatives. --- Polynômes
Choose an application
Choose an application
Choose an application
Computer science --- Algebra --- Machine theory --- Algèbre --- Automates mathématiques, Théorie des --- Data processing --- Informatique --- Algèbre --- Automates mathématiques, Théorie des
Choose an application
Listing 1 - 10 of 19 | << page >> |
Sort by
|