Abstract is missing.
- Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk)José-Luis Ruiz-Reina. 1-6 [doi]
- Combining Systems for Mathematical Creativity (Invited Talk)Volker Sorge. 7-8 [doi]
- Models for Logics and Conditional Constraints in Automated Proofs of TerminationSalvador Lucas, José Meseguer. 9-20 [doi]
- Using Representation Theorems for Proving Polynomials Non-negativeSalvador Lucas. 21-33 [doi]
- A Rule-Based Expert System for Vaginal Cytology DiagnosisCarlos Gamallo-Chicano, Eugenio Roanes-Lozano, Carlos Gamallo-Amat. 34-48 [doi]
- Obtaining an ACL2 Specification from an Isabelle/HOL TheoryJesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Angel Luis Rubio, Julio Rubio. 49-63 [doi]
- A Direct Propagation Method in Singly Connected Causal Belief Networks with Conditional Distributions for all CausesOumaima Boussarsar, Imen Boukhris, Zied Elouedi. 64-75 [doi]
- From Declarative Set Constraint Models to "Good" SAT InstancesFrédéric Lardeux, Eric Monfroy. 76-87 [doi]
- A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner BasesShutaro Inoue, Yosuke Sato. 88-98 [doi]
- A Simple GUI for Developing Applications That Use Mathematical Software SystemsEugenio Roanes-Lozano, Antonio Hernando. 99-119 [doi]
- Conformant Planning as a Case Study of Incremental QBF SolvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler. 120-131 [doi]
- Dynamic Symmetry Breaking in Itemset MiningBelaïd Benhamou. 132-146 [doi]
- A Distance-Based Decision in the Credal LevelAmira Essaid, Arnaud Martin, Grégory Smits, Boutheina Ben Yaghlane. 147-156 [doi]
- Multivalued Elementary Functions in Computer-Algebra SystemsDavid J. Jeffrey. 157-167 [doi]
- Rational Conchoid and Offset Constructions: Algorithms and ImplementationJuana Sendra, David Gómez, Valerio Morán. 168-179 [doi]
- Algorithmic Aspects of Theory BlendingMaricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease. 180-192 [doi]
- Decomposition of Some Jacobian Varieties of Dimension 3Lubjana Beshaj, Tony Shaska. 193-204 [doi]