Volker Sorge

Available identifiers

zbMath Open sorge.volkerMaRDI QIDQ862392

List of research outcomes

Publication	Date of Publication	Type
MathJax: The Present and the Future	2021-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q5111895	2020-05-27	Paper
Ωmega: Towards a mathematical assistant	2019-10-01	Paper
Abstract matrices in symbolic computation	2017-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q2852045	2013-10-07	Paper
Abstracting symbolic matrices	2012-12-28	Paper
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text	2012-09-07	Paper
Computing with abstract matrix structures	2012-05-13	Paper
Symbolic Domain Decomposition	2010-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q3568690	2010-06-15	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q3185215	2009-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q3398152	2009-09-25	Paper
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices	2009-07-09	Paper
A Linear Grammar Approach to Mathematical Formula Recognition from PDF	2009-07-09	Paper
Automatic Construction and Verification of Isotopy Invariants	2009-03-12	Paper
Combined reasoning by automated cooperation	2008-09-23	Paper
Automatic construction and verification of isotopy invariants	2008-06-11	Paper
A Rational Reconstruction of a System for Experimental Mathematics	2007-11-28	Paper
Automated Reasoning	2007-09-25	Paper
Towards a Parser for Mathematical Formula Recognition	2007-09-05	Paper
Managing Automatically Formed Mathematical Theories	2007-09-05	Paper
Capturing Abstract Matrices from Paper	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Applying SAT solving in classification of finite algebras	2007-01-24	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4808725	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809051	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4433981	2003-11-03	Paper
Comparing approaches to the exploration of the domain of residue classes.	2003-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4797443	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2767923	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2751539	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q2751548	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4499154	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4499162	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4520772	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4518867	2000-12-03	Paper
Integrating computer algebra into proof planning	1999-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Volker Sorge