Analytica
From MaRDI portal
Cited in
(50)- Hidden verification for computational mathematics
- ProofWidgets
- Automatic derivation of the irrationality of \(e\)
- Foundations of Software Science and Computation Structures
- On the role of OpenMath in interactive mathematical documents
- scientific article; zbMATH DE number 1222425 (Why is no real title available?)
- Exploring abstract algebra in constructive type theory
- Generation and presentation of formal mathematical documents
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- Analytica --- an experiment in combining theorem proving and symbolic computation
- Extending a Resolution Prover for Inequalities on Elementary Functions
- A formal framework for managing mathematics
- A heuristic prover for elementary analysis in \textit{Theorema}
- A fully automatic theorem prover with human-style output
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Formal and efficient primality proofs by use of computer algebra oracles
- MetiTarski: An automatic theorem prover for real-valued special functions
- scientific article; zbMATH DE number 1497752 (Why is no real title available?)
- Enabling symbolic and numerical computations in HOL Light
- A Skeptic's approach to combining HOL and Maple
- AXIOM
- Theorema
- CAS/PI
- OMRS
- EAT
- IMPS
- VSDITLU
- LEGO
- CtCoq
- PROSPER
- Mathpert
- Emacs
- EVES
- Omega-MKRP
- PROVERB
- CoDe
- A comparison of tools for teaching formal software verification
- Integrating computer algebra into proof planning
- Evaluating general purpose automated theorem proving systems
- Knowledge-based proof planning
- MetiTarski's menagerie of cooperating systems
- Mathematical Knowledge Management
- A bi-directional extensible interface between Lean and Mathematica
- An overview of a formal framework for managing mathematics
- Duration consistency filtering for qualitative simulation
- IMPS: An interactive mathematical proof system
- Modelling algebraic structures and morphisms in ACL2
- The control layer in open mechanized reasoning systems: Annotations and tactics
- scientific article; zbMATH DE number 1926638 (Why is no real title available?)
This page was built for software: Analytica
