Search results for "mathematical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	James Cummings 0001	Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459.	Bull. Symb. Log.	2015	DBLP DOI BibTeX RDF
22	Burçin Eröcal, William Stein	The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB.	ICMS	2010	DBLP DOI BibTeX RDF
22	R. D. Arthan	Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?	ICMS	2010	DBLP DOI BibTeX RDF
22	Josef Urban, Krystof Hoder, Andrei Voronkov	Evaluation of Automated Theorem Proving on the Mizar Mathematical Library.	ICMS	2010	DBLP DOI BibTeX RDF
22	Martin von Gagern, Christian Mercat	A Library of OpenGL-Based Mathematical Image Filters.	ICMS	2010	DBLP DOI BibTeX RDF
22	Alexandre Benoît, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy	The Dynamic Dictionary of Mathematical Functions (DDMF).	ICMS	2010	DBLP DOI BibTeX RDF
22	Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima, Arimitsu Shikoda	KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents.	ICMS	2006	DBLP DOI BibTeX RDF
22	Masayuki Noro, Nobuki Takayama	Links to Projects. Mathematical Software, icms2006 - Developer's Meeting.	ICMS	2006	DBLP DOI BibTeX RDF
22	Vitorino Ramos, Pedro Pina	Exploiting and Evolving R N Mathematical Morphology Feature Spaces.	ISMM	2005	DBLP DOI BibTeX RDF
22	Isabelle Bloch, Olivier Colliot, Roberto M. Cesar	Mathematical Modeling of the Relationship "between" Based On Morphological Operators.	ISMM	2005	DBLP DOI BibTeX RDF
22	Shiu-Kai Chin	Combining Engineering Vigor with Mathematical Rigor.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
22	R. Tyrrell Rockafellar	Generalized Subgradients in Mathematical Programming.	ISMP	1982	DBLP DOI BibTeX RDF
22		About the XIth International Symposium on Mathematical Programming.	ISMP	1982	DBLP DOI BibTeX RDF
21	Margaret L. Brandeau	Facility Location with Externalities.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Discrete location and assignment, Mathematical economics, Game theory, Mathematical programming, Continuous location
21	Franklin César Flores, Roberto Hirata Jr., Junior Barrera, Roberto de Alencar Lotufo, Fernand Meyer	Morphological Operators for Segmentation of Color Sequences.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	color sequence segmentation, moving object segmentation, image sequences, mathematical morphology, mathematical morphology, morphological operators, video frames, statistical optimization, computational learning
21	Benjamin J. Ewy, Joseph B. Evans, Victor Frost, Gary J. Minden	TCP/ATM Experiences in the MAGIC Testbed.	HPDC	1995	DBLP DOI BibTeX RDF	TCP/ATM, MAGIC testbed, cell level pacing, bandwidth capacity, high performance distributed systems, traffic management infrastructureThe limited applicability of block decomposition in cluster computing - Crandall, P.E. Dept. of Comput, Sci. & Eng., Connecticut Univ., Storrs, USA This Paper Appears in : High Performance Distributed Computing, 1995., Proceedings of the Fourth IEEE International Symposium on on Pages: 102 - 109 This Conference was Held : 2-4 Aug. 1995 1995 ISBN: 0-8186-7088-6 IEEE Catalog Number: 95TB8075 Total Pages: xiv+246 Refer, Mathematical characterizations of the communication costs for contiguous partitioning and block decomposition in both a ring-connected and switched network are presented, Simulations of ring and switch technologies indicate that as network speeds increase and as the effects of message-preparation latency dominate, the advantages claimed for block decomposition diminish, Subject Terms: FDDI, block decomposition, high-speed switch technology, mathematical characterizations, contiguous partitioning, ring-connected networks, simulations, performance evaluation, performance evaluation, performance, asynchronous transfer mode, congestion control, cluster computing, local area networks, transport protocols, performance measurements, wide area networks, CT, switched network, FDDI, congestion avoidance, token networks
21	Ronald Jones, Imants D. Svalbe	Algorithms for the Decomposition of Gray-Scale Morphological Operations.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	gray scale morphological operations, mathematical morthology, data level description, image processing, image processing, decomposition, mathematical morphology, filtering and prediction theory, morphological filters, structuring elements
21	Srinivasan Raghunathan	A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	planning aid, intelligent modeling system, planning problems, manufacturing planning, qualitative relationships, mathematical relationships, manufacturing computer control, artificial intelligence, artificial intelligence, knowledge-based system, knowledge based systems, constraint satisfaction, mathematical models, operations research, operations research, constraint theory, manufacturing data processing, symbolic models, domain specific knowledge, truth maintenance system
21	Xiaoli Wang, Gilles Bertrand 0001	Some Sequential Algorithms for a Generalized Distance Transformation Based on Minkowski Operations.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	generalized distance transformation, Minkowski operations, point-to-point distance, image processing, image processing, transforms, mathematical morphology, mathematical morphology, binary images, medial axis transformation, sequential algorithms
21	Andreas Schierwagen	Mathematical and Computational Modeling of Neurons and Neuronal Ensembles.	EUROCAST	2009	DBLP DOI BibTeX RDF	neuronal ensembles, modeling, computational, mathematical, neurons
21	Anirban Mukherjee, Utpal Garain	A review of methods for automatic understanding of natural language mathematical problems.	Artif. Intell. Rev.	2008	DBLP DOI BibTeX RDF	Mathematical problems, Artificial intelligence, Natural language processing, Knowledge engineering, Automated reasoning
21	Michael D. Marcozzi	On the Approximation of Infinite Dimensional Optimal Stopping Problems with Application to Mathematical Finance.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Infinite dimensional diffusion, Mathematical finance, Finite element method, Variational methods, Optimal stopping
21	Mihaela Cocea	Learner Modelling in Exploratory Learning for Mathematical Generalisation.	AH	2008	DBLP DOI BibTeX RDF	feedback generation, mathematical generalisation, exploratory learning, learner modelling
21	Lichao Chen, Lihu Pan, Yingjun Zhang	Research on Spatial Clustering Acetabuliform Model and Algorithm Based on Mathematical Morphology.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Acetabuliform model, Mathematical morphology, Spatial clustering
21	Kehinde Alabi	Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS.	WWW	2007	DBLP DOI BibTeX RDF	mathematical equations, symbolic scientific expressions, HTML, CSS, MATHML
21	Masahiko Ishino, Naokazu Yamaki, Teruhisa Ichikawa, Tadanori Mizuno	The Recommendation System Using Mathematical Programming Model.	KES (3)	2007	DBLP DOI BibTeX RDF	Data-mining, Recommendation System, Marketing, Analytic Hierarchy Process, CRM, Mathematical Programming, Conjoint Analysis
21	Linna Zhou, Dongming Wang, Yunbiao Guo, Jingfei Zhang	Blur Detection of Digital Forgery Using Mathematical Morphology.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	safety content management application, mathematical morphology, blur, image forensics, security agent
21	Min Wang, Yee Leung, Chenghu Zhou, Tao Pei, Jiancheng Luo	A Mathematical Morphology Based Scale Space Method for the Mining of Linear Features in Geographic Data.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	Linear Belt, Seismic Belt, Clustering, Mathematical Morphology, Spatial Data Mining, Scale Space Theory
21	Michael Beeson	Mathematical Induction in Otter-Lambda.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
21	Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen	Network Intrusion Detection by Multi-group Mathematical Programming based Classifier.	ICDM Workshops	2006	DBLP DOI BibTeX RDF	Multiple criteria mathematical programming, Multi-group classification, Security, Network intrusion detection
21	Gui-Hua Lin, Masao Fukushima	A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	mathematical program with complementarity constraints, (MPEC-)linear independence constraint qualification, (B-, M-, C-)stationarity, weak second-order necessary conditions, upper level strict complementarity, nondegeneracy
21	V. P. Dinesh Kumar, Tessamma Thomas	Automatic Estimation of Orientation and Position of Spine in Digitized X-rays using Mathematical Morphology.	J. Digit. Imaging	2005	DBLP DOI BibTeX RDF	Vertebrae segmentation, spine X-ray, content-based image retrieval, mathematical morphology
21	Christos Babajimopoulos, Athanasios Panoras	Estimation of the water balance of cultivated soils by mathematical models.	Oper. Res.	2005	DBLP DOI BibTeX RDF	Irrigation scheduling, water balance, mathematical modeling
21	Jason R. J. Lee, Melvyn L. Smith, Lyndon N. Smith, P. Sagar Midha	A mathematical morphology approach to image based 3D particle shape analysis.	Mach. Vis. Appl.	2005	DBLP DOI BibTeX RDF	3D particle analysis, 3D shape analysis, Mathematical morphology
21	Xinwei Liu, Jie Sun 0001	Generalized stationary points and an interior-point method for mathematical programs with equilibrium constraints.	Math. Program.	2004	DBLP DOI BibTeX RDF	Interior-point methods, Global convergence, Stationary point, Mathematical programming with equilibrium constraints
21	Sajib Barua, Ruppa K. Thulasiram, Parimala Thulasiraman	Fast Fourier Transform for Option Pricing: Improved Mathematical Modeling and Design of Efficient Parallel Algorithm.	ICCSA (3)	2004	DBLP DOI BibTeX RDF	Financial Derivatives, Parallel Algorithm, Fast Fourier Transform, Mathematical Modeling, Data Locality, Option Pricing
21	Takashi Hashimoto, Yuya Kumagai	Meta-evolutionary Game Dynamics for Mathematical Modelling of Rules Dynamics.	ECAL	2003	DBLP DOI BibTeX RDF	Dynamics of rules, Meta-evolutionary game dynamics, Replicator equations, Evolutionary stable games, Mathematical modelling
21	Cesar Augusto Cardoso Caetano, Liliane Ventura, Sidney J. F. Sousa, Roberto de Alencar Lotufo	Identification and Segmentation of Cells in Images of Donated Corneas using Mathematical Morphology.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	cell identification, donated corneas, optical evaluation method, endothelial cell counting, slit lamp, dedicated software, interactive counting method, image segmentation, mathematical morphology, correlation coefficient, eye
21	Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman	Physically-Based Stochastic Simplification of Mathematical Knots.	IEEE Trans. Vis. Comput. Graph.	1997	DBLP DOI BibTeX RDF	knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization
21	Chuang Gu, Ming-Chieh Lee	Semantic Video Object Segmentation and Tracking Using Mathematical Morphology and Perspective Motion Model.	ICIP (2)	1997	DBLP DOI BibTeX RDF	semantic video object segmentation, video object tracking, semantic video object extraction system, perspective motion model, semi-automatic I-frame segmentation, automatic P-frame tracking, video object boundary, morphological segmentation tool, boundary refinement, motion estimation, mathematical morphology, motion compensation, set theory, video signal processing, human visual system
21	Hashim M. Twaakyondo, Masayuki Okamoto	Structure analysis and recognition of mathematical expressions.	ICDAR	1995	DBLP DOI BibTeX RDF	two-dimensional layout structures, specific structure analysis, subexpressions, printed journals, image recognition, document image processing, structure analysis, tree structure, mathematical expressions, structure recognition, local structures, top-down method, bottom-up method
21	Ben-Kwei Jang, Roland T. Chin	Analysis of Thinning Algorithms Using Mathematical Morphology.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	digital skeletons, skeletal bias, convergence, computerised picture processing, mathematical morphology, noise immunity, thinning algorithms
21	J. F. Bronskill, Anastasios N. Venetsanopoulos	Multidimensional shape description and recognition using mathematical morphology.	J. Intell. Robotic Syst.	1988	DBLP DOI BibTeX RDF	Computer vision, mathematical morphology, shape recognition, shape description, shape classification
21	Immanuel Normann, Michael Kohlhase	Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
21	Simon Colton, Daniel Wagner 0002	Using Formal Concept Analysis in Mathematical Discovery.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
21	William Naylor, Julian A. Padget	From Untyped to Polymorphically Typed Objects in Mathematical Web Services.	MKM	2006	DBLP DOI BibTeX RDF
21	Andrew Aberdein	Managing Informal Mathematical Knowledge: Techniques from Informal Logic.	MKM	2006	DBLP DOI BibTeX RDF
21	Predrag Janicic	GCLC - A Tool for Constructive Euclidean Geometry and More Than That.	ICMS	2006	DBLP DOI BibTeX RDF
21	Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato	Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures.	ICMS	2006	DBLP DOI BibTeX RDF
21	Zenon Kulpa	On Diagrammatic Representation of Mathematical Knowledge.	MKM	2004	DBLP DOI BibTeX RDF
21	Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns	Problems and Solutions for Markup for Mathematical Examples and Exercises.	MKM	2003	DBLP DOI BibTeX RDF	markup for mathematics documents, knowledge representation
21	Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer	An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.	MKM	2003	DBLP DOI BibTeX RDF
20	Moody Ebrahem Altamimi, Abdou S. Youssef	A Math Query Language with an Expanded Set of Wildcards.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Math search, XPath, XQuery, MathML, mathematical expression
20	Alexandre Monteiro da Silva, Peter Sussner	A Brief Review and Comparison of Feedforward Morphological Neural Networks with Applications to Classification.	ICANN (2)	2008	DBLP DOI BibTeX RDF	Mathematical Morphology, Pattern Classification, Complete Lattice, Morphological Neural Network
20	Ryuzo Azuma, Ryo Umetsu, Shingo Ohki, Fumikazu Konishi, Sumi Yoshikawa, Akihiko Konagaya, Kazumi Matsumura	Discovering Dynamic Characteristics of Biochemical Pathways using Geometric Patterns among Parameter-Parameter Dependencies in Differential Equations.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Pharmacokinetics, Simulation, Visualization, Grid Computing, Mathematical Models
20	Ondrej Jakl, Roman Kohut, Jirí Starý	MPI and OpenMP Computations for Nuclear Waste Deposition Models.	PPAM	2007	DBLP DOI BibTeX RDF	deep geological repository, thermo-elasticity, parallel solver, MPI, OpenMP, mathematical model
20	Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann	A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming.	CPAIOR	2006	DBLP DOI BibTeX RDF	mathematical programming, hybrid methods, Cost-based filtering
20	Gang Kou, Yi Peng 0001, Yong Shi 0001, Zhengxin Chen	A New Multi-criteria Convex Quadratic Programming Model for Credit Analysis.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF	Credit Analysis, Classification, Mathematical Programming, Multi-criteria Decision Making
20	Krishnamoorthy Sivakumar, John Goutsias	Morphologically Constrained GRFs: Applications to Texture Synthesis and Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	morphological constraints, size density, texture synthesis and analysis, mathematical morphology, Monte Carlo simulation, statistical inference, Metropolis algorithm, Gibbs random fields
20	Aristotel Tentov, Aksenti L. Grnarov	Performance Analysis of ATM Switches with Multistage Packet Switching Interconnection Networks.	LCN	1996	DBLP DOI BibTeX RDF	multistage packet switching interconnection networks, mathematical method, finite buffering capacity, switching elements output, uniform traffic, buffered interconnection networks, synchronous buffered switching element, finite buffer size, performance analysis, asynchronous transfer mode, blocking, ATM switches, output buffering, traffic patterns, nonuniform traffic
20	Dongming Wang 0001, Bernd Schürmann	Computer Aided Analysis and Derivation for Artificial Neural Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	computer aided analysis and derivation, symbolic mathematical objects manipulation, artificial neural systems, biological knowledge, Lyapunov stability theory, computer aided analysis, artificial intelligence, neural nets, toolkit, symbolic computation, symbol manipulation, mathematics computing, MACSYMA, Lyapunov methods, learning rule
20	Josef B. Baker, Alan P. Sexton, Volker Sorge	Faithful mathematical formula recognition from PDF documents.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF
20	Kirby McMaster, Brian W. Rague, Steven M. Hadfield	Two mathematical gestalts for computer theory.	SIGCSE	2009	DBLP DOI BibTeX RDF	computational math, logical math, model, algorithm, framework, proof, computer theory, theorem, gestalt
20	Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida	Syntactic Detection and Correction of Misrecognitions in Mathematical OCR.	ICDAR	2009	DBLP DOI BibTeX RDF
20	Ahmad-Montaser Awal, Harold Mouchère, Christian Viard-Gaudin	Towards Handwritten Mathematical Expression Recognition.	ICDAR	2009	DBLP DOI BibTeX RDF
20	Patrick D. F. Ion	Some Traditional Mathematical Knowledge Management.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
20	Youxin Luo, Xiguang Huang, Bin Zeng 0001	Forward Displacement Analysis of the 4SPS-2CCS Generalized Stewart Platform Based on Hyper-Chaotic Neural Network Mathematical Programming Method.	ICYCS	2008	DBLP DOI BibTeX RDF
20	Saúl Zapotecas Martínez, Carlos A. Coello Coello	Hybridizing an evolutionary algorithm with mathematical programming techniques for multi-objective optimization.	GECCO	2008	DBLP DOI BibTeX RDF	Nelder-Mead method, multi-objective optimization, hybrid algorithms, NSGA-II
20	Jackson Marques de Carvalho, Helmut Jürgensen	A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts.	ACHI	2008	DBLP DOI BibTeX RDF	grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model
20	Seongmoon Kim	Modeling Decisions for the Time-Dependent Optimal Lane Configuration Policy with Queueing Theory and Mathematical Programming.	MDAI	2007	DBLP DOI BibTeX RDF
20	John G. Stell	Relations in Mathematical Morphology with Applications to Graphs and Rough Sets.	COSIT	2007	DBLP DOI BibTeX RDF
20	Seiichi Toyota, Seiichi Uchida, Masakazu Suzuki	Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
20	Yuichi Goto, Jingde Cheng	A quantitative analysis of implicational paradoxes in classical mathematical logic.	SAC	2006	DBLP DOI BibTeX RDF	automated forward deduction, strong relevance, knowledge representation and reasoning, relevant logics
20	Qingtian Zeng, Cungen Cao 0001, Hua Duan, Yongquan Liang	NKIMathE - A Multi-purpose Knowledge Management Environment for Mathematical Concepts.	KSEM	2006	DBLP DOI BibTeX RDF
20	Bruno Buchberger	Mathematical Theory Exploration.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Kazuki Ashida, Masayuki Okamoto, Hiroki Imai, Tsubasa Nakatsuka	Performance Evaluation of a Mathematical Formula Recognition System with a large scale of printed formula images.	DIAL	2006	DBLP DOI BibTeX RDF
20	Fernando Alonso, José L. Fuertes, Ángel Lucas González, Loïc Martínez	SBT: A Translator from Spanish Mathematical Braille to MathML.	ICCHP	2006	DBLP DOI BibTeX RDF
20	Gregory J. Chaitin	The Omega Number: Irreducible Complexity in Pure Math.	MKM	2006	DBLP DOI BibTeX RDF
20	Qiming Wang, Bonita V. Saunders	Web-based 3D visualization in a digital library of mathematical functions.	Web3D	2005	DBLP DOI BibTeX RDF	digital library, VRML, virtual reality modeling language, X3D, extensible 3D, 3D visualization, special functions
20	Christoph Schwarzweller	Gröbner Bases - Theory Refinement in the Mizar System.	MKM	2005	DBLP DOI BibTeX RDF
20	Hao Chen, Guangming Xie	Nonlinear mathematical model of switched reluctance machine system.	SMC (7)	2004	DBLP DOI BibTeX RDF
20	Masakazu Suzuki, Toshihiro Kanahori, Nobuyuki Ohtake, Katsuhito Yamaguchi	An Integrated OCR Software for Mathematical Documents and Its Output with Accessibility.	ICCHP	2004	DBLP DOI BibTeX RDF
20	Bruno Buchberger	Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy.	AISC	2004	DBLP DOI BibTeX RDF
20	Martin Pollet, Volker Sorge, Manfred Kerber	Intuitive and Formal Representations: The Case of Matrices.	MKM	2004	DBLP DOI BibTeX RDF
20	Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine	Theorem Proving and Proof Verification in the System SAD.	MKM	2004	DBLP DOI BibTeX RDF
20	Joydip Mitra, Utpal Garain, B. B. Chaudhuri 0001, Kumar Swamy H. V., Tamaltaru Pal	Automatic Understanding of Structures in Printed Mathematical Expressions.	ICDAR	2003	DBLP DOI BibTeX RDF
20	Andrew A. Adams	Digitisation, Representation, and Formalisation.	MKM	2003	DBLP DOI BibTeX RDF
20	Sándor Dominich, Mounia Lalmas, Keith van Rijsbergen	Report on ACM SIGIR workshop on mathematical/formal methods in information retrieval.	SIGIR Forum	2002	DBLP DOI BibTeX RDF
20	Arthur I. Karshmer, Gopal Gupta 0001, Douglas J. Gillan	Architecting an Auditory Browser for Navigating Mathematical Expressions.	ICCHP	2002	DBLP DOI BibTeX RDF
20	Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.	AISC	2002	DBLP DOI BibTeX RDF
20	Vassilios Chatzis, Ioannis Pitas	A generalized fuzzy mathematical morphology and its application in robust 2-D and 3-D object representation.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
20	Kristina Lerman	Design and Mathematical Analysis of Agent-Based Systems.	FAABS	2000	DBLP DOI BibTeX RDF
20	Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed	EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas.	ICDAR	1999	DBLP DOI BibTeX RDF
20	Hemant K. Bhargava, Michael S. Downs	On Generating an Integrated DSS from a Mathematical Model Specification.	HICSS (2)	1996	DBLP DOI BibTeX RDF
20	Manfred Broy	Mathematical System Models as a Basis of Software Engineering.	Computer Science Today	1995	DBLP DOI BibTeX RDF
20	Susan L. Epstein, N. S. Sridharan	Knowledge representation for mathematical discovery: Three experiments in graph theory.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	Knowledge representation, graph theory, discovery
20	C. J. van Rijsbergen	Quantum haystacks.	SIGIR	2006	DBLP DOI BibTeX RDF
20	Yukari Shirota	Design of Automation Systems for Web Based Courseware Using XML and XSLT.	DNIS	2005	DBLP DOI BibTeX RDF
20	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
20	Wolfram Sperber	Math-Net International and the Math-Net Page.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF