yusuke1997/dblp-id-title huggingface dataset:
Combining Logic, Continuous Parameters and Markov Decision Processes Using Hybrid ASP
First-Order Models for POMDPs
Liftability of Probabilistic Inference: Upper and Lower Bounds
Random Regression for Bayes Nets Applied to Relational Data
Aggregation and Population Growth: The Relational Logistic Regression and Markov Logic Cases
On Lifting the Gibbs Sampling Algorithm
Learning Relational Structure for Temporal Relation Extraction
Using Markov Logic to Refine an Automatically Extracted Knowledge Base
Accelarating Imitation Learning in Relational Domains via Transfer by Initialization
Lifted Arbitrary Constraint Solving for Lifted Probabilistic Inference
Initial Empirical Evaluation of Anytime Lifted Belief Propagation
A Particle Filter for Probabilistic Dynamic Relational Domains
Slice Normalized Dynamic Markov Logic Networks
Creating and Manipulating Probabilistic Programs with Figaro
Integrating Human Instructions and Reinforcement Learners: An SRL Approach
Lifted Probabilistic Inference: An MCMC Perspective
2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials
Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
Complexity of Integration, Special Values, and Recent Developments
Computation of Genus 0 Belyi Functions
Quantifier Elimination for Linear Modular Constraints
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
Numerical Integration in Arbitrary-Precision Ball Arithmetic
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
Certifying Irreducibility in ℤ[x]
MORLAB - A Model Order Reduction Framework in MATLAB and Octave
Euler's Polyhedron Formula in mizar
Dynamic Decomposition of Tropical Prevarieties for Celestial Mechanics
Towards a FAIR Documentation of Workflows and Models in Applied Mathematics
Logiweb - A System for Web Publication of Mathematics
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices
Integrating Circumradius and Area Formulae for Cyclic Pentagons
Recent Developments in Normaliz
Universal Gröbner Basis for Parametric Polynomial Ideals
Simplicial Cohomology of Smooth Orbifolds in GAP
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
Codes over a Non Chain Ring with Some Applications
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Predefined Software Environment Runtimes as a Measure for Reproducibility
New Counts for the Number of Triangulations of Cyclic Polytopes
The Reformulation-Optimization Software Engine
Method to Create Multiple Choice Exercises for Computer Algebra System
The Effort to Realize a Global Digital Mathematics Library
Polynomial Constraints and Unsat Cores in Tarski
Stam's Identities Collection: A Case Study for Math Knowledge Bases
The Gudhi Library: Simplicial Complexes and Persistent Homology
Mathematical Software - ICMS 2024 - 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings
The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography
New Algorithms for Computing Primary Decomposition of Polynomial Ideals
Complex Inclusion Functions in the CoStLy C++ Class Library
The polymake XML File Format
Formalising Analysis in Lean: Compactness and Dimensionality
Classification Results for Hyperovals of Generalized Quadrangles
New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic
A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)
Towards Reliable Software for the Evaluation of a Class of Special Functions
Primary Decomposition in Singular
Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures
A Touch-Based Mathematical Expression Editor
Software for Groups: Theory and Practice
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
Slack Ideals in Macaulay2
Doing Algebraic Geometry with the RegularChains Library
The GDML and EuKIM Projects: Short Report on the Initiative
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases
CindyGL: Authoring GPU-Based Interactive Mathematical Content
Decomposing Solution Sets of Polynomial Systems Using Derivatives
javaPlex: A Research Software Package for Persistent (Co)Homology
A New Style of Mathematical Proof
Towards High-Performance Computational Algebra with GAP
GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions
An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters
The Design of CoCoALib
Function Interval Arithmetic
Flyspecking Flyspeck
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases
GeoLogic - Graphical Interactive Theorem Prover for Euclidean Geometry
Isomorphism and Invariants of Parallelisms of Projective Spaces
Mathematical Models: A Research Data Category?
CAPD: : RedHom v2 - Homology Software Based on Reduction Algorithms
How Fast Can We Compute Orbits of Groups?
Regular Flips in mptopcom
Mathematical World Knowledge Contained in the Multilingual Wikipedia Project
The Program Generation in the Software Package QextNewEdition
Tree Checking for Sparse Complexes
C++ Tools for Exploiting Polyhedral Symmetries
Solving the Likelihood Equations to Compute Euler Obstruction Functions
Recent Developments in Cayley Hash Functions
Computer Aided Geometry
Efficient Evaluation of Large Polynomials
Computer Classification of Linear Codes Based on Lattice Point Enumeration
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
Computational Discrete Geometry
Formalization of the Existence of Frobenius Elements
3D Printing Dimensional Calibration Shape: Clebsch Cubic
Inferring Safe Maude Programs with ÁTAME
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics
Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods
Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving
FGb: A Library for Computing Gröbner Bases
Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments
Mathematical Research Data and Information Services
Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups
An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems
Magma - A Tool for Number Theory
On \mu μ -Symmetric Polynomials and D-Plus
Effective Computation of Radical of Ideals and Its Application to Invariant Theory
Paramotopy: Parameter Homotopies in Parallel
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
Exercising Nuprl's Open-Endedness
Private-Key Fully Homomorphic Encryption for Private Classification
Computer Algebra Methods in Tropical Geometry
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP
Eigenvalue Methods for Sparse Tropical Polynomial Systems
NLCertify: A Tool for Formal Nonlinear Optimization
Dense Arithmetic over Finite Fields with the CUMODP Library
The Programming Style for Drawings from to
A Method to Determine if Two Parametric Polynomial Systems Are Equal
Hyperplane Arrangements in polymake
Employing C++ Templates in the Design of a Computer Algebra Library
Towards Parallel Methods in Birational Geometry
How to Generate Figures at the Preferred Position of a TeX Document
Sollya: An Environment for the Development of Numerical Codes
KASH: Recent Developments
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia
An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields
BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins
An Algorithm to Find the Link Constrained Steiner Tree in Undirected Graphs
Isotopic ε-Approximation of Algebraic Curves - (Extended Abstract)
Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation
A Numerical Approach for Computing Euler Characteristics of Affine Varieties
Extrapolating Solution Paths of Polynomial Homotopies Towards Singularities with PHCpack and Phcpy
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover
Classifying Cubic Surfaces over Finite Fields Using Orbiter
Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
Reliable Computing with GNU MPFR
Classification of Linear Codes by Extending Their Residuals
Finding a Middle Ground for Computer-Aided Cryptography
[inline-graphic not available: see fulltext]-Integral Points on a Mordell Curve
Flexible Object Hierarchies in Polymake
Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences
Phase Portraits of Bi-dimensional Zeta Values
Agent-Based HOL Reasoning
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
Homomorphic Encryption and Some Black Box Attacks
Theorema 2.0: A System for Mathematical Theory Exploration
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
Introduction to Normaliz 2.5
On the Feasibility of Semi-algebraic Sets in Poisson Regression
Gröbner Degenerations of Determinantal Ideals with an Application to Toric Degenerations of Grassmannians
The Sustainability of Digital Educational Resources
Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza
A Library of OpenGL-Based Mathematical Image Filters
polyTop: Software for Computing Topology of Smooth Real Surfaces
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
Links to Projects. Mathematical Software, icms2006 - Developer's Meeting
DLMF Standard Reference Tables on Demand
Axl, a Geometric Modeler for Semi-algebraic Shapes
Accurate and Reliable Computing in Floating-Point Arithmetic
Algorithm and Software for Integration over a Convex Polyhedron
Equality Checking for General Type Theories in Andromeda 2
Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning Systems
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment
An Improvement of Rosenfeld-Gröbner Algorithm
Construction of Harmonic Surfaces with Prescribed Geometry
A Package for Parametric Matrix Computations
Robustly and Efficiently Computing Algebraic Curves and Surfaces
A Formalization of Properties of Continuous Functions on Closed Intervals
A GAP Package for Computation with Coherent Configurations
QE Software Based on Comprehensive Gröbner Systems
On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z
Mixed Integer Nonlinear Program for Minimization of Akaike's Information Criterion
Homotopy Continuation in Macaulay2
iB4e : A Software Framework for Parametrizing Specialized LP Problems
A FAIR File Format for Mathematical Software
Methods to Access and Retrieve Mathematical Content in ActiveMath
On Computation of the First Baues-Wirsching Cohomology of a Freely-Generated Small Category
Interfacing with the Numerical Homotopy Algorithms in PHCpack
Plotting Planar Implicit Curves and Its Applications
On the
Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental Algorithm
Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design
Mathematical Research Data, Software, Models, and the Publication-Based Approach
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions
The Pycao Software for 3D-Modelling
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups
Plural, a Non-commutative Extension of Singular: Past, Present and Future
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
Computing the Group of an Algebraic Variety over a Finite Field
Formalisation of the Category of Hopf Algebras in Lean4
Reversible Codes and Applications to DNA
SyNRAC: A Toolbox for Solving Real Algebraic Constraints
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques
Linear Programs for the Kepler Conjecture - (Extended Abstract)
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes
Early Examples of Software in Mathematical Knowledge Management
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs
FunGrim: A Symbolic Library for Special Functions
Estimating Tropical Principal Components Using Metropolis Hasting Algorithm
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings
Efficient Computation of Squarefree Separator Polynomials
CGAL - Reliable Geometric Computing for Academia and Industry
Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Development of NZMATH
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z 2 e
Heuristics for Sphere Recognition
DEpthLAUNAY
TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory
Archiving and Referencing Source Code with Software Heritage
Classifying Simplicial Dissections of Convex Polyhedra with Symmetry
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
NLP and Large-Scale Information Retrieval on Mathematical Texts
Normal Forms for Operators via Gröbner Bases in Tensor Algebras
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
An Improvement of a Function Computing Normalizers for Permutation Groups
Fitting a Sphere via Gröbner Basis
Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies
The Software Portal swMATH: A State of the Art Report and Next Steps
Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition
PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite
Groebner Basis in Geodesy and Geoinformatics
Implementing the Tangent Graeffe Root Finding Method
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers
On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems
Image Analysis: Identification of Objects via Polynomial Systems
An Extension and Efficient Calculation of the Horner's Rule for Matrices
Chordality Preserving Incremental Triangular Decomposition and Its Implementation
An Implementation of Exact Mixed Volume Computation
A GAP Package for Computing with Real Semisimple Lie Algebras
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods
Machine Learning for Number Theory: Unsupervised Learning with L-Functions
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT
Evaluating Fractional Derivatives of the Riemann Zeta Function
Questions on Orbital Graphs
MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems
3BA: A Border Bases Solver with a SAT Extension
Verification of Gröbner Basis Candidates
The Actual Use of in Education
Experimental Computation and Visual Theorems
PHAT - Persistent Homology Algorithms Toolbox
OpenGeo: An Open Geometric Knowledge Base
Real Quantifier Elimination in the RegularChains Library
Solving Polynomial Systems Using Numeric Gröbner Bases
Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions
Computation of the Real Zeros of the Kummer Function M ( a ; c ; x )
jReality, jtem, and Oorange - A Way to Do Math with Computers
Integrating GeoGebra with React and WebAssembly: A Web-Based Approach for Mathematical Software Development
Theoretical Physics, Applied Mathematics and Visualizations
Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings
Francy - An Interactive Discrete Mathematics Framework for GAP
Recursive Double-Size Fixed Precision Arithmetic
Mathematical Software for Modified Bessel Functions
Calibration of Accelerometers and the Geometry of Quadrics
Generating Data for 3D Models
Resultants, Implicit Parameterizations, and Intersections of Surfaces
Robust HGCD with No Backup Steps
New Approaches in Black Box Group Theory
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
What is and How to Use - Linkage Between Dynamic Geometry Software and Graphics Capabilities -
libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces
Common Divisors of Solvable Polynomials in JAS
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
Towards the Automatic Discovery of Theorems in GeoGebra
Neural Ideals in SageMath
Metalibm: A Mathematical Functions Code Generator
Towards Efficient Normalizers of Primitive Groups
Intuitive Interface for Solving Linear and Nonlinear System of Equations
Generation of Oriented Matroids Using Satisfiability Solvers
A Framework for Generalized Tropical Homotopy Continuation
Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems
Integrating Mathematical Data and Resources: Advancements in zbMATH Open for Enhanced Mathematical Research Accessibility and Reproducibility
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation
Traversing Symmetric Polyhedral Fans
Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers
DetGB: A Software Package for Computing Gröbner Bases of Determinantal Ideals
Markov Transition Matrix Analysis of Mathematical Expression Input Models
Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
Bad Primes in Computational Algebraic Geometry
Math Web Search Interfaces and the Generation Gap of Mathematicians
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex
The GAP Package LiePRing
Localization in Gromov - Witten Theory of Toric Varieties in a Computer Algebra System
Cylindrical Algebraic Decomposition in the RegularChains Library
Operadic Gröbner Bases: An Implementation
The Reformation of Sage
A Content Dictionary for In-Object Comments
A Convex Programming Approach to Solve Posynomial Systems
Numerical Software to Compute Newton Polytopes
Computing Persistence Modules on Commutative Ladders of Finite Type
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs
Combinatorial and Geometric View of the System Reliability Theory
A Tablet-Compatible Web-Interface for Mathematical Collaboration
Software for Proper Vertex-Colouring Exploiting Graph Symmetry
Enumerating Galois Representations in Sage
A Rainbow Clique Search Algorithm for BLT-Sets
Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
A Novel Dynamic Mathematics System Based on the Internet
Calculating Cocyclic Hadamard Matrices in Mathematica : Exhaustive and Heuristic Searches
A Presentation of the Gfan Software
Linking Mathematical Software in Web Archives
Massively Parallel Methods for Free Resolutions
Incremental QBF Solving by DepQBF
Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis
NLP-Based Detection of Mathematics Subject Classification
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
Validated Special Functions Software
DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices
Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals
Towards a Unified Ordering for Superposition-Based Automated Reasoning
Semantic-Aware Fingerprints of Symbolic Research Data
Software for Quantifier Elimination in Propositional Logic
IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs
Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP
On Local Deformations of Planar Quad-Meshes
Operational Research Literature as a Use Case for the Open Research Knowledge Graph
Mathematical Videos and Affiliated Supplementaries in TIB's AV Portal
Need Polynomial Systems Be Doubly-Exponential?
Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
Automating Free Logic in Isabelle/HOL
From Calculus to Algorithms without Errors
Computations with Algebraic Surfaces
A User-Friendly Hybrid Sparse Matrix Class in C++
Some Wellfounded Trees in UniMath - Extended Abstract
Parallelization of the FICO Xpress-Optimizer
Effective Alpha Theory Certification Using Interval Arithmetic: Alpha Theory over Regions
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents
Collaborative Use of Mathematical Content Generated by CindyJS on Tablets
What Is New in CoCoA?
CindyJS Plugins - Extending the Mathematical Visualization Framework
Towards Parallel Algorithms for Gromov-Witten Invariants of Elliptic Curves
On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities
The Basic Polynomial Algebra Subprograms
Prototyping Controlled Mathematical Languages in Jupyter Notebooks
Fast Library for Number Theory: An Introduction
Formalising Families of ℓ-adic Galois Representations in Lean 4
Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups
Creating Interactive Graphics for Mathematics Education Utilizing KETpic
Polymake.jl: A New Interface to polymake
Establishment of KETpic Programming Styles for Drawing
Computing the Determinant of a Dense Matrix over ℤ
NZMATH 1.0
On the Implementation of CGS Real QE
Machine Learning for Mathematical Software
Computation of an Improved Lower Bound to Giuga's Primality Conjecture
Exact Geometric and Algebraic Computations in CGAL
The SARAG Library: Some Algorithms in Real Algebraic Geometry
Monodromy Coordinates
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type
Software Citation in Theory and Practice
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems