Results 251 to 260 of about 3,550,947 (277)
Some of the next articles are maybe not open access.
ACM Communications in Computer Algebra, 2012
We propose a new decision procedure for the existential theory of the reals. It performs a backtracking search for a model in R, where the backtracking is powered by a novel conflict resolution procedure based on cylindrical algebraic decomposition. The initial experimental results are very encouraging.
Dejan Jovanović, Leonardo de Moura
openaire +1 more source
We propose a new decision procedure for the existential theory of the reals. It performs a backtracking search for a model in R, where the backtracking is powered by a novel conflict resolution procedure based on cylindrical algebraic decomposition. The initial experimental results are very encouraging.
Dejan Jovanović, Leonardo de Moura
openaire +1 more source
Theory and Decision, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andersen, Steffen +4 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andersen, Steffen +4 more
openaire +3 more sources
Physical Review, 1949
This is the first paper in a program concerned with the quantization of field theories which are covariant with respect to general coordinate transformations, like the general theory of relativity. All these theories share the property that the existence and form of the equations of motion is a direct consequence of the covariant character of the ...
openaire +1 more source
This is the first paper in a program concerned with the quantization of field theories which are covariant with respect to general coordinate transformations, like the general theory of relativity. All these theories share the property that the existence and form of the equations of motion is a direct consequence of the covariant character of the ...
openaire +1 more source
Non-linear superposition in non-linear evolution equations
Czechoslovak Journal of Physics, 1987Special non-linear evolution equations are discussed and classified in integrable and non-integrable partial differential equations. Important methods of solution are sketched. An interesting task is the calculation of the so-called superposition functions permitting to construct from a few known solutions whole chains of further solutions.
openaire +1 more source