TY  - JOUR
AB  - Finite element‐based PDE solver software systems are typically method‐driven. The user has to supply the data in a particular form required by a numerical method. The method refuses to start if the data is in incorrect format, and breaks down if correctly formatted data is insufficient or inconsistent. However, software can be made more flexible with data‐driven approach. The decisions on existence and uniqueness of the solution, as well as the choice of suitable computing methods are based on the data. This calls for a new stage of data processing for a solver, which is not essentially an expert system. The questions are formalizable and their solution must be based on efficient and robust computational techniques. We present an elementary computational technique for automatic treatment of topological problems arising from potential theory, boundary condition inspection, and coupled problems. The approach is based on computing Smith normal form of the non‐oriented boundary operator matrices, whose elements are from the ring N mod 2, i.e. only 0s and 1s, instead of the integers. This approach obviates the problems of excessive computation time and risk of overflow in integer computations.
VL  - 22
IS  - 3
SN  - 0332-1649
DO  - 10.1108/03321640310474886
UR  - https://doi.org/10.1108/03321640310474886
AU  - Suuriniemi Saku
AU  - Kettunen Lauri
PY  - 2003
Y1  - 2003/01/01
TI  - Trade‐off between information and computability: a technique for automated topological computations
T2  - COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
PB  - MCB UP Ltd
SP  - 481
EP  - 494
Y2  - 2024/04/23
ER  -