Login / Signup

Combining logical and algebraic techniques for natural style proving in elementary analysis.

Róbert VajdaTudor JebeleanBruno Buchberger
Published in: Math. Comput. Simul. (2009)
Keyphrases
  • data analysis
  • statistical analysis
  • data sets
  • multi agent
  • special case
  • data warehouse