# Equation solving

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- AIED
- 2015

Learnersâ€™ step-by-step solutions can offer insight into their misunderstandings. Because of the difficulty of automaticallyâ€¦Â (More)

Is this relevant?

2009

2009

- 2009

This paper explores the development of students! knowledge of mathematical procedures. Students! tendency to develop roteâ€¦Â (More)

Is this relevant?

2008

2008

- J. Mathematical Cryptology
- 2008

This paper considers the geometric properties of the Relinearisation algorithm and of the XL algorithm used in cryptology forâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- 2007

Encouraging students to share and compare solution methods is a key component of reform efforts in mathematics, and comparison isâ€¦Â (More)

Is this relevant?

2003

2003

- Foundations of Computational Mathematics
- 2003

Elimination theory was at the origin of algebraic geometry in the nineteenth century and now deals with the algorithmic solvingâ€¦Â (More)

Is this relevant?

2000

2000

- J. Complexity
- 2000

Suppose we are given a parametric polynomial equation system encoded by an arithmetic circuit, which represents a genericallyâ€¦Â (More)

Is this relevant?

1994

1994

- ISSAC
- 1994

A numerical equation-solving algorithm employing differentiation and interval arithmetic is presented which finds all solutionsâ€¦Â (More)

Is this relevant?

1989

1989

- Theor. Comput. Sci.
- 1989

A method for solving CCS equations of type (AIX)\L ~ B, where X is unknown, is presented. The method is useful in a top-downâ€¦Â (More)

Is this relevant?

1988

1988

- AAAI
- 1988

Solving equations in equational Horn-clause theories is a programming paradigm that combines logic programming and functionalâ€¦Â (More)

Is this relevant?

1983

1983

- IJCAI
- 1983

This paper describes LP*, a program that learns new techniques for solving equations by examining worked examples. Unlike most ofâ€¦Â (More)

Is this relevant?