IsaMorph 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 all top 5 Cited by 6 Authors 1 Angelova, Jordanka A. 1 Cancès, Eric 1 Friesecke, Gero 1 Helgaker, Trygve Ulf 1 Klemens, Ben 1 Lin, Lin Cited in 2 Serials 1 International Journal of Pure and Applied Mathematics 1 Oberwolfach Reports Cited in 5 Fields 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) Citations by Year