相关论文: Utilization of technology for mathematical talks. …
The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or the other as to how useful these machines will be. The tools…
The importance of computing in astronomy continues to increase, and so is its impact on the environment. When analyzing data or performing simulations, most researchers raise concerns about the time to reach a solution rather than its…
Computer algebra systems are a great help for mathematical research but sometimes unexpected errors in the software can also badly affect it. As an example, we show how we have detected an error of Mathematica computing determinants of…
We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. This experience report on the use of Racket and Haskell to teach a required first university CS…
This research investigates the potential implications of quantum technology on accounting information systems, and business overall. This endeavor focuses on the vulnerabilities of quantum computers and the emergence of quantum-resistant…
Speaking or writing of political assemblies tends to evoke the action of people gathering to deliberate, or the spaces in which this deliberation might take place. One thing that is often overlooked, however, is the fact that these spaces…
This article discusses epistemological problems in the philosophy of mathematics and issues concerning the reliability of the mathematical literature.
Criticism of the conference model should be put in context. Evidences suggest that the essential features of this model have emerged as responses to challenges posed by current trends of scientific research and the impact of the new…
The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the…
The actuality of material attached to the article is caused by the necessity to develop and implement high-tech information and communication, educational and scientific environment to the leaning process. One of the examples of such…
Symbolic calculators like Mathematica are becoming more commonplace among upper level physics students. The presence of such a powerful calculator can couple strongly to the type of mathematical reasoning students employ. It does not merely…
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…
While novel social networks and emerging technologies help us transcend the spatial and temporal constraints inherent to in-person communication, the trade-off is a loss of natural expressivity. While empathetic interaction is already…
We discuss what hampers the rate of scientific progress in our exponentially growing world. The rapid increase in technologies leaves the growth of research result metrics far behind. The reason for this lies in the education of astronomers…
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…
It is rare to succeed in getting mathematics into ordinary conversation without meeting all kinds of reservations. In order to raise public awareness of mathematics effectively, it is necessary to modify such attitudes. In this paper, we…
Social and technical trends have significantly changed methods for evaluating and disseminating computing research. Traditional venues for reviewing and publishing, such as conferences and journals, worked effectively in the past. Recently,…
Modern science, technology, and politics are all permeated by data that comes from people, measurements, or computational processes. While this data is often incomplete, corrupt, or lacking in sufficient accuracy and precision, explicit…
The paper examines the construction of a course in mathematical analysis at a pedagogical university, aimed at developing the ability of future mathematics teachers to detect and solve problems related to finding proofs. Key words: teaching…
The physical limits to computation have been under active scrutiny over the past decade or two, as theoretical investigations of the possible impact of quantum mechanical processes on computing have begun to make contact with realizable…