
Proof General
 Referenced in 53 articles
[sw04901]
 powerful userinterface with relatively little effort, alleviating the need for a proof assistant ... uniform appearance for diverse proof assistants. par Proof General has a growing user base ... currently used for several interactive proof systems, including Coq, LEGO, and Isabelle. Support for others ... give a brief overview of what Proof General does and the philosophy behind it; technical...

GeoThms
 Referenced in 25 articles
[sw06216]
 GeoThms  a web system for Euclidean constructive geometry GeoThms is a webbased framework ... repository of geometrical constructions, figures and proofs. The GeoThms users can easily use/browse through existing ... functionalities, focusing on the interface solutions required for a system aimed at supporting studying...

Proviola
 Referenced in 10 articles
[sw00737]
 introduce three related concepts, those of: a proof movie, consisting of frames which record both ... ProofWeb system [7]. ProofWeb uncouples the interaction with a PA via a webinterface ... uncouple the reviewing of a formal proof from the PA used to develop...

PVSioweb
 Referenced in 2 articles
[sw11949]
 rapid prototyping device user interfaces in PVS. We present PVSioweb which extends the simulation ... proof system with functionalities for rapid prototyping device user interfaces. The tool presents itself ... layout of the device user interface under development, specify interactive areas over the layout ... explore the behaviour of the formal user interface specification through pointandclick interactions...

AEtnaNova
 Referenced in 8 articles
[sw06360]
 Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either ... rejects as defective. The functionality of this proof verifier and the key issues ... already comprises over 1000 verified proofs, definitions, and ‘theories’.) The paper also discusses enhancements ... proofbystructure, whose addition should make proofs lighter and more readable; an interface...

Referee
 Referenced in 7 articles
[sw12439]
 Computerized Referee. The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text ... rejects as defective. The functionality of this proof verifier and the key issues ... already comprises over 1000 verified proofs, definitions, and ‘theories’.) The paper also discusses enhancements ... proofbystructure, whose addition should make proofs lighter and more readable; an interface...

Orchard
 Referenced in 1 article
[sw28544]
 proof assistant. Orchard is a graphical user interface for manipulating opetopic cells. It provides ... opetopic proof system. I have moved everything to a web based version to make...

webLurch
 Referenced in 2 articles
[sw20925]
 check the steps in students’ mathematical proofs. Users write in a natural language, but mark ... This paper describes the Lurch Web Platform, a system of tools the authors have created ... desktop application to a web application. That system of tools is available on GitHub ... projects. It includes a web editor with mathematical typesetting, an interface for marking up documents...

CGAL
 Referenced in 394 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

COSTA
 Referenced in 24 articles
[sw00162]
 COSTA is a research prototype which performs automatic...

CUTE
 Referenced in 65 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

GCLC
 Referenced in 31 articles
[sw00326]
 We present GCLC/WinGCLC  a tool for visualizing geometrical...

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5369 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 442 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 6343 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13488 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...