Search results for "mathematics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Paul S. Wang, Norbert Kajler, Yi Zhou, Xiao Zou	WME: towards a web for mathematics education.	ISSAC	2003	DBLP DOI BibTeX RDF	MeML, WME, mathematics education markup protocol, mathematics education service language, web-based mathematics education, education, web, mathematics, markup
6	Olaf Ninnemann	LIMES - An Infrastructure for the Benefit of Mathematicians in the Information Society.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF	mathematics portal, literature databases, mathematics on the web, integrated access, education in mathematics, digital archives
5	Aaron Sloman	Kantian Philosophy of Mathematics and Young Robots.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF	learning mathematics, philosophy of mathematics, robot 3-D vision, self-extending architecture, epigenetic robotics
4	Sun-Yuan Hsieh, Yu-Shu Chen	Strongly Diagnosable Product Networks Under the Comparison Diagnosis Model.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Fault tolerance, modeling, evaluation, Reliability, Measurement, Graph Theory, Graph Theory, Discrete Mathematics, Discrete Mathematics, On-chip interconnection networks, Testing and Fault-Tolerance, Mathematics of Computing, Mathematics of Computing, simulation of multiple-processor systems, Network problems
4	Iris Loeb	Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.	CiE	2008	DBLP DOI BibTeX RDF	Intuitionistic Mathematics, Continuity Principle, Compactness Principle, Constructive Mathematics, Reverse Mathematics
4	Francisco A. Doria	Informal versus formal mathematics.	Synthese	2007	DBLP DOI BibTeX RDF	Informal mathematics, Consistency of arithmetic, P vs. NP, Formalized mathematics
4	Hajime Ishihara	Unique Existence and Computability in Constructive Reverse Mathematics.	CiE	2007	DBLP DOI BibTeX RDF	unique existence, Brouwer’s fan theorem, weak König lemma, computability, constructive mathematics, reverse mathematics
4	Klaus Sutner	CDM: Teaching discrete mathematics to computer science majors.	ACM Journal of Educational Resources in Computing	2005	DBLP DOI BibTeX RDF	Experimental mathematics, symbolic computation, mathematics education
4	Wilfrid Hodges	International Copyright and Mathematics.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
4	Virginia Valzano, Maria Carmela Catamo	SINM: The Italian National Information System for Mathematics.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
4	Antonella De Robbio, Dario Maguolo, Alberto Marini	Mathematics Subject Classification and Related Schemes in the OAI Framework.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
4	Bernd Wegner	EMANI - A Project for the Long-Term Preservation of Electronic Publications in Mathematics.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
4	Gernot Stroth	Algorithms in Pure Mathematics.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
3	Michael J. Barany	'[B]ut this is blog maths and we're free to make up conventions as we go along': Polymath1 and the modalities of 'massively collaborative mathematics'.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	Polymath1, blogs, mathematics, online collaboration
3	Hajnal Andréka, István Németi, Péter Németi	General relativistic hypercomputing and foundation of mathematics.	Natural Computing	2009	DBLP DOI BibTeX RDF	Relativistic computation, Hypercomputation, Church-Thuring barrier, General relativity theory, Kerr-Newman spacetimes, Church Thesis, Blue-shift problem, Evaporation of black holes, Supertasks, Malament-Hogarth spacetime, Hilbert programme, Foundations of mathematics, Black holes, Cosmology
3	Davood G. Gozli, Marco Pollanen, Michael Reynolds	The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
3	Rob Arthan	Computational Logic and Continuous Mathematics, Pure and Applied.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
3	David Ruddy	Assembling the Digital Mathematics Library.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
3	Georges Gonthier	Software Engineering for Mathematics.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
3	Ben Setzer	A lab course for discrete mathematics.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	discrete mathematics
3	Christine Bescherer, Christian Spannagel	Design Patterns for the Use of Technology in Introductory Mathematics Tutorials.	WCCE	2009	DBLP DOI BibTeX RDF	Integration of ICT, Open Flexible Learning, Learner-Centred Learning, Learning Mathematics, Assessment, Problem Solving, Higher Education, Didactics, Teaching Methods, Teacher Education
3	Ana Isabel Sacristán, Teresa Rojano	The Mexican National Programs on Teaching Mathematics and Science with Technology: The Legacy of a Decade of Experiences of Transformation of School Practices and Interactions.	WCCE	2009	DBLP DOI BibTeX RDF	Computers and technology in schools, national program, physics and science, teaching, mathematics, policy-making
3	Yingxu Wang	On Contemporary Denotational Mathematics for Computational Intelligence.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
3	Yingxu Wang, Yiyu Yao, Guoyin Wang	Perspectives on Denotational Mathematics: New Means of Thought.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
3	Antony Eagle	Mathematics and conceptual analysis.	Synthese	2008	DBLP DOI BibTeX RDF	Platitudes, Conceptual analysis, Foundations of mathematics, Intuitions, Fictionalism
3	Suthathip Suanmali	Maple in Mathematics.	ITNG	2008	DBLP DOI BibTeX RDF	Abstract Algebra, Isomorphism Classes, Maple, Mathematics, Calculus
3	Cristian Bernareggi, Valeria Brigatti	Writing Mathematics by Speech: A Case Study for Visually Impaired.	ICCHP	2008	DBLP DOI BibTeX RDF	multimodal interfaces, blind, mathematics, Speech input
3	Paul B. Stanley	Assessing the Mathematics Related Communication Requirements of the Blind in Education and Career.	ICCHP	2008	DBLP DOI BibTeX RDF	sighted environment, education, visually impaired, blind, mathematics, career, math
3	John Howse, Gem Stapleton	Visual Mathematics: Diagrammatic Formalization and Proof.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
3	Thierry Bouche	Digital Mathematics Libraries: The Good, the Bad, the Ugly.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
3	Mindy Hart, James P. Early, Dennis Brylow	A novel approach to K-12 CS education: linking mathematics and computer science.	SIGCSE	2008	DBLP DOI BibTeX RDF	K-12 outreach, high school mathematics, algorithmic thinking
3	Josef Urban, Geoff Sutcliffe	ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments.	Mathematics in Computer Science	2008	DBLP DOI BibTeX RDF	verification, automated reasoning, Formalized mathematics
3	Michael Kohlhase	Using as a Semantic Markup Format.	Mathematics in Computer Science	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 68U15
3	Wenjun Wu, Xiaoshan Gao	Mathematics mechanization and applications after thirty years.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	mathematics mechanization, characteristic set method, automated theorem discovering, symbolic equation solving, intelligent computer-aided design, computer vision, robotics, automated theorem proving, computer aided geometric design
3	Cristian Bernareggi, Dominique Archambault	Mathematics on the web: emerging opportunities for visually impaired people.	W4A	2007	DBLP DOI BibTeX RDF	mathematics accessibility, science accessibility, visually impaired, web accessibility
3	Jessen T. Havill, Lewis D. Ludwig	Technically speaking: fostering the communication skills of computer science and mathematics students.	SIGCSE	2007	DBLP DOI BibTeX RDF	oral communication, mathematics
3	John P. Warder	Parallel Tangency R3.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF	Parallel Tangents, Symmetry Constructions, Surface
3	Miao Jin, Junho Kim, Xianfeng David Gu	Discrete Surface Ricci Flow: Theory and Applications.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
3	Jeffry L. Hirst	Reverse mathematics of separably closed sets.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Separably closed sets, Closed sets, ACA, Reverse mathematics
3	Vicki L. Almstrum, Peter B. Henderson, Valerie J. Harvey, Cinda Heeren, William A. Marion, Charles Riedesel, Leen-Kiat Soh, Allison Elliott Tew	Concept inventories in computer science for the topic discrete mathematics.	SIGCSE Bulletin	2006	DBLP DOI BibTeX RDF	distractors, assessment, discrete mathematics, misconceptions, assessment tools, concept inventory
3	Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska	DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.	KI	2006	DBLP DOI BibTeX RDF	natural language dialog in mathematics, Wizard-of-Oz experiments, Dialog systems, tutoring systems
3	Alistair D. N. Edwards, Heather McCartney, Flavio Fogarolo	Lambda: : a multimodal approach to making mathematics accessible to blind students.	ASSETS	2006	DBLP DOI BibTeX RDF	blind students, braille, MathML, mathematics education, synthetic speech
3	Soleda Leung, Christopher Johnson	Computational concepts in IT: a new approach to IT mathematics.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	algorithm, graph theory, approximation, application, information technology, mathematics, number theory, curriculum design, algorithm design
3	Harold M. Edwards	Introduction to My Book "Essays in Constructive Mathematics".	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
3	Thierry Coquand	05021 Executive Summary -- Mathematics, Algorithms, Proofs.	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
3	Thierry Coquand, Henri Lombardi, Marie-Françoise Roy	05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
3	Erik Rosenthal	Formal Versus Rigorous Mathematics: How to Get Your Papers Published.	TABLEAUX	2005	DBLP DOI BibTeX RDF	nature of proof, rigor, formal mathematics
3	Bill Marion	Status report on the SIGCSE committee on the implementation of a discrete mathematics course.	SIGCSE	2005	DBLP DOI BibTeX RDF	SIGCSE committee initiative, course models, discrete mathematics, CC2001, computing curriculum, syllabi
3	Fairouz Kamareddine, Rob Nederpelt	A Refinement of de Bruijn's Formal Language of Mathematics.	Journal of Logic, Language and Information	2004	DBLP DOI BibTeX RDF	mathematical vernacular, weak type theory, formal language, mathematics
3	Marc Conrad, Tim French	Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs.	ITiCSE	2004	DBLP DOI BibTeX RDF	education, object oriented programming, computer algebra, mathematics
3	Evan Golub	Handwritten slides on a tabletPC in a discrete mathematics course.	SIGCSE	2004	DBLP DOI BibTeX RDF	discrete mathematics, classroom presentations
3	Rex L. Page	Software is discrete mathematics.	ICFP	2003	DBLP DOI BibTeX RDF	software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic
3	Herman Ruge	Introduction of Computers in Norwegian School Mathematics.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Boole, forsøksgymnaset, Norway, logic, Mathematics
3	Michael Jost, Bernd Wegner	EMIS 2001 - A World-Wide Cooperation for Communicating Mathematics Online.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Guilin Liu, Lisheng Feng, Airong Jiang, Xiaohui Zheng	The Development of E-mathematics Resources at Tsinghua University Library (THUL).	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Hannes Kaufmann	Construct3D: an augmented reality application for mathematics and geometry education.	ACM Multimedia	2002	DBLP DOI BibTeX RDF	geometry education, spatial intelligence, mathematics education
3	Andrea Asperti, Bernd Wegner	MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Michael Kaplan	Math-Net Means Not Just a Page!	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Galina A. Evstigneeva, Andrei I. Zemskov	RusDML - A Russian-German Project for Establishing a Digital Archive of the Russian Mathematical Publications.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Klaus Kaiser	The Web: Challenge and Opportunity for an Independent Journal.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
3	Kimberly S. Roempler	A national digital library for undergraduate mathematics and science teacher preparation and professional development.	JCDL	2001	DBLP DOI BibTeX RDF	inservice teachers, preservice teachers, pedagogy, science education, mathematics education, teacher preparation
3	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
3	Rolf H. Möhring	Scheduling under Uncertainty: Bounding the Makespan Distribution.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
3	Martin Aigner	Lattice Paths and Determinants.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
3	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
3	Reinhard Kahle, Thomas Studer	A Theory of Explicit Mathematics Equivalent to ID1.	CSL	2000	DBLP DOI BibTeX RDF	explicit mathematics, Proof theory, inductive definitions
3	Roy L. Crole	Introduction.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
3	Jeffry L. Hirst	Reverse mathematics of prime factorization of ordinals.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	second-order arithmetic, reverse mathematics
3	Thomas Lingefjärd, Jeremy Kilpatrick	Authority and responsibility when learning mathematics in a technology-enhanced environment.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Bernard Hodgson, David C. Johnson, David Tinsley	ICT's and secondary school mathematics - themes, visions and realities.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Tom J. van Weert	The impact of informatics on the teaching of mathematics.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Celia Hoyles	A culture of proving a school mathematics.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Klaus-Dieter Graf, Kiyoshi Yokochi	Educational experiments of distance learning and reorganisation of mathematics education.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Deane Arganbright	Spreadsheets for mathematics in a developing nation.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Carles Romero i Chesa, Ferran Ruiz i Tarragó	Social uses of the Internet and the construction of new models for mathematics teaching and learning.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Rosa Maria Bottino, Fulvia Furinghetti	The computer in mathematics teaching: scenes from the classroom.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Terence R. Cannings, Gary S. Stager	On-line communities as a vehicle for developing secondary mathematics educators.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Gail Marshall	Challenge, conflict and culture: issues for secondary school mathematics educators.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Thomas E. Kieren	Toward an embodied view of the mathematics curriculum in a world of technology.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Dave Miller	Teachers and technology: pre-service training for mathematics.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Jerry Johnson	Using the history of mathematics as a source of technology-rich problems.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
3	Vladimir A. Uspensky, Alexei L. Semenov	What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics.	Algorithms in Modern Mathematics and Computer Science	1979	DBLP DOI BibTeX RDF
3	Donald E. Knuth	Algorithms in modern mathematics and computer science.	Algorithms in Modern Mathematics and Computer Science	1979	DBLP DOI BibTeX RDF
3	N. N. Nepeivoda	The logical approach to programming.	Algorithms in Modern Mathematics and Computer Science	1979	DBLP DOI BibTeX RDF
2	Arnaud Chéritat	Braverman and Yampolsky: Computability of Julia Sets - Algorithms and Computations in Mathematics, Volume 23, Springer.	Foundations of Computational Mathematics	2012	DBLP DOI BibTeX RDF
2	M. Sivasubramanian, S. Kalimuthu	Retraction notice to: "Computer application in mathematics" [Comput. Math. Appl.	Computers & Mathematics with Applications	2012	DBLP BibTeX RDF
2	Svetlana Jankovic, Jasmina Djordjevic, Miljana Jovanovic	Corrigendum to "On a class of backward doubly stochastic differential equations" [Applied Mathematics and Computation 217 (2011) 8754-8764].	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
2	Gabriele Lolli	Infinitesimals and infinites in the history of mathematics: A brief survey.	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
2	J. R. L. Webb	Addendum to "Remarks on nonlocal boundary value problems at resonance. Applied Mathematics and Computation 216 (2) (2010) 497-500".	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
2	Emilio Barucci, Daniele Marazzina	Corrigendum to 'Optimal investment, stochastic labor income and retirement' Applied Mathematics and Computation 218 (2012) 5588-5604.	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
2	P. Eloe, R. H. Liu	Upper and Lower Solutions for Regime-Switching Diffusions with Applications in Financial Mathematics.	SIAM Journal of Applied Mathematics	2011	DBLP DOI BibTeX RDF
2	Shigang Yue, Hua-Liang Wei, Maozhen Li, Qilian Liang, Lipo Wang	ICNC-FSKD 2010 Special Issue on Computers & Mathematics in Natural Computation and Knowledge Discovery.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
2	V. Coscia, Luisa Fermo, Nicola Bellomo	On the mathematical theory of living systems II: The interplay between mathematics and system biology.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
2	Efim A. Galperin	Left time derivatives in mathematics, mechanics and control of motion.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
2	M. Kalami Yazdi	Corrigendum to "Analysis of nonlinear oscillations of a punctual charge in the electric field of a charged ring via a Hamiltonian approach and the energy balance method" [Computers & Mathematics with Applications 62 (2011) 486-490].	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
2	Tarek M. A. El-Mistikawy	Comment on "Group solution of a time dependent chemical convective process" by M.M. Kassem and A.S. Rashed, Applied Mathematics and Computation, 215 (2009) 1671-1684.	Applied Mathematics and Computation	2011	DBLP DOI BibTeX RDF
2	Nina Shang, Huizeng Qin	Comments on the paper: "Oscillation of second-order nonlinear ODE with damping" [Applied Mathematics and Computation 199 (2008) 644-652].	Applied Mathematics and Computation	2011	DBLP DOI BibTeX RDF
2	Petr Sojka, Martin Líska	Indexing and Searching Mathematics in Digital Libraries - Architecture, Design and Scalability Issues.	Calculemus/MKM	2011	DBLP DOI BibTeX RDF
2	Marcos Cramer, Peter Koepke, Bernhard Schröder	Parsing and Disambiguation of Symbolic Mathematics in the Naproche System.	Calculemus/MKM	2011	DBLP DOI BibTeX RDF
2	Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev	Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.	Calculemus/MKM	2011	DBLP DOI BibTeX RDF