swMATH ID: 5603
Software Authors: B. Klemens; Achim D. Brucker
Description: IsaMorph is a Linux live CD distribution based on Morphix that features the Isabelle interactive theorem prover. It contains a fully working Isabelle environment supporting proving and document generation.
Homepage: http://www.brucker.ch/projects/isamorph/
Keywords: Scientific/Engineering; Mathematics
Related Software: Apophenia; molsturm; CRYSCOR; SIMPL; reszeta.lib; PDEtools; Sturmian; KSSOLV; cross2D; deal.ii; DIRECT; CometBoards
Cited in: 3 Publications

Citations by Year