Special Issue—Journal of Automated Reasoning

Nonlinear Reasoning

JAR image

A variety of mature techniques for analyzing systems of linear inequalities have been imported to the domain of automated reasoning. In contrast, techniques for nonlinear functions are still being developed and examined. Nonlinear functions may include polynomials, transcendental functions, solutions to differential equations, and many other classes of functions. Symbolic and numerical methods, and combinations of the two, have been considered.

The goal of this special issue is to provide a snapshot of the state of the subject today and the most promising research directions. We welcome submissions that break new ground, as well as those that clarify and explain the central challenges. Examples of suitable topics:

Papers (no longer than 30 pages) should be submitted via easychair.

Special issue editors: Jeremy Avigad (avigad@cmu.edu) and Lawrence C. Paulson (lp15@cam.ac.uk)

Deadline for submissions: 1 March 2014