AISC
2010
Springer
13 years 10 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
AISC
2010
Springer
14 years 2 months ago
2010
Springer
AISC
2010
Springer
14 years 2 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
AISC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...
AISC
2010
Springer
14 years 3 months ago
2010
Springer
We prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We ...
AISC
2010
Springer
14 years 3 months ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
AISC
2010
Springer
14 years 4 months ago
2010
Springer
AISC
2010
Springer
14 years 4 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
AISC
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
AISC
2010
Springer
14 years 5 months ago
2010
Springer
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...