Conferences in DBLP

Artificial Intelligence and Symbolic Computation (AISC) (aisc)
2010 (conf/aisc/2010)

1. 
   The Challenges of Multivalued "Functions". [Citation Graph (, )][DBLP]
   
   
2. 
   The Dynamic Dictionary of Mathematical Functions. [Citation Graph (, )][DBLP]
   
   
3. 
   A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. [Citation Graph (, )][DBLP]
   
   
4. 
   I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. [Citation Graph (, )][DBLP]
   
   
5. 
   Structured Formal Development with Quotient Types in Isabelle/HOL. [Citation Graph (, )][DBLP]
   
   
6. 
   Instantiation of SMT Problems Modulo Integers. [Citation Graph (, )][DBLP]
   
   
7. 
   On Krawtchouk Transforms. [Citation Graph (, )][DBLP]
   
   
8. 
   A Mathematical Model of the Competition between Acquired Immunity and Virus. [Citation Graph (, )][DBLP]
   
   
9. 
   Some Notes upon "When Does <T> Equal Sat(T)?". [Citation Graph (, )][DBLP]
   
   
10. 
    How to Correctly Prune Tropical Trees. [Citation Graph (, )][DBLP]
    
    
11. 
    From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals. [Citation Graph (, )][DBLP]
    
    
12. 
    Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. [Citation Graph (, )][DBLP]
    
    
13. 
    Some Considerations on the Usability of Interactive Provers. [Citation Graph (, )][DBLP]
    
    
14. 
    Mechanized Mathematics. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Proof of SCHUR Conjugate Function. [Citation Graph (, )][DBLP]
    
    
16. 
    Symbolic Domain Decomposition. [Citation Graph (, )][DBLP]
    
    
17. 
    A Formal Quantifier Elimination for Algebraically Closed Fields. [Citation Graph (, )][DBLP]
    
    
18. 
    Computing in Coq with Infinite Algebraic Data Structures. [Citation Graph (, )][DBLP]
    
    
19. 
    Formally Verified Conditions for Regularity of Interval Matrices. [Citation Graph (, )][DBLP]
    
    
20. 
    Reducing Expression Size Using Rule-Based Integration. [Citation Graph (, )][DBLP]
    
    
21. 
    A Unified Formal Description of Arithmetic and Set Theoretical Data Types. [Citation Graph (, )][DBLP]
    
    
22. 
    Against Rigor. [Citation Graph (, )][DBLP]
    
    
23. 
    Smart Matching. [Citation Graph (, )][DBLP]
    
    
24. 
    Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. [Citation Graph (, )][DBLP]
    
    
25. 
    An OpenMath Content Dictionary for Tensor Concepts. [Citation Graph (, )][DBLP]
    
    
26. 
    On Duplication in Mathematical Repositories. [Citation Graph (, )][DBLP]
    
    
27. 
    Adapting Mathematical Domain Reasoners. [Citation Graph (, )][DBLP]
    
    
28. 
    Integrating Multiple Sources to Answer Questions in Algebraic Topology. [Citation Graph (, )][DBLP]
    
    
29. 
    sTeXIIS: An Integrated Development Environment for sTeX Collections. [Citation Graph (, )][DBLP]
    
    
30. 
    Proofs, Proofs, Proofs, and Proofs. [Citation Graph (, )][DBLP]
    
    
31. 
    Dimensions of Formality: A Case Study for MKM in Software Engineering. [Citation Graph (, )][DBLP]
    
    
32. 
    Towards MKM in the Large: Modular Representation and Scalable Software Architecture. [Citation Graph (, )][DBLP]
    
    
33. 
    The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents. [Citation Graph (, )][DBLP]
    
    
34. 
    Notations Around the World: Census and Exploitation. [Citation Graph (, )][DBLP]
    
    
35. 
    Evidence Algorithm and System for Automated Deduction: A Retrospective View. [Citation Graph (, )][DBLP]
    
    
36. 
    On Building a Knowledge Base for Stability Theory. [Citation Graph (, )][DBLP]
    
    
37. 
    Proviola: A Tool for Proof Re-animation. [Citation Graph (, )][DBLP]
    
    
38. 
    A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. [Citation Graph (, )][DBLP]