Conferences in DBLP
Computational Logic and Continuous Mathematics, Pure and Applied. [Citation Graph (, )][DBLP ] Math-Literate Computers. [Citation Graph (, )][DBLP ] Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. [Citation Graph (, )][DBLP ] Software Engineering for Mathematics. [Citation Graph (, )][DBLP ] Some Traditional Mathematical Knowledge Management. [Citation Graph (, )][DBLP ] Math Handwriting Recognition in Windows 7 and Its Benefits. [Citation Graph (, )][DBLP ] Assembling the Digital Mathematics Library. [Citation Graph (, )][DBLP ] CAMAL 40 Years on - Is Small Still Beautiful?. [Citation Graph (, )][DBLP ] Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations. [Citation Graph (, )][DBLP ] Combining Coq and Gappa for Certifying Floating-Point Programs. [Citation Graph (, )][DBLP ] A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. [Citation Graph (, )][DBLP ] Exploring a Quantum Theory with Graph Rewriting and Computer Algebra. [Citation Graph (, )][DBLP ] ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. [Citation Graph (, )][DBLP ] Combined Decision Techniques for the Existential Theory of the Reals. [Citation Graph (, )][DBLP ] Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. [Citation Graph (, )][DBLP ] Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators. [Citation Graph (, )][DBLP ] A Groupoid of Isomorphic Data Transformations. [Citation Graph (, )][DBLP ] Algorithms for the Functional Decomposition of Laurent Polynomials. [Citation Graph (, )][DBLP ] A Linear Grammar Approach to Mathematical Formula Recognition from PDF. [Citation Graph (, )][DBLP ] Formal Proof: Reconciling Correctness and Understanding. [Citation Graph (, )][DBLP ] A Review of Mathematical Knowledge Management. [Citation Graph (, )][DBLP ] OpenMath Content Dictionaries for SI Quantities and Units. [Citation Graph (, )][DBLP ] Unifying Math Ontologies: A Tale of Two Standards. [Citation Graph (, )][DBLP ] Integrating Web Services into Active Mathematical Documents. [Citation Graph (, )][DBLP ] Representation for Interactive Exercises. [Citation Graph (, )][DBLP ] The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability. [Citation Graph (, )][DBLP ] Canonical Forms in Interactive Exercise Assistants. [Citation Graph (, )][DBLP ] Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. [Citation Graph (, )][DBLP ] Compensating the Computational Bias of Spreadsheets with MKM Techniques. [Citation Graph (, )][DBLP ] MathLang Translation to Isabelle Syntax. [Citation Graph (, )][DBLP ] A Mathematical Approach to Ontology Authoring and Documentation. [Citation Graph (, )][DBLP ] A Logically Saturated Extension of . [Citation Graph (, )][DBLP ] From Tessellations to Table Interpretation. [Citation Graph (, )][DBLP ] Finite Groups Representation Theory with Coq. [Citation Graph (, )][DBLP ] Collaborative Assistant to Handle MathML Expressions. [Citation Graph (, )][DBLP ] Confidence Measures in Recognizing Handwritten Mathematical Symbols. [Citation Graph (, )][DBLP ] Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. [Citation Graph (, )][DBLP ] OpenMath in SCIEnce: SCSCP and POPCORN. [Citation Graph (, )][DBLP ] A Knowledge Repository for Indefinite Integration Based on Transformation Rules. [Citation Graph (, )][DBLP ] Natural Deduction Environment for Matita. [Citation Graph (, )][DBLP ]