Search results

Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. The purpose of this paper is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as the DPS.

Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create links from mathematical symbols to their definitions in the NIST Digital Library of Mathematical Functions (DLMF). The authors are using these macros to perform rule-based translations between the formulae in the DLMF and CAS. Moreover, the authors develop software to ease the creation of new rules and to discover inconsistencies.

The authors created 396 mappings and translated 58.8 percent of DLMF formulae (2,405 expressions) successfully between Maple and DLMF. For a significant percentage, the special function definitions in Maple and the DLMF were different. An atomic symbol in one system maps to a composite expression in the other system. The translator was also successfully used for automatic verification of mathematical online compendia and CAS. The evaluation techniques discovered two errors in the DLMF and one defect in Maple.

This paper introduces the first translation tool for special functions between LaTeX and CAS. The approach improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.

Conscious of the benefits building information modeling (BIM) has brought about to the architecture, engineering, construction and operations (AECO) industry, the Chinese government has been driving BIM adoption. Nonetheless, its acceptance and proliferation in China remain stagnant. Most relevant literature focuses on BIM diffusion at the industry and organizational levels, but the impact of non-managerial practitioners executing BIM or the traditional drafting approach in day-to-day work tends to be disregarded. This study aims to extend theoretical models pertaining to technology acceptance to understand non-managerial practitioners’ perceptions toward working with BIM in China.

A new BIM acceptance model was proposed based on previous technology acceptance theories. After a pilot study, a survey was conducted with 153 non-managerial practitioners in the Chinese AECO industry.

Among factors impacting non-managerial practitioners’ BIM acceptance in China, performance expectancy and task-technology fit significantly and positively influence behavioral intention to accept BIM, while the impacts from effort expectancy, social influence and facilitating conditions are not essential.

Management strategies, such as improving non-managerial staff’s benefits and sense of BIM usefulness, selecting suitable tools to match with the staff’s tasks and promoting a middle-out approach in parallel with top-down interventions, are proposed for Chinese AECO organizations to enhance BIM acceptance.

Few studies have explored BIM acceptance from the perspective of non-managerial users in the Chinese AECO industry, especially using the theories related to technology acceptance. The BIM acceptance model developed in this study is different from those used in previous global studies in terms of influencing factors.