CFPs in Mathematics and Statistics

This page displays all currently active CFPs in Mathematics and Statistics.

### Areas

Click on an area below to view all CFPs in this area.

### CFPs

CFPs in Mathematics and Statistics are shown in the table below. Newer CFPs are displayed first.

| ||||||||

Acronym | Name | Location | Submission deadline | Start date | Topics | |||
---|---|---|---|---|---|---|---|---|

CAMAI 2018 | The 13th Conference on Applied Mathematics and Informatics | Bucharest, Romania | Jun 17, 2018 | Nov 09, 2018 | applied mathematics applied informatics mathematical biology information technology | |||

HPCMASPA 2018 | Workshop on Monitoring and Analysis for HPC Systems Plus Applications | Belfast, UK | May 29, 2018 | Sep 10, 2018 | data collection application monitoring system operations system monitoring | |||

CECC18 | The 18th Central European Conference on Cryptology | Smolenice, Slovakia | Mar 31, 2018 | Jun 06, 2018 | cryptanalysis cryptography pseudorandomness steganography | |||

QOD 2018 | 1st Workshop on Quality of Open Data | Berlin, Germany | May 27, 2018 | Jul 18, 2018 | data quality information extraction open data lod | |||

AIST'18 | The 7th International Conference on Analysis of Images, Social Networks, and Texts | Moscow, Russia | Apr 15, 2018 | Jul 05, 2018 | data science data mining machine learning natural language processing | |||

LeGO2018 | 14th Int. Workshop on Global Optimization | Leiden, Netherlands | Apr 30, 2018 | Sep 18, 2018 | ||||

IXPUG Workshop KAUST 2018 | IXPUG Workshop KAUST 2018 | Thuwal, Saudi Arabia | Feb 23, 2018 | Apr 22, 2018 | programming models for manycore processing applications in energy and environment convergence of simulation and analytics co design for exascale | |||

OAGM 2018 | 42nd OAGM/AAPR Workshop 2018 - Medical Image Analysis | Hall/Tyrol, Austria | Mar 07, 2018 | May 15, 2018 | medical image analysis computer vision image processing pattern recognition | |||

WAOA2018 | 16th Workshop on Approximation and Online Algorithms | Helsinki, Finland | Jun 24, 2018 | Aug 23, 2018 | competitive analysis approximation algorithms | |||

MOLI2018 | Modern Online Algorithms | Prague, Czech Republic | Apr 20, 2018 | Jul 09, 2018 | online algorithms competitive analysis measures for online algorithms | |||

LSFA 2018 | 13th Workshop on Logical and Semantic Frameworks with Applications | Fortaleza, Brazil | Jun 10, 2018 | Sep 26, 2018 | automated deduction logic semantics | |||

Cryptology2018 | 6th International Cryptology and Information Security Conference 2018 | Putrajaya, Malaysia | Apr 14, 2018 | Jul 09, 2018 | information security codes cryptology | |||

IWSEC 2018 | The 13th International Workshop on Security | Sendai, Japan | Mar 23, 2018 | Sep 03, 2018 | information security cybersecurity cryptography privacy preserving | |||

MMET*2018 | 17th International Conference on Mathematical Methods in Electromagnetic Theory | Kyiv, Ukraine | May 01, 2018 | Jul 03, 2018 | mathematical methods electromagnetic theory scattering eigenvalue problem | |||

KEDS2018 | Knowledge Engineering and Data Science | Jul 07, 2018 | data science big data data mining knowledge engineering | |||||

ARCH18 | 5th International Workshop on Applied Verification of Continuous and Hybrid Systems | Oxford, UK | Apr 06, 2018 | Jul 13, 2018 | verification formal methods hybrid systems industrial applications | |||

PROOFS 2018 | 7th International Workshop on Security Proofs for Embedded Systems | Amsterdam, Netherlands | Jun 22, 2018 | Sep 13, 2018 | physical security (automated) security proofs formal methods in security synergy between security and reliability | |||

JCDS18 | Joint Conference on Data Science 2018 | Edinburgh, UK | May 22, 2018 | big data machine learning ethics data science | ||||

SYNASC 2018 | 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | Timisoara, Romania | Apr 22, 2018 | Sep 20, 2018 | symbolic computation scientific computing algorithms numeric computation | |||

UTM-ESCon2018 | UTM-Emerging Scientist Conference 2018 | Johor Bahru, Malaysia | Feb 28, 2018 | May 02, 2018 | mathematics chemistry physics biology | |||

GandALF 2018 | Ninth International Symposium on Games, Automata, Logics, and Formal Verification | Saarbrücken, Germany | Jun 15, 2018 | Sep 26, 2018 | automata theory games verification | |||

LMNID-18 | NetSci2018 Satellite Symposium: Livestock Movement Networks & Infectious Disease | Paris, France | Mar 02, 2018 | Jun 12, 2018 | network science veterinary epidemiology | |||

HOR 18 | 9th Workshop on Higher-Order Rewriting | Oxford, UK | Apr 15, 2018 | Jul 07, 2018 | rewriting lambda calculus higher order programming syntax and semantics of programming | |||

MLCS18 | First Workshop on Machine Learning for Computing Systems | Tempe, AZ, United States | Apr 09, 2018 | Jun 12, 2018 | machine learning high performance computing resilience | |||

CICM-2018 | Intelligent Computer Mathematics | Hagenberg, Austria | Apr 22, 2018 | Aug 13, 2018 | knowledge management computer algebra theorem proving digital mathematical libraries | |||

MOMI2018 | Le Monde des Mathématiques Industrielles | Biot, France | Jan 31, 2018 | |||||

PATAT 2018 | 12th International Conference on the Practice and Theory of Automated Timetabling | Vienna, Austria | Aug 28, 2018 | |||||

CST'2018 | Computer Science and Technology | Mar 31, 2018 | data mining natural language processing security and privacy bio inspiration and metaheuristic methods | |||||

SCRIT'2018 | Studies on Computer Research and Information Technology | Mar 31, 2018 | data mining web services optimization signal or image processing | |||||

DAPPER 2018 | International Workshop on Data Analytics and Parallel Performance | Belfast, UK | Feb 15, 2018 | Apr 02, 2018 | data analytics machine learning performance analysis high performance computing | |||

SDM-BA2018 | The Strategic Decision Making- The Role of Business Analytics | Bangalore, India | Jan 25, 2018 | Jan 30, 2018 | marketing finance human resources | |||

PPSN 2018 | The Fifteenth International Conference on Parallel Problem Solving from Nature | Coimbra, Portugal | Mar 26, 2018 | Sep 08, 2018 | evolutionary computation natural computing artificial life | |||

SIDIM 2018 | XXXIII Seminario Interuniversitario de Investigación en Ciencias Matemáticas (SIDIM 2018) | San Juan, Puerto Rico | Mar 02, 2018 | Mar 23, 2018 | mathematics statistics data science mathematics education | |||

ADG2018 | 12th International Conference on Automated Deduction in Geometry | Nanning, China | May 25, 2018 | Sep 11, 2018 | polynomial algebra algebraic methods for geometric computation geometry software applications to computer science | |||

2018 ACSGAKC | The third Summer School and Conference on Geometric Algebra and Kähler Calculus | Milano, Italy | Jul 23, 2018 | geometric algebra interdisciplinary research clifford algebra kaehler calculus | ||||

EPIO y ENDIO 2018 | XXIX EPIO (Escuela de Perfeccionamiento en Investigación Operativa) y XXXI ENDIO (Encuentro Nacional de Docentes en Investigación Operativa) 2018 | Mar Del Pata, Argentina | Mar 12, 2018 | Jun 06, 2018 | investigación operativa resolución de problemas matemática aplicada estadística | |||

BALCOR 2018 | XIII Balkan Conference on Operational Research - "OR in Balkans - Recent Advances" | Belgrade, Serbia | May 25, 2018 | |||||

FEW 2018 | Formal Epistemology Workshop 2018 | Toronto, Canada | Feb 12, 2018 | Jun 12, 2018 | ||||

MLABSED 2017 | Machine learning in analysis of biomedical and socio-economic data | Saint-Petersburg, Russia | Feb 10, 2018 | machine learning biomedical data mining socio economic data mining | ||||

GraML 2018 | Second Workshop on the Intersection of Graph Algorithms and Machine Learning | Vancouver, Canada | Feb 01, 2018 | May 25, 2018 | graph algorithms machine learning | |||

GameSec 2018 | Conference on Decision and Game Theory for Security 2018 | Seattle, WA, United States | Jun 15, 2018 | Oct 29, 2018 | game theory security and privacy control for security risk assessment | |||

SMADES 2018 | Smart Delivery Systems: Optimizing Complex Vehicle Routing Problems (Elsevier) | Amsterdam, Netherlands | Jun 30, 2018 | optimization operations research smart delivery and routing machine learning | ||||

MLP 2018 | Workshop on Machine Learning for Programming | Oxford, UK | Apr 15, 2018 | Jul 18, 2018 | machine learning mining software repositories program analysis and synthesis big code | |||

CIFSD-18 | Conférence Internationale Francophone sur les Sciences de Données | Tanger, Morocco | Jan 28, 2018 | Apr 23, 2018 | data science | |||

APCORISE 2018 | The 1st Asia Pacific Conference on Research in Industrial and Systems Engineering 2018 | Depok, Indonesia | Jan 28, 2018 | Apr 18, 2018 | systems engineering industrial engineering production systems and logistics ergonomics and innovation | |||

SCOR18 | 6th Student Conference on Operational Research 2018 | Nottingham, UK | Mar 30, 2018 | Apr 06, 2018 | ||||

ALHawaii 2018 | Algebras and Lattices in Hawaii: honoring Ralph Freese, Bill Lampe and JB Nation | Honolulu, NY, United States | Feb 20, 2018 | May 22, 2018 | universal algebra concept analysis lattice theory horn logic and applications | |||

BSC 2018 | 29th Biennial Symposium on Communications | Toronto, Canada | Mar 04, 2018 | Jun 06, 2018 | information theory communications signal processing | |||

CompIMAGE'18 | 6th International Symposium CompIMAGE’18: Computational Modeling of Objects Presented in Images Fundamentals, Methods and Applications | Cracow, Poland | Mar 15, 2018 | Jul 02, 2018 | image segmentation machine vision medical imaging data visualization | |||

iFM 2018 | 14th International Conference on integrated Formal Methods | Maynooth, Ireland | Apr 20, 2018 | Sep 05, 2018 | formal methods verification program synthesis runtime analysis | |||

ACRMS2018 | The 33rd Annual Conference of Ramanujan Mathematical Society | Delhi, India | Mar 31, 2018 | Jun 01, 2018 | mathematics | |||

CROSSDEM18 | Cross-Disciplinary Approaches to Prehistoric Demography | Tarragona, Spain | Feb 04, 2018 | Mar 01, 2018 | archaeology palaeodemography prehistory cross disciplinarity | |||

CL&C 2018 | Classical Logic and Computation 2018 (Seventh of the series CL&C) | Oxford, UK | Mar 19, 2018 | Jul 07, 2018 | logic programming | |||

EWGLA 2018 | XXIV EURO Working Group on Locational Analysis meeting | Edinburgh, UK | Jan 31, 2018 | May 23, 2018 | ||||

ewgcfm2018 | 61st Meeting of EURO Working Group for Commodities and Financial Modelling | Kaunas, Lithuania | Apr 01, 2018 | May 16, 2018 | financial modelling decision making analysis and methods pension planning or methods in finance | |||

ICMDM 2018 | International Conference on Mechanical and Digital Manufacturing | Tokyo, Japan | Feb 15, 2018 | Jun 01, 2018 | mechanical automation design digital manufacturing | |||

AFRICACRYPT 2018 | 1Oth International Conference on Cryptology, AFRICACRYPT 2018 | Marrakesh, Morocco | May 07, 2018 | cryptography information security codes | ||||

GABB'18 | Graph Algorithms Building Blocks Workshop 2018 | Vancouver, B.C., Canada | Feb 13, 2018 | May 20, 2018 | graphs graph algroithms frameworks and libraries applications of graph algorithms | |||

SDM18_InsAI | SIAM International Conference on Data Mining | San Diego, CA, United States | ||||||

L18 | Logica 2018 | Hejnice, Czech Republic | Jun 19, 2018 | |||||

IJCRS'2018 | International Joint Conference on Rough Sets 2018 | Quy Nhon, Viet Nam | Mar 10, 2018 | Aug 20, 2018 | applications rough set models and methods related methods and hybridization | |||

GTM2018 | The Twelfth International Conference on Game Theory and Management | Saint-Petersburg, Russia | Jun 27, 2018 | |||||

SciSec2018 | International Conference on Science of Cyber Security | Beijing, China | May 01, 2018 | Aug 12, 2018 | cybersecurity science of security | |||

SetVR 2018 | International Workshop on Set Visualization and Reasoning 2018 | Edinburgh, UK | Feb 19, 2018 | computer science visualization logic cognitive science | ||||

UNIF 2018 | 32nd International Workshop on Unification | Oxford, UK | Apr 16, 2018 | Jul 07, 2018 | type checking unification algorithms matching algorithms higher order unification | |||

LAWCI 2018 | Latin American Week on Coding and Information 2018 | Campinas, Brazil | Apr 07, 2018 | Jul 22, 2018 | information theory channel coding source coding cryptography | |||

C2IS-SEA 2018 | The 1st Codes, Cryptology & Information Security Southeast Asia 2018 | Putrajaya, Malaysia | Feb 05, 2018 | Jul 09, 2018 | information security codes cryptology | |||

ERPO 2018 | Encontro Regional de Pesquisa Operacional do Sudeste | Limeira, Brazil | Mar 16, 2018 | May 01, 2018 | ||||

ISCO2018 | International Symposium on Combinatorial Optimization | Marrakesh, Morocco | Jan 10, 2018 | Apr 11, 2018 | combinatorial optimization approximation algorithms polyhedral combinatorics graph and network algorithms | |||

COST2018 | International Workshop on Cost-Sensitive Learning | San Diego, CA, United States | Feb 11, 2018 | May 03, 2018 | cost sensitive learning machine learning data mining data science | |||

RCAI2018 | Russian Conference on Artificial Intelligence | Moscow, Russia | Apr 15, 2018 | Sep 24, 2018 | artificial intelligence robotics planning machine learning | |||

ICMIE 2018 | 2018 3rd International Conference on Measurement Instrumentation and Electronics | Lille, France | Feb 25, 2018 | Jul 04, 2018 | electronics information processing environmental engineering measurement instrumentation | |||

ICPAM 2018 | 2018 The 7th International Conference on Pure and Applied Mathematics | Budapest, Hungary | Jul 10, 2018 | applied mathematics biology image processing computational physics | ||||

WDSO’18 | The 1st International Workshop on Data Science & Optimization | Kenitra, Morocco | Jan 15, 2018 | Apr 04, 2018 | machine learning metaheuristics probability theory and inferential statistics industrial applications | |||

SciML2018 | DOE ASCR Workshop on Scientific Machine Learning | North Bethesda, MD, United States | Jan 05, 2018 | Jan 30, 2018 | machine learning applied mathematics | |||

AofA2018 | 29th International Conference on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Uppsala, Sweden | Feb 08, 2018 | Jun 25, 2018 | analytic algorithmics and combinatorics probabilistic analysis of algorithms randomized algorithms | |||

RAMiCS 2018 | 17th International Conference on Relational and Algebraic Methods in Computer Science | Groningen, Netherlands | Apr 13, 2018 | Oct 28, 2018 | computer science mathematics algebra logic | |||

Trends2018 | Trends in Logic XVIII | Milan, Italy | Sep 24, 2018 | modal logic epistemic logic deontic logic hyperintensional semantics | ||||

OPTA-2018 | 7th International Conference on Optimization Problems and Their Applications | Omsk, Russia | Feb 09, 2018 | Jul 08, 2018 | operations research discrete optimization applications of optimization methods metaheuristics and local search methods | |||

ICEMP 2018 | 2018 The 7th International Conference on Engineering Mathematics and Physics | Prague, Czech Republic | Mar 25, 2018 | Jun 15, 2018 | algorithms mathematics artificial intelligence | |||

ICNSAM 2018 | 2018 The 3rd International Conference on Natural Science and Applied Mathematics | Prague, Czech Republic | Mar 25, 2018 | Jun 15, 2018 | natural science applied mathematics biology geophysics | |||

AIMSA 2018 | The 18th International Conference on Artificial Intelligence: Methodology, Systems, Applications | Varna, Bulgaria | Sep 12, 2018 | |||||

S+SSPR 2018 | IAPR Joint International Workshops on Statistical Techniques in Pattern Recognition (SPR 2018) and Structural and Syntactic Pattern Recognition (SSPR 2018) | Beijing, China | Apr 15, 2018 | Aug 17, 2018 | pattern recognition computer vision machine learning applications of pattern recognition | |||

DEA40 | International conference of Data Envelopment Analysis | Birmingham, UK | Feb 15, 2018 | Apr 16, 2018 | data envelopment analysis efficiency and productivity stochastic frontier analysis | |||

IEEE ColCACI 2018 | IEEE Colombian Conference on Applications in Computational Intelligence - 2018 | Medellín, Colombia | Jan 29, 2018 | May 16, 2018 | neural networks and learning machines evolutionary and swarm algorithms fuzzy sets and systems other applications in computational intelligence | |||

UKCI-2018 | The 18th Annual UK Workshop on Computational Intelligence | Nottingham, UK | Mar 30, 2018 | Sep 05, 2018 | computational intelligence soft computing machine learning artificial intelligence | |||

PhDLX 2018 | PhDs in Logic X | Prague, Czech Republic | Feb 04, 2018 | May 01, 2018 | mathematical logic philosophy computer science logic | |||

CTW18 | Cologne-Twente Workshop on Graphs and Combinatorial Optimization 2018 | Paris, France | Feb 01, 2018 | Jun 18, 2018 | combinatorial optimization graph theory mathematical programming theory of algorithms | |||

EUCCO18 | European Conference on Computational Optimization | Trier, Germany | Sep 10, 2018 | |||||

JADT'2018 | 14th International Conference on Statistical Analysis of Textual Data | Rome, Italy | Jan 21, 2018 | Jun 12, 2018 | text mining textual statistics discourse analysis quantitative linguistics | |||

ICMAI 2018 | 2018 International Conference on Mathematics and Artificial Intelligence | Chengdu, China | Feb 15, 2018 | Apr 20, 2018 | mathematics artificial intelligence knowledge big data | |||

TALT'18 | 3rd International Workshop on Theory and Applications of Logistics and Transport | Kenitra, Morocco | Jan 21, 2018 | Apr 04, 2018 | supply chain management optimization modelling and simulation | |||

ICDM 2018 | 18th Industrial Conference on Data Mining | New York, NY, United States | Feb 15, 2018 | Jul 11, 2018 | data mining signal processing computing big data | |||

MLDM 2018 | 14th International Conference on Machine Learning and Data Mining | New York, NY, United States | Feb 15, 2018 | Jul 14, 2018 | signal processing computing data mining image processing | |||

ICAPM 2018 | The 2018 8th International Conference on Applied Physics and Mathematics | Phuket Island, Thailand | Nov 25, 2017 | Jan 27, 2018 | mathematics chemistry modeling and simulation applied physics | |||

MH2018 | Matheuristics 2018 | Tours, France | Dec 01, 2017 | Jun 18, 2018 | ||||

DERL18 | AAAI Symposium on Data Efficient Reinforcement Learning | Standford, CA, United States | Mar 25, 2018 | |||||

MDA 2018 | 13th International Conference on Mass Data Analysis of Images and Signals | New York, NY, United States | Mar 15, 2018 | Jul 07, 2018 | data mining computing big data signal processing | |||

CSC18 | 8th SIAM Workshop on Combinatorial Scientific Computing 2018 | Bergen, Norway | Dec 15, 2017 | Jun 06, 2018 | scientific computing graph algorithms high performance computing | |||

BayLAN 2018 | Third Bay Area Learning Analytics Network Meeting | Berkeley, CA, United States | Dec 15, 2017 | Feb 24, 2018 | learning analytics education cognitive science data science | |||

PMS 2018 | 16th International Conference on Project Management and Scheduling | Roma, Italy | Nov 24, 2017 | Apr 17, 2018 | ||||

SNR 2018 | 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis | Thessaloniki, Greece | Feb 09, 2018 | Apr 20, 2018 | formal methods hybrid systems formal verification control theory | |||

IWOBIP '18 | 2nd International Workshop on Bilevel Programming | Lille, France | Jan 15, 2018 | Jun 18, 2018 | operations research bilevel programming | |||

ICRAT 2018 | 8th International Conference on Research in Air Transportation | Castelldefels, Catalonia, Spain | Feb 16, 2018 | Jun 25, 2018 | air transportation system performance measurement aviation decision support systems aviation network management and optimization trajectory optimization and management | |||

QUALICO 2018 | International Quantitative Linguistics Conference | Wroclaw, Poland | Jan 30, 2018 | Jul 05, 2018 | quantitative linguistics machine learning text mining computational linguistics | |||

CAI2018-IT | Canadian AI Industry | Toronto, Canada | Jan 15, 2018 | May 08, 2018 | artificial intelligence data science machine learning | |||

IWOCA 2018 | 29th International Workshop on Combinational Algorithms | Singapore | Jul 16, 2018 | |||||

APLIMAT 2018 | The 17th Conference on Applied Mathematics | Bratislava, Slovakia | Dec 12, 2017 | Feb 06, 2018 | applied mathematics statistical methods mathematics education mathematics and art | |||

DAL'18 | First International Conference on Data Analytics & Learning-2018 | Mysuru, India | Jan 31, 2018 | Mar 30, 2018 | pattern recognition image processing machine learning computer vision | |||

ARITH25 | The 25th IEEE International Symposium on Computer Arithmetic | Amherst, MA, United States | Feb 07, 2018 | Jun 25, 2018 | ||||

EURO/ALIO 2018 | EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization | Bologna, Italy | Jan 08, 2018 | Jun 25, 2018 | ||||

CPAIOR 2018 | 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Delft, Netherlands | Dec 15, 2017 | Jun 26, 2018 | constraint programming integer programming combinatorial optimization artificial intelligence | |||

CMWR2018 | Computational Methods in Water Resources XXII | Saint-Malo, France | Nov 15, 2017 | Jun 03, 2018 | water resources computational science applied mathematics data science | |||

Prix Robert Faure 2018 | Prix Robert Faure | Lorient, France | Oct 29, 2017 | |||||

ITP 2018 | 9th International Conference on Interactive Theorem Proving | Oxford, UK | Jan 31, 2018 | Jul 16, 2018 | interactive theorem proving formal verification | |||

CoNGA2018 | Conference for Next Generation Arithmetic | Singapore, Singapore | Nov 17, 2017 | Mar 28, 2018 | next generation computer arithmetic unum and posit | |||

HeteroNAM 2018 | International Workshop on Heterogeneous Networks Analysis and Mining | Los Angeles, CA, United States | Nov 20, 2017 | Feb 09, 2018 | data mining graph mining complex networks network science | |||

ALT 2018 | Algorithmic Learning Theory | Lanzarote, Spain | Oct 27, 2017 | Apr 06, 2018 | learning theory online learning statistical learning theory computational learning theory | |||

NERCCS 2018 | First Northeast Regional Conference on Complex Systems | Binghamton, NY, NY, United States | Jan 15, 2018 | Apr 12, 2018 | complex systems network science computational social/organizational science interdisciplinary research | |||

SC^2 | Symbolic Computation and Satisfiability Checking | Timisoara/Kaiserslautern, Germany | Feb 15, 2018 | combined scsc tools symbolic computation satisfiability checking decision procedures in smt/ca systems | ||||

ICAME18 | International Conference on Applied Mathematics in Engineering | Balikesir, Turkey | Apr 01, 2018 | Jun 27, 2018 | applied mathematics fractional calculus control optimization | |||

ALG-ROUGH'2018 | Algebraic Methods in General Rough Sets : Trends in Mathematics Series | Feb 15, 2018 | algebraic approaches to rough sets logics of approximate reasoning formal approaches to vagueness constructive algebras of rough sets | |||||

IUKM 2018 | The Sixth International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making | Sep 15, 2017 | Mar 15, 2018 | applications uncertainty management knowledge modelling and decision making data ming and machine learning | ||||

FoIKS 2018 | Tenth International Symposium on Foundations of Information and Knowledge Systems | Budapest, Hungary | Dec 01, 2017 | May 14, 2018 | theoretical computer science databases artificial intelligence mathematical logic | |||

JSC-DG&AR-SI 2018 | Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated Reasoning | Feb 01, 2018 | automated reasoning dynamic geometry applications |