Pages that link to "Item:Q2456560"
From MaRDI portal
The following pages link to Dealing with algebraic expressions over a field in Coq using Maple (Q2456560):
Displaying 6 items.
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system (Q2852041) (← links)
- A simple canonical representation of rational numbers (Q4924543) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- (Q5856420) (← links)