The following pages link to Analytica (Q22439):
Displayed 33 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- A comparison of tools for teaching formal software verification (Q1019026) (← links)
- A Skeptic's approach to combining HOL and Maple (Q1272607) (← links)
- Analytica --- an experiment in combining theorem proving and symbolic computation (Q1272608) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Duration consistency filtering for qualitative simulation (Q1810898) (← links)
- An overview of a formal framework for managing mathematics (Q1810918) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- A heuristic prover for elementary analysis in \textit{Theorema} (Q2128808) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- (Q2760868) (← links)
- (Q2767940) (← links)
- MetiTarski’s Menagerie of Cooperating Systems (Q2849476) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- Extending a Resolution Prover for Inequalities on Elementary Functions (Q3498456) (← links)
- (Q4217949) (← links)
- (Q4499163) (← links)
- (Q4707766) (← links)
- (Q4808728) (← links)
- Exploring abstract algebra in constructive type theory (Q5210799) (← links)
- Foundations of Software Science and Computation Structures (Q5308469) (← links)
- Mathematical Knowledge Management (Q5313058) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- Automatic derivation of the irrationality of \(e\) (Q5950931) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)