相关论文: WZ Theory, Chapter II
Lattice current algebras were introduced as a regularization of the left- and right moving degrees of freedom in the WZNW model. They provide examples of lattice theories with a local quantum symmetry $U_q(\sg)$. Their representation theory…
Project of an undergraduate student in physics (4th year) about the concept of quantum computers (QC) and its social impact. After a thourough theoretical introduction (chap. 2), the recent debate about NMR-based QC is dealt with in detail…
We give a brief account of the current limitations and possibilities in the field of computational simulation of materials. We then focus on the effect that the emergence of machine learning interatomic potentials is having on the field and…
One of the fundamental results in computability is the existence of well-defined functions that cannot be computed. In this paper we study the effects of data representation on computability; we show that, while for each possible way of…
L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra.
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indispensable. We analyze the implications of this trend towards…
The computational abilities of theories within the generalised probabilistic theory framework has been the subject of much recent study. Such investigations aim to gain an understanding of the possible connections between physical…
Papert's (1980) work with Turtle Geometry offered an early and provocative vision of how digital technologies could be used with young learners. Since then, research on digital technology use has focused on the middle and high school…
We give a mathematical theory of the wetting phenomenon in the 2D Ising model using the formalism of Gibbs states. We treat the grand canonical and canonical ensembles.
With the relentless rise of computer power, there is a widespread expectation that computers can solve the most pressing problems of science, and even more besides. We explore the limits of computational modelling and conclude that, in the…
Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for…
Some contemporary views of the universe assume information and computation to be key in understanding and explaining the basic structure underpinning physical reality. We introduce the Computable Universe exploring some of the basic…
This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including…
Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems systems with precise grammars and rules of use. Building on such foundations, computational proof…
To better understand the deep significance of our best physical theories it could be interesting to compare our Universe with its models. It may happen that the differences between the model and reality can be made indistinguishable, to the…
We survey some algebraic geometric aspects of mirror symmetry and duality in string theory. Some applications of computer algebra to algebraic geometry and string theory are shortly reviewed.
The world of mathematics is often considered abstract, with its symbols, concepts, and topics appearing unrelated to physical objects. However, it is important to recognize that the development of mathematics is fundamentally influenced by…
Euclid pioneered the concept of a mathematical theory developed from axioms by a series of justified proof steps. From the outset there were critics and improvers. In this century the use of computers to check proofs for correctness sets a…
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).