The SCEAS System
Navigation Menu

Conferences in DBLP

Mathematical Knowledge Management (mkm)
2009 (conf/mkm/2009)

  1. Computational Logic and Continuous Mathematics, Pure and Applied. [Citation Graph (, )][DBLP]

  2. Math-Literate Computers. [Citation Graph (, )][DBLP]

  3. Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. [Citation Graph (, )][DBLP]

  4. Software Engineering for Mathematics. [Citation Graph (, )][DBLP]

  5. Some Traditional Mathematical Knowledge Management. [Citation Graph (, )][DBLP]

  6. Math Handwriting Recognition in Windows 7 and Its Benefits. [Citation Graph (, )][DBLP]

  7. Assembling the Digital Mathematics Library. [Citation Graph (, )][DBLP]

  8. CAMAL 40 Years on - Is Small Still Beautiful?. [Citation Graph (, )][DBLP]

  9. Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. [Citation Graph (, )][DBLP]

  10. Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP]

  11. A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. [Citation Graph (, )][DBLP]

  12. Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. [Citation Graph (, )][DBLP]

  13. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. [Citation Graph (, )][DBLP]

  14. Combined Decision Techniques for the Existential Theory of the Reals. [Citation Graph (, )][DBLP]

  15. Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. [Citation Graph (, )][DBLP]

  16. Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators. [Citation Graph (, )][DBLP]

  17. A Groupoid of Isomorphic Data Transformations. [Citation Graph (, )][DBLP]

  18. Algorithms for the Functional Decomposition of Laurent Polynomials. [Citation Graph (, )][DBLP]

  19. A Linear Grammar Approach to Mathematical Formula Recognition from PDF. [Citation Graph (, )][DBLP]

  20. Formal Proof: Reconciling Correctness and Understanding. [Citation Graph (, )][DBLP]

  21. A Review of Mathematical Knowledge Management. [Citation Graph (, )][DBLP]

  22. OpenMath Content Dictionaries for SI Quantities and Units. [Citation Graph (, )][DBLP]

  23. Unifying Math Ontologies: A Tale of Two Standards. [Citation Graph (, )][DBLP]

  24. Integrating Web Services into Active Mathematical Documents. [Citation Graph (, )][DBLP]

  25. Representation for Interactive Exercises. [Citation Graph (, )][DBLP]

  26. The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability. [Citation Graph (, )][DBLP]

  27. Canonical Forms in Interactive Exercise Assistants. [Citation Graph (, )][DBLP]

  28. Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. [Citation Graph (, )][DBLP]

  29. Compensating the Computational Bias of Spreadsheets with MKM Techniques. [Citation Graph (, )][DBLP]

  30. MathLang Translation to Isabelle Syntax. [Citation Graph (, )][DBLP]

  31. A Mathematical Approach to Ontology Authoring and Documentation. [Citation Graph (, )][DBLP]

  32. A Logically Saturated Extension of . [Citation Graph (, )][DBLP]

  33. From Tessellations to Table Interpretation. [Citation Graph (, )][DBLP]

  34. Finite Groups Representation Theory with Coq. [Citation Graph (, )][DBLP]

  35. Collaborative Assistant to Handle MathML Expressions. [Citation Graph (, )][DBLP]

  36. Confidence Measures in Recognizing Handwritten Mathematical Symbols. [Citation Graph (, )][DBLP]

  37. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. [Citation Graph (, )][DBLP]

  38. OpenMath in SCIEnce: SCSCP and POPCORN. [Citation Graph (, )][DBLP]

  39. A Knowledge Repository for Indefinite Integration Based on Transformation Rules. [Citation Graph (, )][DBLP]

  40. Natural Deduction Environment for Matita. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002