Automated computation and consistency checking of physical dimensions and units in scientific programs
From MaRDI portal
Publication:2783366
DOI10.1002/SPE.401zbMath0987.68784DBLPjournals/spe/Petty01OpenAlexW2172082781WikidataQ56041770 ScholiaQ56041770MaRDI QIDQ2783366
Publication date: 26 June 2002
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.401
Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
This page was built for publication: Automated computation and consistency checking of physical dimensions and units in scientific programs