Search results for "mathematics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	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
71	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
67	Paul S. Wang, Yi Zhou, Xiao Zou	Web-based Mathematics Education: MeML Design and Implementation.	ITCC (1)	2004	DBLP DOI BibTeX RDF
67	Bruno Buchberger	Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture).	CSL	2003	DBLP DOI BibTeX RDF
67	Stephen J. Sheel, Deborah Vrooman, René S. Renner, Shanda K. Dawsey	A Comparison of Neural Networks and Classical Discriminant Analysis in Predicting Students' Mathematics Placement Examination Scores.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
64	D. S. Tomer, Doug Baldwin, Christopher J. Fox	Integration of mathematical topics in CS1 and CS2 (panel).	SIGCSE	1998	DBLP DOI BibTeX RDF
62	Soleda Leung, Christopher Johnson 0003	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
61	Vicki L. Almstrum, David Ginat, Orit Hazzan, Tom Morley	Import and export to/from computing science education: the case of mathematics education research.	ITiCSE	2002	DBLP DOI BibTeX RDF
60	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
60	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
60	Gernot Stroth	Algorithms in Pure Mathematics.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
56	Yingxu Wang 0001	On Contemporary Denotational Mathematics for Computational Intelligence.	Trans. Comput. Sci.	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
54	Halimah Badioze Zaman, Norasiken Bakar, Azlina Ahmad, Riza Sulaiman, Haslina Arshad, Nor Faezah Mohd. Yatim	Virtual Visualisation Laboratory for Science and Mathematics Content (Vlab-SMC) with Special Reference to Teaching and Learning of Chemistry.	IVIC	2009	DBLP DOI BibTeX RDF	Visualization laboratory, Chemistry Teaching and Learning, Virtual Learning, Virtual laboratory
49	Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001	Perspectives on Denotational Mathematics: New Means of Thought.	Trans. Comput. Sci.	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
49	Anthony F. Peressini, Dominic Peressini	Philosophy of Mathematics and Mathematics Education.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
48	Bruce S. Elenbogen, John E. Laird, Richard J. Enbody, Chris McDonald, Peter B. Henderson, Richard Nau, Steven L. Tanimoto	Mathematics preparation for undergraduate degrees in computer science.	SIGCSE	2002	DBLP DOI BibTeX RDF
48	Eleanor Gilbert Rieffel	The Genre of Mathematics Writing and its Implications for Digital Documents.	HICSS	1999	DBLP DOI BibTeX RDF
48	Newcomb Greenleaf	Algorithms and proofs: mathematics in the computing curriculum.	SIGCSE	1989	DBLP DOI BibTeX RDF
48	William A. Marion	Discrete mathematics for computer science majors - where are we? How do we proceed?	SIGCSE	1989	DBLP DOI BibTeX RDF
48	James R. Sidbury	A statistical analysis of the effect of discrete mathematics on the performance of computer science majors in beginning computing classes.	SIGCSE	1986	DBLP DOI BibTeX RDF
46	Marc Conrad, Tim French 0001	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
45	David Berlinski	The Mathematics of Matter and the Mathematics of Mind.	HSCC	2003	DBLP DOI BibTeX RDF
44	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
44	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
44	Dave Miller	Teachers and technology: pre-service training for mathematics.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
44	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
44	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
44	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
44	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
44	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
44	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
44	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
44	Deane Arganbright	Spreadsheets for mathematics in a developing nation.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
44	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
44	Celia Hoyles	A culture of proving a school mathematics.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
44	Joseph G. Rosenstein	A Comprehensive View of Discrete Mathematics: Chapter 14 of the New Jersey Mathematics Curriculum Framework.	Discrete Mathematics in the Schools	1992	DBLP DOI BibTeX RDF
44	Bret Hoyer	A Discrete Mathematics Experience with General Mathematics Students.	Discrete Mathematics in the Schools	1992	DBLP DOI BibTeX RDF
44	Joseph Malkevitch	Discrete Mathematics and Public Perceptions of Mathematics.	Discrete Mathematics in the Schools	1992	DBLP DOI BibTeX RDF
44	Joseph G. Rosenstein	Discrete Mathematics in the Schools: An Opportunity to Revitalize School Mathematics.	Discrete Mathematics in the Schools	1992	DBLP BibTeX RDF
44	Wallace Feurzeig, Paul Horwitz, Albert Boulanger	Advanced Mathematics from an Elementary Viewpoint: Chaos, Fractal Geometry, and Nonlinear Systems.	Computers and Mathematics	1989	DBLP DOI BibTeX RDF
44	Michael J. Beeson	Logic and Computation in MATHPERT: An Expert System for Learning Mathematics.	Computers and Mathematics	1989	DBLP DOI BibTeX RDF
44	Michael Kaplan	Math-Net Means Not Just a Page!	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
44	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
43	Erik Rosenthal	Formal Versus Rigorous Mathematics: How to Get Your Papers Published.	TABLEAUX	2005	DBLP DOI BibTeX RDF	nature of proof, rigor, formal mathematics
43	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
43	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
42	Maciej M. Syslo, Anna Beata Kwiatkowska	Contribution of Informatics Education to Mathematics Education in Schools.	ISSEP	2006	DBLP DOI BibTeX RDF
42	Rafael E. Núñez	Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of Mathematics.	Embodied Artificial Intelligence	2003	DBLP DOI BibTeX RDF
42	Heather Mays, John Yearwood	Are Schools of Education Failing the Tertiary Mathematics Sector?	ITCC	2003	DBLP DOI BibTeX RDF
42	Gary Marc Levin	ISETL: A Language for Teaching Discrete Mathematics (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	SETL
42	Jacob T. Schwartz	The Interplay Between Mathematics And Computer Science.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
42	Alan C. Tucker	Computer Science Core Curriculum And Mathematics.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
41	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
41	Virginia Valzano, Maria Carmela Catamo	SINM: The Italian National Information System for Mathematics.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
41	Wilfrid Hodges	International Copyright and Mathematics.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
39	Michael Yang, Richard J. Fateman	Extracting mathematical expressions from postscript documents.	ISSAC	2004	DBLP DOI BibTeX RDF	postscript documents, digital library, optical character recognition, document image analysis, mathematics
39	William Gasarch	Joint Review of The Mathematics of Various Entertaining Subjects: Research in Recreational Math and The Mathematics of Various Entertaining Subjects: Vol. 2. Research in Games, Graphs, Counting, and Complexity and The Mathematics of Various Entertaining Subjects Vol. 3. The Magic of Mathematics.	SIGACT News	2023	DBLP DOI BibTeX RDF
39	Jasmine Nadja Junghan Pinugu, Ardvin Kester Sy Ong, Julio Lorenzo Bautista	Mathematics Self- Efficacy, Mathematics Anxiety, Community of Inquiry, and Mathematics Engagement of Performance in Mathematics among College Students using an Online Learning Modality.	ICEMT	2023	DBLP DOI BibTeX RDF
39	Leone Burton	Mathematicians' Narratives About Mathematics.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	Jody Azzouni	How and Why Mathematics is Unique as a Social Practice.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	Eduard Glas	Mathematics As Objective Knowledge And As Human Practice.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	Ad Meskens	The Importance of a Journal for Mathematics Teachers.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	Otávio A. S. Bueno	Incommensurability In Mathematics.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	R. S. D. Thomas	The Comparison Of Mathematics With Narrative.	Perspectives On Mathematical Practices	2007	DBLP DOI BibTeX RDF
39	Charles R. Hampton	Philosophy of Mathematics: An Introduction to the World of Proofs Pictures by James Robert Brown; Philosophies of Mathematics by Alexander George; Daniel J. Velleman; Thinking about Mathematics: The Philosophy of Mathematics by Stewart Shapiro.	Am. Math. Mon.	2006	DBLP BibTeX RDF
39	Thierry Bouche	Digital Mathematics Libraries: The Good, the Bad, the Ugly.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
38	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
37	Francisco A. Doria	Informal versus formal mathematics.	Synth.	2007	DBLP DOI BibTeX RDF	Informal mathematics, Consistency of arithmetic, P vs. NP, Formalized mathematics
37	Klaus Sutner	CDM: Teaching discrete mathematics to computer science majors.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	Experimental mathematics, symbolic computation, mathematics education
36	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
36	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
36	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
36	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
36	Ann Grbavec, Dorothea Blostein	Mathematics recognition using graph rewriting.	ICDAR	1995	DBLP DOI BibTeX RDF	mathematics recognition, high-level recognition, mathematical notation, symbol recognizer, recursive subexpressions, global context, operator precedence, operator range, two-dimensional patterns manipulation, notational conventions, circuit diagrams, musical scores, pattern recognition, image recognition, rewriting systems, graph rewriting, diagram recognition
35	Thierry Coquand	Constructive Mathematics and Functional Programming (Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
35	Sylvia da Rosa 0001	Designing Algorithms in High School Mathematics.	TFM	2004	DBLP DOI BibTeX RDF
35	Paul A. Cairns	Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics.	MKM	2004	DBLP DOI BibTeX RDF
35	Susumu Hayashi, Masahiro Nakata	Towards Limit Computable Mathematics.	TYPES	2000	DBLP DOI BibTeX RDF
35	Roger L. Wainwright	Introducing functional programming in discrete mathematics.	SIGCSE	1992	DBLP DOI BibTeX RDF	Miranda
35	James Bradley	The role of mathematics in the computer science curriculum.	SIGCSE	1988	DBLP DOI BibTeX RDF
35	Nancy L. Hagelhans	A computer science/mathematics major for liberal arts colleges.	SIGCSE	1987	DBLP DOI BibTeX RDF
35	Sylvia A. Shafto	Programming for learning in mathematics and science.	SIGCSE	1986	DBLP DOI BibTeX RDF
35	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
34	Josef Urban, Jirí Vyskocil	Theorem Proving in Large Formal Mathematics as an Emerging AI Field.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
34	Juliet Floyd	Wittgenstein on Philosophy of Logic and Mathematics.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
34	David Charles McCarty	Intuitionism in Mathematics.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
34	Lisa Shabel	Apriority and Application: Philosophy of Mathematics in the Modem Period.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
34	Mark Steiner	Mathematics-Application and Applicability.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
34	Stewart Shapiro	Philosophy of Mathematics and Its Logic: Introduction.	The Oxford Handbook of Philosophy of Mathematics and Logic	2007	DBLP BibTeX RDF
34	Thierry Coquand, Henri Lombardi, Marie-Françoise Roy	05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
34	Thierry Coquand	05021 Executive Summary -- Mathematics, Algorithms, Proofs.	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
34	Harold M. Edwards	Introduction to My Book "Essays in Constructive Mathematics".	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
34	Michael Jost 0002, Bernd Wegner	EMIS 2001 - A World-Wide Cooperation for Communicating Mathematics Online.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
34	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
34	David Tinsley, David C. Johnson (eds.)	Information and Communications Technologies in School Mathematics, IFIP TC3/WG3.1 Working Conference on Secondary School Mathematics in the World of Communication Technology: Learning, Teching, and the Curriculum, 26-31 October 1997, Grenoble, France	Secondary School Mathematics in the World of Communication Technology	1998	DBLP BibTeX RDF
34	Ivan Kalas, Andrej Blaho	Young students and future teachers as passengers on the Logo engine.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
34	Walter Oberschelp	How informatics and discrete thinking return to school.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
34	Mundher Adhami, David C. Johnson, Michael Shayer	Cognitive development and classroom interaction: a theoretical foundation for teaching and learning.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
34	Erich Neuwirth	Spreadsheets: just smart calculators or a new paradigm for thinking about mathematical structures?	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF
34	Giuliana Dettori, Simonetta Greco, Enrica Lemut	Complementing different software environments to mediate the introduction of variable, parameter and unknown.	Secondary School Mathematics in the World of Communication Technology	1997	DBLP BibTeX RDF