Pages that link to "Item:Q3453117"
From MaRDI portal
The following pages link to Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117):
Displaying 3 items.
- A system simulating representation change phenomena while problem solving (Q929765) (← links)
- A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations (Q1698462) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)