Conferences in DBLP
Mirian Andrés , Laureano Lambán , Julio Rubio Executing in Common Lisp, Proving in ACL2. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Carette , William M. Farmer , Volker Sorge A Rational Reconstruction of a System for Experimental Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Amine Chaieb , Makarius Wenzel Context Aware Calculation and Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Coquand , Arnaud Spiwack Towards Constructive Homological Algebra in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Davenport What Might "Understand a Function" Mean? [Citation Graph (0, 0)][DBLP ] Conf ] William M. Farmer Biform Theories in Chiron. [Citation Graph (0, 0)][DBLP ] Conf ] Predrag Janicic , Alan Bundy Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Cezary Kaliszyk , Freek Wiedijk Certified Computer Algebra on Top of an Interactive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Kartashova , Scott McCallum Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Songxin Liang , David J. Jeffrey Rule-Based Simplification in Vector-Product Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Murray-Rust Mathematics and Scientific Markup. [Citation Graph (0, 0)][DBLP ] Conf ] Neil J. A. Sloane The On-Line Encyclopedia of Integer Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Abánades , Jesús Escribano , Francisco Botana First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Asperti , Enrico Tassi Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case. [Citation Graph (0, 0)][DBLP ] Conf ] David Aspinall , Christoph Lüth , Daniel Winterstein A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Autexier , Armin Fiedler , Thomas Neumann , Marc Wagner Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ewa Borak , Anna Zalewska Mizar Course in Logic and Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Colton , Daniel Wagner Using Formal Concept Analysis in Mathematical Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Corbineau , Cezary Kaliszyk Cooperative Repositories for Formal Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Grabowski , Christoph Schwarzweller Revisions as an Essential Tool to Maintain Mathematical Repositories. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Grue The Layers of Logiweb. [Citation Graph (0, 0)][DBLP ] Conf ] Feryal Fulya Horozal , Chad E. Brown Formal Representation of Mathematics in a Dependently Typed Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Fairouz Kamareddine , Robert Lamar , Manuel Maarek , J. B. Wells Restoring Natural Language as a Computerised Mathematics Input Method. [Citation Graph (0, 0)][DBLP ] Conf ] Fairouz Kamareddine , Manuel Maarek , Krzysztof Retel , J. B. Wells Narrative Structure of Mathematical Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Kohlhase , Michael Kohlhase Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search.Citation Graph (0, 0)][DBLP ] Conf ] Gilbert Lee , Piotr Rudnicki Alternative Aggregates in Mizar. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Miner , Rajesh Munavalli An Approach to Mathematical Search Through Query Formulation and Data Normalization. [Citation Graph (0, 0)][DBLP ] Conf ] Immanuel Normann , Michael Kohlhase Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Agnieszka Rowinska-Schwarzweller , Christoph Schwarzweller Towards Mathematical Knowledge Management for Electrical Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Sacerdoti Coen , Stefano Zacchiroli Spurious Disambiguation Error Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Abdou Youssef Methods of Relevance Ranking and Hit-content Generation in Math Search. [Citation Graph (0, 0)][DBLP ] Conf ] 