|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11014 occurrences of 5351 keywords
|
|
|
Results
Found 28291 publication records. Showing 28290 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Rebhi Baraka, Wolfgang Schreiner |
Querying Registry-Published Mathematical Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria, pp. 767-772, 2006, IEEE Computer Society, 0-7695-2466-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rebhi Baraka, Wolfgang Schreiner |
Semantic Querying of Mathematical Web Service Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 73-87, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Abdou Youssef |
Roles of Math Search in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 2-16, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki |
Capturing Abstract Matrices from Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 124-138, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Manfred Kerber |
A Dynamic Poincaré Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 44-53, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Luca Padovani, Stefano Zacchiroli |
From Notation to Semantics: There and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 194-207, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ismet Bayraktaroglu, Alex Orailoglu |
The Construction of Optimal Deterministic Partitionings in Scan-Based BIST Fault Diagnosis: Mathematical Foundations and Cost-Effective Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(1), pp. 61-75, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fault diagnosis, finite field arithmetic, scan-based BIST |
17 | Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska |
Natural Language Dialog with a Tutor System for Mathematical Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Systems ![In: Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers, pp. 1-14, 2005, Springer, 3-540-70933-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marcelo P. Fiore |
Mathematical Models of Computational and Combinatorial Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 25-46, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Godfried T. Toussaint |
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR (1) ![In: Pattern Recognition and Data Mining, Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part I, pp. 18-27, 2005, Springer, 3-540-28757-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner |
A Web Registry for Publishing and Discovering Mathematical Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 190-193, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Tianhai Tian, Kevin Burrage |
A Mathematical Model for Genetic Regulation of the Lactose Operon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part II, pp. 1245-1253, 2005, Springer, 3-540-25861-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Xuedong Tian, Haoxin Fan |
Structural Analysis Based on Baseline in Printed Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 787-790, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ernesto Tapia, Raúl Rojas 0001 |
Recognition of On-Line Handwritten Mathematical Expressions in the E-Chalk System - An Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 1206-1210, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Kamal Aboul-Hosn, Terese Andersen |
A Proof-Theoretic Approach to Hierarchical Math Library Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 1-16, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Gueorgui I. Jojgov |
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 389-403, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis |
Authoring Presentation for OpenMath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 33-48, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Leiming Liu, Chaonan Tong, Jianqin Wang, Ranbing Liu |
A Uniform and Reduced Mathematical Model for Sucker Rod Pumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II, pp. 372-379, 2004, Springer, 3-540-22115-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Fairouz Kamareddine, Manuel Maarek, J. B. Wells |
Flexible Encoding of Mathematics on the Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 160-174, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gueorgui I. Jojgov, Rob Nederpelt |
A Path to Faithful Formalizations of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, pp. 145-159, 2004, Springer, 3-540-23029-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch |
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, pp. 127-141, 2003, Springer, 3-540-00605-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer |
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electronic Information and Communication in Mathematics ![In: Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers, pp. 59-71, 2002, Springer, 3-540-40689-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Masayuki Okamoto, Hiroki Imai, Kazuhiko Takagi |
Performance Evaluation of a Robust Method for Mathematical Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 10-13 September 2001, Seattle, WA, USA, pp. 121-128, 2001, IEEE Computer Society, 0-7695-1263-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Bernd Wegner |
The Electronic Library in EMIS - European Mathematical Information Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 4th European Conference, ECDL 2000, Lisbon, Portugal, September 18-20, 2000, Proceedings, pp. 428-431, 2000, Springer, 3-540-41023-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Utpal Garain, B. B. Chaudhuri 0001 |
A Syntactic Approach for Processing Mathematical Expressions in Printed Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4523-4526, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Franke 0001, Michael Kohlhase |
System Description: MBASE, an Open Mathematical Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 455-459, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Michael Kohlhase |
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, pp. 32-52, 2000, Springer, 3-540-42071-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Daniel W. Lozier, Bruce R. Miller, Bonita V. Saunders |
Design of a Digital Mathematical Library for Science, Technology and Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADL ![In: Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, Baltimore, Maryland, USA, May 19-21, 1999, pp. 118-128, 1999, IEEE Computer Society, 0-7695-0219-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Document Conversion, Visualization, World Wide Web, Database, Digital Library, Mathematics, Special Functions |
17 | Lubomir Birov, Arkady Prokofiev, Yuri Bartenev, Anatoly Vargin, Avijit Purkayastha, Yoginder S. Dandass, Vladimir Erzunov, Elena Shanikova, Anthony Skjellum, Purushotham V. Bangalore, Eugeny Shuvalov, Vitaly Ovechkin, Nataly Frolova, Sergey Orlov, Sergey Egorov |
The Parallel Mathematical Libraries Project (PMLP): Overview, Design Innovations, and Preliminary Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 186-193, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Antony T. Popov, Hung T. Nguyen 0002, Leonid K. Reznik |
An Application of Fuzzy Mathematical Morphology to Interval-Valued Knowledge Representation: A Remark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 4(3), pp. 283-290, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Karsten Homann, Jacques Calmet |
Structures for Symbolic Mathematical Reasoning and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings, pp. 216-227, 1996, Springer, 3-540-61697-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Integration of computing and reasoning paradigms, Interfaces |
17 | Niclas Andersson, Peter Fritzson |
Generating Parallel Code from Object Oriented Mathematical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, California, USA, July 19-21, 1995, pp. 48-57, 1995, ACM, 0-89791-700-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Frank Yeong-Chyang Shih, Owen Robert Mitchell |
A mathematical morphology approach to Euclidean distance transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 1(2), pp. 197-204, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Fred Grossman, Robert J. Klerer, Melvin Klerer |
A language for high-level programming of mathematical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 31-40, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Lung Chiang Wu, Harry K. Edwards |
A mixed integer mathematical programming model solution using branch and bound techniques (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 364, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Satya D. Dubey |
Statistical Determination of Certain Mathematical Constants and Functions Using Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(4), pp. 511-525, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
16 | 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'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 6th International Symposium on Wikis and Open Collaboration, 2010, Gdansk, Poland, July 7-9, 2010, 2010, ACM, 978-1-4503-0056-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Polymath1, blogs, mathematics, online collaboration |
16 | Ed Gellenbeck, Andreas Stefik |
Evaluating prosodic cues as a means to disambiguate algebraic expressions: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2009, Pittsburgh, Pennsylvania, USA, October 25-28, 2009, pp. 139-146, 2009, ACM, 978-1-60558-558-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SSML, accessibility, MathML, DAISY, synthetic speech |
16 | Davood G. Gozli, Marco Pollanen, Michael G. Reynolds |
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 310-324, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | John Howse, Gem Stapleton |
Visual Mathematics: Diagrammatic Formalization and Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 478-493, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sabina Jeschke, Nicole Natho, Thomas Richter, Ruedi Seiler, Marc Wilke |
Knowledge Management in mArachna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: Eigth IEEE International Symposium on Multimedia (ISM 2006), 11-13 December 2006, San Diego, CA, USA, pp. 746-749, 2006, IEEE Computer Society, 0-7695-2746-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gin McCollum |
Mathematics reflecting sensorimotor organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 88(2), pp. 108-128, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Simon Colton, Volker Sorge, Ursula Martin |
Workshop: The Role of Automated Deduction in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 517, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin P. Berman, Richard J. Fateman |
Optical Character Recognition for Typeset Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 348-353, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Martin Davis, Hilary Putnam |
A Computing Procedure for Quantification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(3), pp. 201-215, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
15 | Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti |
Learning to Configure Mathematical Programming Solvers by Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.05041, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Gonzalo Romero-García, Isabelle Bloch, Carlos Agón |
Mathematical Morphology Applied to Feature Extraction in Music Spectrograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings, pp. 431-442, 2024, Springer, 978-3-031-57792-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Garn, Klaus Kieseberg, Ceren Çulha, Marlene Koelbing, Dimitris E. Simos |
A Mathematical Approach on the Use of Integer Partitions for Smurfing in Cryptocurrencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARBLE ![In: Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom, July 11-13, 2023, pp. 169-177, 2023, Springer, 978-3-031-48730-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christer Oscar Kiselman |
Digital Geometry, Mathematical Morphology, and Discrete Optimization: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings, pp. 26-31, 2022, Springer, 978-3-031-19896-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Santiago Velasco-Forero, Jesús Angulo |
MorphoActivation: Generalizing ReLU Activation Function by Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings, pp. 449-461, 2022, Springer, 978-3-031-19896-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Tetiana Hodovaniuk, Tetiana Makhometa, Irina Tiahai, Daria Voznosymenko, Vitalii Dubovyk |
Use of the Dynamic Mathematical Program of GeoGebra in Classes in Mathematical Disciplines in the Conditions of Blended Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3L-Person@ICTERI ![In: Proceedings of the VI International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2021) co-located with 17th International Conference on ICT in Education, Research, and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI 2021), Kherson, Ukraine, October 1, 2021., pp. 77-86, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon |
On Some Associations Between Mathematical Morphology and Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings, pp. 457-469, 2021, Springer, 978-3-030-76656-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret |
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGMM ![In: Discrete Geometry and Mathematical Morphology - First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings, pp. 79-92, 2021, Springer, 978-3-030-76656-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Konstantin E. Samouylov, Leonid A. Sevastianov, Dmitry S. Kulyabov |
The XI International Conference Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITTMM ![In: Proceedings of the Workshop on information technology and scientific computing in the framework of the XI International Conference Information and Telecommunication Technologies and Mathematical Modeling of High-Tech Systems, Moscow, Russian, April 19th - to - 23rd, 2021., pp. 1-5, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | André Greiner-Petter, Moritz Schubotz, Fabian Müller 0002, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp |
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.02712, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | André Greiner-Petter, Moritz Schubotz, Fabian Müller 0002, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp |
Discovering Mathematical Objects of Interest - A Study of Mathematical Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, pp. 1445-1456, 2020, ACM / IW3C2, 978-1-4503-7023-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Gabriele Iommazzo, Claudia D'Ambrosio, Antonio Frangioni, Leo Liberti |
Learning to Configure Mathematical Programming Solvers by Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LION ![In: Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers, pp. 377-389, 2020, Springer, 978-3-030-53551-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Anh Duc Le |
Recognizing handwritten mathematical expressions via paired dual loss attention network and printed mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2020, Seattle, WA, USA, June 14-19, 2020, pp. 2413-2418, 2020, Computer Vision Foundation / IEEE, 978-1-7281-9360-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Kuniko Yamada, Harumi Murakami |
Mathematical Expression Retrieval in PDFs from the Web Using Mathematical Term Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020, Proceedings, pp. 155-161, 2020, Springer, 978-3-030-55788-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dennis Tobias Halbach |
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 353-361, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr |
Markov Transition Matrix Analysis of Mathematical Expression Input Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 451-461, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jan Frederik Schaefer, Kai Amann, Michael Kohlhase |
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 406-415, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Athar Abdul-Quader |
J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5-6, pp. 571-581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5-6, pp. 541-553. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 25(1), pp. 125-126, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Joseph Malinzi |
Mathematical Analysis of a Mathematical Model of Chemovirotherapy: Effect of Drug Infusion Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2019, pp. 7576591:1-7576591:16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Aygun Abulfat Medzhidova |
Mathematical Speech as a Development of the Mathematical Knoweledge of Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Russ. Digit. Libr. J. ![In: Russ. Digit. Libr. J. 22(6), pp. 660-666, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Sala, Christophe Prud'homme, Giovanna Guidoboni, Marcela Szopos, Alon Harris |
Mathematical Assessment of the Role of Three Factors Entangled in the Development of Glaucoma by Means of the Ocular Mathematical Virtual Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENUMATH ![In: Numerical Mathematics and Advanced Applications ENUMATH 2019 - European Conference, Egmond aan Zee, The Netherlands, September 30 - October 4, pp. 851-860, 2019, Springer, 978-3-030-55873-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Zubair Islam, Kashif Mehmood, Hyung Seok Kim |
Reinforcement Learning Based Interactive Agent for Personalized Mathematical Skill Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MACIS ![In: Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers, pp. 395-407, 2019, Springer, 978-3-030-43119-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Carl J. Nelson, Philip T. G. Jackson, Boguslaw Obara |
Combining Mathematical Morphology and the Hilbert Transform for Fully Automatic Nuclei Detection in Fluorescence Microscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings, pp. 532-543, 2019, Springer, 978-3-030-20866-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mateus Sangalli, Marcos Eduardo Valle |
Approaches to Multivalued Mathematical Morphology Based on Uncertain Reduced Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings, pp. 228-240, 2019, Springer, 978-3-030-20866-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Petros Maragos |
Tropical Geometry, Mathematical Morphology and Weighted Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings, pp. 3-15, 2019, Springer, 978-3-030-20866-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Teo Asplund, Andrés Serna, Beatriz Marcotegui, Robin Strand, Cris L. Luengo Hendriks |
Mathematical Morphology on Irregularly Sampled Data Applied to Segmentation of 3D Point Clouds of Urban Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings, pp. 375-387, 2019, Springer, 978-3-030-20866-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sergio Manzetti |
Mathematical Modeling of Rogue Waves: A Survey of Recent and Emerging Mathematical Methods and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 7(2), pp. 42, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr |
Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 297-304, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Takeo Noda, Masataka Kaneko |
Collaborative Use of Mathematical Content Generated by CindyJS on Tablets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 379-388, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | William M. Farmer |
A New Style of Mathematical Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 175-181, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Matthew England 0001 |
Machine Learning for Mathematical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 165-174, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Wolfram Sperber |
Mathematical Research Data, Software, Models, and the Publication-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 448-457, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yihe Dong |
NLP and Large-Scale Information Retrieval on Mathematical Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, pp. 156-164, 2018, Springer, 978-3-319-96417-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Cristiano Natal Tonéis |
The act of playing and the logical and mathematical reasoning in digital games: The mathematical experience in the digital games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entertain. Comput. ![In: Entertain. Comput. 18, pp. 93-102, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Liangcai Gao, Zhuoren Jiang, Yue Yin, Ke Yuan, Zuoyu Yan, Zhi Tang 0001 |
Preliminary Exploration of Formula Embedding for Mathematical Information Retrieval: can mathematical formulae be embedded like a natural language? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.05154, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Tokinori Suzuki, Atsushi Fujii |
Mathematical Document Categorization with Structure of Mathematical Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: 2017 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2017, Toronto, ON, Canada, June 19-23, 2017, pp. 119-128, 2017, IEEE Computer Society, 978-1-5386-3861-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease |
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings, pp. 132-146, 2017, Springer, 978-3-319-62074-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Noboru Kunihiro |
Mathematical Approach for Recovering Secret Key from Its Noisy Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CREST Crypto-Math Project ![In: Mathematical Modelling for Next-Generation Cryptography: CREST Crypto-Math Project, pp. 199-217, 2017, Springer Singapore, 978-981-10-5064-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tom Wiesing, Michael Kohlhase, Florian Rabe 0001 |
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MACIS ![In: Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings, pp. 243-257, 2017, Springer, 978-3-319-72452-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Michael Kohlhase, Luca De Feo, Dennis Müller 0001, Markus Pfeiffer, Florian Rabe 0001, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing |
Knowledge-Based Interoperability for Mathematical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MACIS ![In: Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings, pp. 195-210, 2017, Springer, 978-3-319-72452-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Noyel, Michel Jourlin |
Double-Sided Probing by Map of Asplund's Distances Using Logarithmic Image Processing in the Framework of Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings, pp. 408-420, 2017, 978-3-319-57239-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Isabelle Bloch |
Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Applications to Signal and Image Processing - 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings, pp. 40-51, 2017, 978-3-319-57239-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Lucius Schoenbaum |
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.03026, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Kerry Lee |
Mathematical Competence, Teaching, and Learning. Reflections on 'Challenges in Mathematical Cognition' by Alcock et al. (2016). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Numer. Cogn. ![In: J. Numer. Cogn. 2(1), pp. 48-52, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Lucius Schoenbaum |
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM4M/MathUI/ThEdu/DP/WIP@CIKM ![In: Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016., pp. 26-41, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Anna Zamansky, Yoni Zohar |
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Workshops ![In: Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings, pp. 103-108, 2016, Springer, 978-3-319-39563-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Martin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel |
CindyJS - Mathematical Visualization on Modern Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 319-326, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Aaron Montag, Jürgen Richter-Gebert |
CindyGL: Authoring GPU-Based Interactive Mathematical Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 359-365, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Martin von Gagern, Jürgen Richter-Gebert |
CindyJS Plugins - Extending the Mathematical Visualization Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 327-334, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Koprucki, Karsten Tabelow |
Mathematical Models: A Research Data Category? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 423-428, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Wolfram Sperber |
Mathematical Research Data and Information Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 429-433, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano |
PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 301-307, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Helge Holzmann, Mila Runnwerth, Wolfram Sperber |
Linking Mathematical Software in Web Archives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 419-422, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mila Runnwerth |
Mathematical Videos and Affiliated Supplementaries in TIB's AV Portal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 476-481, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Joris van der Hoeven |
Mathematical Font Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, pp. 522-529, 2016, Springer, 978-3-319-42431-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
|
|