About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 39. Chapters: Model checkers, SAT solvers, SMT solvers, Theorem proving software systems, Mathematica, Isabelle, Gandalf, ACL2, Metamath, Construction and Analysis of Distributed Processes, List of model checking tools, Promela, KeY, Logic Theorist, Fastest, E theorem prover, Uclid, DPLL algorithm, Markov Reward Model Checker, MALPAS Software Static Analysis Toolset, Twelf, B-Method, Nqthm, CARINE, Frama-C, NuSMV, Mizar system, TAPAs model checker, Alloy Analyzer, Spec Sharp, ESC/Java, Rodin tool, Mathematics Mechanization and Automated Reasoning Platform, Beaver bit-vector decision procedure, CoreASM, Prover9, MASON, ExSpecT, Vampire, PAT, Romeo Model Checker, SPIN model checker, FDR2, Uppaal Model Checker, Tau, PRISM model checker, Libdmc, Perfect Developer, BLAST model checker, OBJ, CPN-AMI, Vereofy, Larch Prover, CHIC, Chaff algorithm, MCRL2, RAISE, Rabbit Model Checker, FSA Utilities, SPASS, CHESS model checker, EQP, OBJ3, Geometry Expert, Lean theorem prover, GRASP, Theorem Proving System, Satz. Excerpt: Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing. It was conceived by Stephen Wolfram and is developed by Wolfram Research of Champaign, Illinois. Dini's surface plotted with adjustable parametersFeatures of Mathematica include: Mathematica is split into two parts, the kernel and the front end. The kernel interprets expressions (Mathematica code) and returns result expressions. The front end, designed by Theodore Gray, provides a GUI, which allows the creation and editing of Notebook documents containing program code with prettyprinting, formatted text together with results including typeset mathematics, graphics, GUI components, tables, and sounds. All contents and formatting can be generated algorithmically or interactively edit...
